Skip to content

topology · SimplicialSetAnodyneMove

6 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.

topology.SimplicialSetAnodyneMove

One horn attachment or collapse in an anodyne zigzag.

class SimplicialSetAnodyneMove

noether::topology::SimplicialSetAnodyneMove · Direct Rust declaration

pub enum SimplicialSetAnodyneMove { Collapse { step: SimplicialSetElementaryHornCollapse, }, Expansion { expanded: SimplicialSet, inverse_collapse: SimplicialSetElementaryHornCollapse, }, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

Executable usage: validation/unit/topology/test_simplicial_set_facade.py:114 · validation/unit/topology/test_simplicial_set_facade.py:115 · validation/unit/topology/test_simplicial_set_facade.py:19

topology.SimplicialSetAnodyneMove.collapse

Construct a SimplicialSetAnodyneMove using collapse.

(step: SimplicialSetElementaryHornCollapse) -> SimplicialSetAnodyneMove

noether::topology::SimplicialSetAnodyneMove · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

Executable usage: validation/unit/topology/test_simplicial_complex_facade.py:121 · validation/unit/topology/test_simplicial_complex_facade.py:128 · validation/unit/topology/test_simplicial_set_facade.py:114 · validation/unit/topology/test_simplicial_set_facade.py:121

topology.SimplicialSetAnodyneMove.direction

Return the direction recorded by this SimplicialSetAnodyneMove.

(self) -> Literal['collapse', 'expansion']

noether::topology::SimplicialSetAnodyneMove · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

Executable usage: validation/unit/topology/test_simplicial_complex_facade.py:128 · validation/unit/topology/test_simplicial_set_facade.py:121 · validation/parity/polyhedral/test_convex_hull_parity.py:6 · validation/corpus/linalg/hodge-diagonal-constraint-kernel.py:79

topology.SimplicialSetAnodyneMove.expanded

Return the expanded recorded by this SimplicialSetAnodyneMove.

(self) -> SimplicialSet | None

noether::topology::SimplicialSetAnodyneMove · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

topology.SimplicialSetAnodyneMove.expansion

Construct a SimplicialSetAnodyneMove using expansion.

(expanded: SimplicialSet, inverse_collapse: SimplicialSetElementaryHornCollapse) -> SimplicialSetAnodyneMove

noether::topology::SimplicialSetAnodyneMove · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

Executable usage: validation/unit/topology/test_simplicial_complex_facade.py:122 · validation/unit/topology/test_simplicial_complex_facade.py:128 · validation/unit/topology/test_simplicial_set_facade.py:115 · validation/unit/topology/test_simplicial_set_facade.py:121 · validation/corpus/commalg/multivariate-faa-di-bruno.py:18 · validation/corpus/commalg/multivariate-faa-di-bruno.py:21

topology.SimplicialSetAnodyneMove.step

Return the step recorded by this SimplicialSetAnodyneMove.

(self) -> SimplicialSetElementaryHornCollapse

noether::topology::SimplicialSetAnodyneMove · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

Executable usage: validation/unit/commalg/test_affine_normalization_facade.py:137 · validation/unit/commalg/test_affine_normalization_facade.py:138 · validation/unit/commalg/test_affine_normalization_facade.py:139 · validation/unit/groups/test_acceptance_workload.py:70 · validation/unit/groups/test_acceptance_workload.py:71 · validation/unit/infra/test_repository_hygiene.py:222