GenerationSnapshot
Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.
GenerationSnapshot
class GenerationSnapshotGeneration progress copied from the native caller-owned observer.
Attributes
| 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 |
coefficient_expansion
GenerationSnapshot.coefficient_expansion: typing.Optional[CoefficientExpansionSnapshot]Current or last named-coefficient attempt; None for physical-only generation.
completed
GenerationSnapshot.completed: builtins.intdetail
GenerationSnapshot.detail: builtins.strelapsed_seconds
GenerationSnapshot.elapsed_seconds: builtins.floatformula_preparation
GenerationSnapshot.formula_preparation: typing.Optional[FormulaPreparationSnapshot]Known unique-formula counts; None before discovery or without this phase.
kernels
GenerationSnapshot.kernels: builtins.intsectors
GenerationSnapshot.sectors: builtins.intstage
GenerationSnapshot.stage: builtins.strStable snake_case name of the native generation stage.
timings
GenerationSnapshot.timings: GenerationTimingstotal
GenerationSnapshot.total: typing.Optional[builtins.int]Methods
| Name | Description |
|---|---|
__str__ |
|
_repr_html_ |
__str__
GenerationSnapshot.__str__() -> builtins.str_repr_html_
GenerationSnapshot._repr_html_(slf: GenerationSnapshot) -> builtins.str