Skip to content

root · Assumption

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

Assumption

One canonical mathematical hypothesis.

class Assumption

noether::Assumption · Direct Rust declaration

pub enum Assumption { CompatiblePadicComplexLift { prime: Integer, precision: u64, }, ExactPadicDifferentialRanks { outgoing: usize, incoming: usize, }, GeneralizedRiemannHypothesis, TorsionOrderIsSmooth { bound: Integer, }, Squarefree { cofactor: Integer, }, RegularSequence, SmoothCompleteIntersection, }
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/Assumption@1

Executable usage: validation/unit/commalg/test_intersection_theory.py:48 · validation/unit/commalg/test_intersection_theory.py:83 · validation/unit/commalg/test_intersection_theory.py:9 · validation/unit/homalg/test_padic_homology_facade.py:10 · validation/unit/homalg/test_padic_homology_facade.py:40 · validation/unit/homalg/test_padic_homology_facade.py:68

Assumption.compatible_padic_complex_lift

Assume the data are the stated reduction of a finite free Z_p-complex.

(cls, prime: int, precision: int) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/homalg/test_padic_homology_facade.py:40 · validation/unit/test_validity.py:23 · validation/unit/test_validity.py:36

Assumption.exact_padic_differential_ranks

Assume exact ranks for the retained outgoing and incoming p-adic maps.

(cls, outgoing: int, incoming: int) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/homalg/test_padic_homology_facade.py:68 · validation/unit/homalg/test_padic_homology_facade.py:69 · validation/unit/test_validity.py:24 · validation/unit/test_validity.py:39

Assumption.from_json

Construct an assumption from canonical JSON.

Detailed contract

Deserialize and validate a canonical assumption from JSON.

(cls, value: str) -> Assumption

noether::root::Assumption::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/Assumption@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

Assumption.generalized_riemann_hypothesis

Assume the generalized Riemann hypothesis for the relevant field.

(cls) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/test_validity.py:25 · validation/unit/test_validity.py:50 · validation/unit/test_validity.py:59

Assumption.regular_sequence

Assume that the displayed equations form a regular sequence.

(cls) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/commalg/test_intersection_theory.py:83 · validation/unit/test_validity.py:26 · validation/unit/test_validity.py:41

Assumption.smooth_complete_intersection

Assume that the displayed complete intersection is smooth.

(cls) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/commalg/test_intersection_theory.py:48 · validation/unit/test_validity.py:27 · validation/unit/test_validity.py:42

Assumption.squarefree

Assume that cofactor is squarefree.

(cls, cofactor: int) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/test_validity.py:29 · validation/unit/test_validity.py:45 · validation/corpus/homalg/s4-squarefree-quadratic-resolution.py:3

Assumption.to_json

Canonical JSON representation.

Detailed contract

Serialize this assumption to its canonical JSON representation.

(self) -> str

noether::root::Assumption::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/Assumption@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

Assumption.torsion_order_is_smooth

Assume that every torsion prime is at most bound.

(cls, bound: int) -> Assumption

noether::root::Assumption · Python projection

Python projection convenience over this Rust mathematical type
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/Assumption@1

Executable usage: validation/unit/linalg/test_acceptance_workload.py:138 · validation/unit/linalg/test_exact_linear_algebra_facade.py:438 · validation/unit/test_validity.py:28 · validation/unit/test_validity.py:43 · validation/unit/test_validity.py:51 · validation/unit/test_validity.py:60