GenerationSnapshot

Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.

`GenerationSnapshot`

class GenerationSnapshot

Generation progress copied from the native caller-owned observer.

Name	Description
`coefficient_expansion`	Current or last named-coefficient attempt; None for physical-only generation.
`completed`
`detail`
`elapsed_seconds`
`formula_preparation`	Known unique-formula counts; None before discovery or without this phase.
`kernels`
`sectors`
`stage`	Stable snake_case name of the native generation stage.
`timings`
`total`

GenerationSnapshot.coefficient_expansion: typing.Optional[CoefficientExpansionSnapshot]

Current or last named-coefficient attempt; None for physical-only generation.

GenerationSnapshot.completed: builtins.int

GenerationSnapshot.detail: builtins.str

GenerationSnapshot.elapsed_seconds: builtins.float

GenerationSnapshot.formula_preparation: typing.Optional[FormulaPreparationSnapshot]

Known unique-formula counts; None before discovery or without this phase.

GenerationSnapshot.kernels: builtins.int

GenerationSnapshot.sectors: builtins.int

GenerationSnapshot.stage: builtins.str

Stable snake_case name of the native generation stage.

GenerationSnapshot.timings: GenerationTimings

GenerationSnapshot.total: typing.Optional[builtins.int]

Name	Description
`__str__`
`_repr_html_`

GenerationSnapshot.__str__() -> builtins.str

GenerationSnapshot._repr_html_(slf: GenerationSnapshot) -> builtins.str