Skip to content

linalg · MinimumCompletion

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

Worked example

The complete checked program Compute and verify a Bézout certificate over the integers uses this API directly.

# SPDX-License-Identifier: MIT
# Copyright (c) 2026 Benjamin Antieau and Deven Manam
"""Compute and verify a Bézout certificate over the integers."""

from noether import Z


def main() -> None:
    identity = Z.extended_gcd(987_654_321, 123_456_789)
    identity.verify(Z, 987_654_321, 123_456_789)
    assert (
        identity.coefficient_a * 987_654_321 + identity.coefficient_b * 123_456_789 == identity.gcd
    )
    print(identity)


if __name__ == "__main__":
    main()

Run it with .venv/bin/python examples/01_bezout_certificates.py.

linalg.MinimumCompletion

Three-way certified result of fixed-rank minimum completion.

class MinimumCompletion

noether::linalg::MinimumCompletion · Direct Rust declaration

pub struct MinimumCompletion { /* private fields */ }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: validation/unit/linalg/test_lattice_facade.py:124 · validation/unit/linalg/test_lattice_facade.py:17

linalg.MinimumCompletion.certificate

Return the certificate recorded by this MinimumCompletion.

Detailed contract

Exact fixed-rank negative evidence, when proved impossible.

(self) -> MinimumCompletionCertificate | None

noether::linalg::MinimumCompletion::certificate · Direct Rust declaration

pub fn certificate(&self) -> Option<&MinimumCompletionCertificate>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: examples/01_bezout_certificates.py:3 · examples/18_finite_field_schemes.py:14 · examples/18_finite_field_schemes.py:15 · validation/unit/commalg/test_acceptance_workload.py:135 · validation/unit/commalg/test_acceptance_workload.py:137 · validation/unit/commalg/test_acceptance_workload.py:138

linalg.MinimumCompletion.diagnostic

Return the diagnostic recorded by this MinimumCompletion.

Detailed contract

Diagnostic information, when the computation exhausted its work limit.

(self) -> MinimumRealizationDiagnostic | None

noether::linalg::MinimumCompletion::diagnostic · Direct Rust declaration

pub fn diagnostic(&self) -> Option<&MinimumRealizationDiagnostic>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: validation/unit/infra/test_engine_gateway.py:82 · validation/unit/linalg/test_lattice_facade.py:140 · validation/unit/linalg/test_lattice_facade.py:216 · validation/unit/linalg/test_lattice_facade.py:217 · validation/bench/macaulay2_derived.py:856

linalg.MinimumCompletion.realization

Return the realization recorded by this MinimumCompletion.

Detailed contract

Positive complete minimum-shell evidence, when found.

(self) -> MinimumVectorConfiguration | None

noether::linalg::MinimumCompletion::realization · Direct Rust declaration

pub fn realization(&self) -> Option<&MinimumVectorConfiguration>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: examples/29_integral_line_configurations.py:15 · examples/29_integral_line_configurations.py:16 · examples/29_integral_line_configurations.py:17 · examples/29_integral_line_configurations.py:18 · examples/29_integral_line_configurations.py:23 · examples/29_integral_line_configurations.py:28

linalg.MinimumCompletion.seed

Return the seed recorded by this MinimumCompletion.

Detailed contract

Configuration whose completion was requested.

(self) -> IntegralLineConfiguration

noether::linalg::MinimumCompletion::seed · Direct Rust declaration

pub fn seed(&self) -> &IntegralLineConfiguration
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: examples/19_permutation_groups.py:16 · examples/distributed/f2_linear_algebra.py:46 · validation/unit/groups/test_acceptance_workload.py:86 · validation/unit/groups/test_acceptance_workload.py:87 · validation/unit/groups/test_acceptance_workload.py:89 · validation/unit/groups/test_acceptance_workload.py:98

linalg.MinimumCompletion.status

Return the status recorded by this MinimumCompletion.

Detailed contract

Terminal state: completed, nonrealizable, or inconclusive.

(self) -> Literal['completed', 'nonrealizable', 'inconclusive']

noether::linalg::MinimumCompletion::status · Direct Rust declaration

pub fn status(&self) -> &'static str
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: examples/29_integral_line_configurations.py:17 · examples/29_integral_line_configurations.py:22 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:264 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:282 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:289 · validation/unit/infra/test_macaulay2_benchmark_protocol.py:343

linalg.MinimumCompletion.verify

Replay and verify the mathematical evidence carried by this MinimumCompletion.

Detailed contract

Recheck the appropriate completion evidence exactly.

(self) -> None

noether::linalg::MinimumCompletion::verify · Direct Rust declaration

pub fn verify(&self) -> Result<(), LineConfigurationError>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL attached / bounded
Semantic ID noether/linalg/MinimumCompletion@1

Executable usage: examples/01_bezout_certificates.py:10 · examples/01_bezout_certificates.py:3 · examples/03_exact_linear_systems.py:13 · examples/03_exact_linear_systems.py:3 · examples/04_smith_normal_form.py:12 · examples/06_shortest_lattice_vectors.py:12