Skip to content

topology · EilenbergMacLaneIntegralCohomologyRelationTerm

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

Worked example

The complete checked program Calculate in a fixed-cap multivariate weighted power-series ring uses this API directly.

# SPDX-License-Identifier: MIT
# Copyright (c) 2026 Benjamin Antieau and Deven Manam
"""Calculate in a fixed-cap multivariate weighted power-series ring."""

from noether import Z
from noether.commalg import PowerSeriesRing, SeriesTruncation


def main() -> None:
    ring = PowerSeriesRing(
        Z,
        ["x", "y", "z"],
        SeriesTruncation.weighted_degree([1, 2, 3], 6),
    )
    x, y, z = ring.generators()
    assert (x**6).is_zero()
    assert not (x**2 * z + y * z).is_zero()
    value = (1 + x + y).pow(4)
    print(f"{value}; coefficient capacity <= {ring.coefficient_capacity_bound()}")


if __name__ == "__main__":
    main()

Run it with .venv/bin/python examples/17_weighted_power_series.py.

topology.EilenbergMacLaneIntegralCohomologyRelationTerm

One sparse term in an integral cohomology relation.

class EilenbergMacLaneIntegralCohomologyRelationTerm

noether::topology::EilenbergMacLaneIntegralCohomologyRelationTerm · Direct Rust declaration

pub struct EilenbergMacLaneIntegralCohomologyRelationTerm { /* 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

topology.EilenbergMacLaneIntegralCohomologyRelationTerm.coefficient

Return the coefficient recorded by this EilenbergMacLaneIntegralCohomologyRelationTerm.

Detailed contract

Integer coefficient.

(self) -> int

noether::topology::EilenbergMacLaneIntegralCohomologyRelationTerm::coefficient · Direct Rust declaration

pub fn coefficient(&self) -> &Integer
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: examples/17_weighted_power_series.py:19 · examples/22_matroids_and_tutte.py:11 · examples/22_matroids_and_tutte.py:12 · examples/22_matroids_and_tutte.py:13 · examples/33_simplicial_cohomology_operations.py:31 · validation/unit/combin/test_acceptance_workload.py:45

topology.EilenbergMacLaneIntegralCohomologyRelationTerm.exponents

Return the exponents recorded by this EilenbergMacLaneIntegralCohomologyRelationTerm.

Detailed contract

Exponents in the presentation’s generator order.

(self) -> list[int]

noether::topology::EilenbergMacLaneIntegralCohomologyRelationTerm::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, geom-core, m4rst, m4rste
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