Skip to content

topology · SimplicialSimpleHomotopyMove

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

topology.SimplicialSimpleHomotopyMove

One expansion or collapse in a simplicial simple-homotopy zigzag.

class SimplicialSimpleHomotopyMove

noether::topology::SimplicialSimpleHomotopyMove · Direct Rust declaration

pub enum SimplicialSimpleHomotopyMove { Collapse { step: ElementaryCollapse, }, Expansion { expanded: SimplicialComplex, inverse_collapse: ElementaryCollapse, }, }
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:122 · validation/unit/topology/test_simplicial_complex_facade.py:24

topology.SimplicialSimpleHomotopyMove.collapse

Construct a SimplicialSimpleHomotopyMove using collapse.

(step: ElementaryCollapse) -> SimplicialSimpleHomotopyMove

noether::topology::SimplicialSimpleHomotopyMove · 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.SimplicialSimpleHomotopyMove.direction

Return the direction recorded by this SimplicialSimpleHomotopyMove.

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

noether::topology::SimplicialSimpleHomotopyMove · 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.SimplicialSimpleHomotopyMove.expanded

Return the expanded recorded by this SimplicialSimpleHomotopyMove.

(self) -> SimplicialComplex | None

noether::topology::SimplicialSimpleHomotopyMove · 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.SimplicialSimpleHomotopyMove.expansion

Construct a SimplicialSimpleHomotopyMove using expansion.

(expanded: SimplicialComplex, inverse_collapse: ElementaryCollapse) -> SimplicialSimpleHomotopyMove

noether::topology::SimplicialSimpleHomotopyMove · 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.SimplicialSimpleHomotopyMove.step

Return the step recorded by this SimplicialSimpleHomotopyMove.

(self) -> ElementaryCollapse

noether::topology::SimplicialSimpleHomotopyMove · 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