Skip to content

groups · SchreierGenerator

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

groups.SchreierGenerator

One Schreier generator of a point stabilizer.

class SchreierGenerator

noether::groups::SchreierGenerator · Direct Rust declaration

pub struct SchreierGenerator { pub coset_index: usize, pub generator_index: usize, pub perm: Perm, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, perm-core
GIL attached / bounded

Executable usage: validation/unit/groups/test_acceptance_workload.py:16 · validation/unit/groups/test_acceptance_workload.py:62

groups.SchreierGenerator.coset_index

Index of the coset representative used (into the transversal of the base point).

Detailed contract

Index of the coset representative used (into the transversal of the base point).

(self) -> int

noether::groups::SchreierGenerator · 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, perm-core
GIL attached / bounded

Executable usage: validation/unit/groups/test_acceptance_workload.py:63

groups.SchreierGenerator.generator_index

Index of the group generator used.

(self) -> int

noether::groups::SchreierGenerator · 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, perm-core
GIL attached / bounded

Executable usage: validation/unit/groups/test_acceptance_workload.py:64

groups.SchreierGenerator.perm

The Schreier-generator permutation itself.

(self) -> Permutation

noether::groups::SchreierGenerator · 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, perm-core
GIL attached / bounded

Executable usage: validation/unit/groups/test_acceptance_workload.py:65 · validation/unit/infra/test_discovery.py:265 · validation/parity/_noether_bsgs.py:86