FormulaPreparationSnapshot

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

FormulaPreparationSnapshot

class FormulaPreparationSnapshot

Coordinator-owned counts for unique subtraction-formula precomputation.

Attributes

Name	Description
completed	Successfully completed unique formula builds.
reused	Shared uses (eligible sectors minus distinct keys), not cache lookups.
sectors	Eligible sectors which use these formulas.
total	Distinct formula keys discovered for this generation.

completed

FormulaPreparationSnapshot.completed: builtins.int

Successfully completed unique formula builds.

reused

FormulaPreparationSnapshot.reused: builtins.int

Shared uses (eligible sectors minus distinct keys), not cache lookups.

sectors

FormulaPreparationSnapshot.sectors: builtins.int

Eligible sectors which use these formulas.

total

FormulaPreparationSnapshot.total: builtins.int

Distinct formula keys discovered for this generation.

Methods

Name	Description
_repr_html_

_repr_html_

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