Skip to content

commalg · GradedMonomial

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

commalg.GradedMonomial

One canonical monomial exponent vector.

GradedMonomial(exponents: Sequence[int])

noether::commalg::GradedMonomial · Direct Rust declaration

pub struct GradedMonomial(/* 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.GradedMonomial.exponents

Return the exponents recorded by this GradedMonomial.

Detailed contract

Exponents in generator order.

(self) -> list[int]

noether::commalg::GradedMonomial::exponents · Direct Rust declaration

pub fn exponents(&self) -> &[u32]
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_quotient_facade.py:67 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:666 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:667 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:668 · validation/unit/topology/test_eilenberg_maclane.py:127 · validation/unit/topology/test_eilenberg_maclane.py:98