Skip to content

commalg · WeightedProjectiveStratum

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

commalg.WeightedProjectiveStratum

A maximal coordinate stratum carrying a generic quotient stabilizer.

class WeightedProjectiveStratum

noether::commalg::WeightedProjectiveStratum · Direct Rust declaration

pub struct WeightedProjectiveStratum { /* private fields */ }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded

commalg.WeightedProjectiveStratum.stabilizer_order

Return the stabilizer order recorded by this WeightedProjectiveStratum.

Detailed contract

Gcd of the supported coordinate weights.

(self) -> int

noether::commalg::WeightedProjectiveStratum::stabilizer_order · Direct Rust declaration

pub fn stabilizer_order(&self) -> u64
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded

Executable usage: validation/unit/commalg/test_surface_facade.py:28

commalg.WeightedProjectiveStratum.support

Return the support recorded by this WeightedProjectiveStratum.

Detailed contract

Coordinates allowed to be nonzero on the stratum.

(self) -> list[int]

noether::commalg::WeightedProjectiveStratum::support · Direct Rust declaration

pub fn support(&self) -> &[usize]
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded

Executable usage: validation/unit/commalg/test_monomial_ideal_facade.py:30 · validation/unit/commalg/test_polynomial_ideal_facade.py:316 · validation/unit/commalg/test_polynomial_ideal_facade.py:317 · validation/unit/commalg/test_polynomial_ideal_facade.py:318 · validation/unit/commalg/test_polynomial_ideal_facade.py:319 · validation/unit/commalg/test_polynomial_ideal_facade.py:320