Skip to content

linalg · SmithVerification

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

linalg.SmithVerification

Strategy-specific evidence for a Smith normal form result.

class SmithVerification

noether::linalg::SmithVerification · Direct Rust declaration

pub struct SmithVerification { /* 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/SmithVerification@1

Executable usage: validation/unit/infra/test_discovery.py:83 · validation/unit/linalg/test_exact_linear_algebra_facade.py:29 · validation/unit/linalg/test_exact_linear_algebra_facade.py:318

linalg.SmithVerification.checked_primes

Primes checked by the local strategy, in increasing order.

Detailed contract

Primes checked by the smooth strategy, in increasing order.

(self) -> list[int]

noether::linalg::SmithVerification::checked_primes · Direct Rust declaration

pub fn checked_primes(&self) -> &[Integer]
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/SmithVerification@1

Executable usage: validation/unit/linalg/test_acceptance_workload.py:139 · validation/unit/linalg/test_exact_linear_algebra_facade.py:320 · validation/unit/linalg/test_exact_linear_algebra_facade.py:442

linalg.SmithVerification.deterministic_prime_bound

Deterministic upper bound on any torsion prime, when computed.

Detailed contract

Deterministic upper bound on any torsion prime.

(self) -> int | None

noether::linalg::SmithVerification::deterministic_prime_bound · Direct Rust declaration

pub fn deterministic_prime_bound(&self) -> Option<&Integer>
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/SmithVerification@1

Executable usage: validation/unit/linalg/test_exact_linear_algebra_facade.py:441

linalg.SmithVerification.local_checks

(prime, precision exponent, invariant valuations) check records.

Detailed contract

Iterate over (prime, precision exponent, invariant valuations) checks.

(self) -> list[tuple[int, int, list[int]]]

noether::linalg::SmithVerification::local_checks · Direct Rust declaration

pub fn local_checks(&self) -> impl Iterator<Item = (&Integer, u32, &[u32])>
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/SmithVerification@1

Executable usage: validation/unit/linalg/test_exact_linear_algebra_facade.py:443

linalg.SmithVerification.smooth_bound

Inclusive smoothness bound, when local primes were swept.

Detailed contract

Inclusive prime bound checked by the smooth strategy.

(self) -> int | None

noether::linalg::SmithVerification::smooth_bound · Direct Rust declaration

pub fn smooth_bound(&self) -> Option<&Integer>
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/SmithVerification@1

Executable usage: validation/unit/infra/test_public_api_index.py:83 · validation/unit/infra/test_public_api_index.py:84 · validation/unit/infra/test_public_api_index.py:93 · validation/unit/infra/test_public_api_index.py:95 · validation/unit/linalg/test_acceptance_workload.py:135 · validation/unit/linalg/test_acceptance_workload.py:142

linalg.SmithVerification.strategy

Mathematical strategy actually executed.

Detailed contract

Stable mathematical strategy name.

(self) -> Literal['exact', 'smooth_local']

noether::linalg::SmithVerification::strategy · Direct Rust declaration

pub fn strategy(&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/SmithVerification@1

Executable usage: validation/unit/linalg/test_exact_linear_algebra_facade.py:319 · validation/unit/linalg/test_exact_linear_algebra_facade.py:330 · validation/unit/linalg/test_exact_linear_algebra_facade.py:428 · validation/unit/linalg/test_exact_linear_algebra_facade.py:439 · validation/unit/topology/test_eilenberg_maclane.py:112 · validation/unit/topology/test_eilenberg_maclane.py:119