Skip to content

root · MathematicalValidity

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

MathematicalValidity

Unconditional or explicitly assumption-indexed mathematical validity.

class MathematicalValidity

noether::MathematicalValidity · Direct Rust declaration

pub struct MathematicalValidity { /* private fields */ }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/linalg/test_exact_linear_algebra_facade.py:12 · validation/unit/linalg/test_exact_linear_algebra_facade.py:316 · validation/unit/test_validity.py:14 · validation/unit/test_validity.py:16 · validation/unit/test_validity.py:18 · validation/unit/test_validity.py:52

MathematicalValidity.assumptions

The sorted, duplicate-free assumptions required by the result.

(self) -> list[Assumption]

noether::root::MathematicalValidity::assumptions · Direct Rust declaration

pub fn assumptions(&self) -> &BTreeSet<Assumption>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/commalg/test_intersection_theory.py:48 · validation/unit/commalg/test_intersection_theory.py:83 · validation/unit/homalg/test_padic_homology_facade.py:40 · validation/unit/homalg/test_padic_homology_facade.py:68 · validation/unit/homalg/test_padic_homology_facade.py:69 · validation/unit/linalg/test_acceptance_workload.py:138

MathematicalValidity.conditional

Construct validity conditional on a normalized set of assumptions.

Detailed contract

Construct validity conditional on the given hypotheses. Assumptions are sorted and deduplicated. An empty iterator produces Self::unconditional.

(cls, assumptions: list[Assumption]) -> MathematicalValidity

noether::root::MathematicalValidity::conditional · Direct Rust declaration

pub fn conditional(assumptions: impl IntoIterator<Item = Assumption>) -> Self
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/infra/test_discovery.py:81 · validation/unit/linalg/test_acceptance_workload.py:134 · validation/unit/linalg/test_acceptance_workload.py:137 · validation/unit/linalg/test_acceptance_workload.py:138 · validation/unit/linalg/test_acceptance_workload.py:139 · validation/unit/linalg/test_acceptance_workload.py:140

MathematicalValidity.from_json

Construct and normalize a validity value from canonical JSON.

Detailed contract

Deserialize and normalize a mathematical validity value from JSON.

(cls, value: str) -> MathematicalValidity

noether::root::MathematicalValidity::from_json · Direct Rust declaration

pub fn from_json(value: &str) -> Result<Self, NoetherError>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/category/test_category.py:14 · validation/unit/combin/test_acceptance_workload.py:65 · validation/unit/combin/test_acceptance_workload.py:86 · validation/unit/combin/test_graph_facade.py:106 · validation/unit/combin/test_graph_facade.py:25 · validation/unit/combinatorics/test_kashiwara_crystal.py:32

MathematicalValidity.is_unconditional

Whether no additional mathematical hypothesis is required.

Detailed contract

Whether the result is valid without additional mathematical hypotheses.

(self) -> bool

noether::root::MathematicalValidity::is_unconditional · Direct Rust declaration

pub fn is_unconditional(&self) -> bool
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/homalg/test_chain_complex.py:42 · validation/unit/homalg/test_padic_homology_facade.py:157 · validation/unit/homalg/test_padic_homology_facade.py:168 · validation/unit/homalg/test_padic_homology_facade.py:172 · validation/unit/homalg/test_padic_homology_facade.py:186 · validation/unit/linalg/test_acceptance_workload.py:125

MathematicalValidity.to_json

Canonical JSON representation.

Detailed contract

Serialize this validity value to its canonical JSON representation.

(self) -> str

noether::root::MathematicalValidity::to_json · Direct Rust declaration

pub fn to_json(&self) -> Result<String, NoetherError>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/category/test_category.py:14 · validation/unit/category/test_category.py:15 · validation/unit/combin/test_acceptance_workload.py:30 · validation/unit/combin/test_acceptance_workload.py:65 · validation/unit/combin/test_acceptance_workload.py:86 · validation/unit/combin/test_graph_facade.py:106

MathematicalValidity.unconditional

Construct unconditional mathematical validity.

(cls) -> MathematicalValidity

noether::root::MathematicalValidity::unconditional · Direct Rust declaration

pub fn unconditional() -> Self
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded
Semantic ID noether/root/MathematicalValidity@1

Executable usage: validation/unit/homalg/test_padic_homology_facade.py:82 · validation/unit/infra/test_discovery.py:80 · validation/unit/linalg/test_acceptance_workload.py:142 · validation/unit/linalg/test_acceptance_workload.py:143 · validation/unit/linalg/test_acceptance_workload.py:144 · validation/unit/linalg/test_exact_linear_algebra_facade.py:449