Skip to content

topology · ElementaryCollapse

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

topology.ElementaryCollapse

One replayable elementary free-face collapse.

ElementaryCollapse(free_face: list[int], coface: list[int])

noether::topology::ElementaryCollapse · Direct Rust declaration

pub struct ElementaryCollapse { /* private fields */ }
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:113 · validation/unit/topology/test_simplicial_complex_facade.py:19 · validation/unit/topology/test_simplicial_complex_facade.py:99

topology.ElementaryCollapse.coface

Return the coface recorded by this ElementaryCollapse.

Detailed contract

Unique maximal coface removed with the free face.

(self) -> list[int]

noether::topology::ElementaryCollapse::coface · Direct Rust declaration

pub fn coface(&self) -> &[u32]
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded

topology.ElementaryCollapse.free_face

Return the free face recorded by this ElementaryCollapse.

Detailed contract

Free face removed by the collapse.

(self) -> list[int]

noether::topology::ElementaryCollapse::free_face · Direct Rust declaration

pub fn free_face(&self) -> &[u32]
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, geom-core, m4rst, m4rste
GIL attached / bounded