Skip to content

combin · Types and values

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

combin.BeatPointKind

Accepted type alias for beat point kind values.

type BeatPointKind = Literal['down', 'up']

noether::combin::BeatPointKind · Direct Rust declaration

pub enum BeatPointKind { Down, Up, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, graph-core, perm-core
GIL attached / bounded

Executable usage: validation/unit/infra/test_docs_site_generator.py:134 · validation/unit/infra/test_docs_site_generator.py:135 · validation/unit/infra/test_docs_site_generator.py:138 · validation/unit/infra/test_public_api_index.py:261

combin.SymmetricBasis

Accepted type alias for symmetric basis values.

type SymmetricBasis = Literal['monomial', 'power_sum', 'elementary', 'complete_homogeneous', 'schur']

noether::combin::SymmetricBasis · Direct Rust declaration

pub enum SymmetricBasis { Monomial, PowerSum, Elementary, CompleteHomogeneous, Schur, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, graph-core, perm-core
GIL attached / bounded

Executable usage: validation/unit/combin/test_acceptance_workload.py:16 · validation/unit/combin/test_acceptance_workload.py:42