Skip to content

commalg · RationalPointEnumeration

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

commalg.RationalPointEnumeration

Resumable deterministic iterator over finite-field rational points.

class RationalPointEnumeration

noether::commalg::RationalPointEnumeration · Direct Rust declaration

pub struct RationalPointEnumeration { /* private fields */ }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_scheme_facade.py:156 · validation/unit/commalg/test_scheme_facade.py:16 · validation/unit/commalg/test_scheme_facade.py:161

commalg.RationalPointEnumeration.__iter__

Iterate over the canonical finite contents of this object.

(self) -> RationalPointEnumeration

noether::commalg::RationalPointEnumeration · 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, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

commalg.RationalPointEnumeration.__next__

Return the next value in this canonical iterator.

(self) -> SchemePoint

noether::commalg::RationalPointEnumeration · 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, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

commalg.RationalPointEnumeration.candidate_count

Return the candidate count recorded by this RationalPointEnumeration.

Detailed contract

Total canonical ambient candidates across all shards.

(self) -> int

noether::commalg::RationalPointEnumeration::candidate_count · Direct Rust declaration

pub fn candidate_count(&self) -> usize
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_acceptance_workload.py:137 · validation/unit/commalg/test_scheme_facade.py:142 · validation/unit/commalg/test_scheme_facade.py:41 · validation/corpus/commalg/finite-projective-variety-point-count.py:23 · validation/corpus/commalg/finite-projective-variety-point-count.py:27 · validation/corpus/commalg/klein-quartic-f43-point-count.py:19

commalg.RationalPointEnumeration.from_json

Deserialize and revalidate a RationalPointEnumeration from typed JSON.

Detailed contract

Restore a resumable deterministic cursor.

(cls, value: str) -> RationalPointEnumeration

noether::commalg::RationalPointEnumeration::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, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@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

commalg.RationalPointEnumeration.next_candidate_index

Return the next candidate index recorded by this RationalPointEnumeration.

Detailed contract

Current canonical candidate cursor.

(self) -> int

noether::commalg::RationalPointEnumeration::next_candidate_index · Direct Rust declaration

pub fn next_candidate_index(&self) -> usize
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_scheme_facade.py:153 · validation/unit/commalg/test_scheme_facade.py:155

commalg.RationalPointEnumeration.scheme

Return the scheme recorded by this RationalPointEnumeration.

Detailed contract

Enumerated scheme.

(self) -> Scheme[FiniteField]

noether::commalg::RationalPointEnumeration::scheme · Direct Rust declaration

pub fn scheme(&self) -> &Scheme<FiniteField>
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_base_change.py:105 · validation/unit/commalg/test_base_change.py:106 · validation/unit/commalg/test_base_change.py:113 · validation/unit/commalg/test_base_change.py:3 · validation/unit/commalg/test_base_change.py:57 · validation/unit/commalg/test_scheme_facade.py:101

commalg.RationalPointEnumeration.shard_count

Return the shard count recorded by this RationalPointEnumeration.

Detailed contract

Total number of disjoint shards.

(self) -> int

noether::commalg::RationalPointEnumeration::shard_count · Direct Rust declaration

pub fn shard_count(&self) -> usize
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_scheme_facade.py:159 · validation/unit/commalg/test_scheme_facade.py:165

commalg.RationalPointEnumeration.shard_index

Return the shard index recorded by this RationalPointEnumeration.

Detailed contract

Zero-based shard index.

(self) -> int

noether::commalg::RationalPointEnumeration::shard_index · Direct Rust declaration

pub fn shard_index(&self) -> usize
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@1

Executable usage: validation/unit/commalg/test_scheme_facade.py:159 · validation/unit/commalg/test_scheme_facade.py:165

commalg.RationalPointEnumeration.to_json

Serialize this RationalPointEnumeration to its canonical typed JSON representation.

Detailed contract

Serialize a resumable deterministic cursor.

(self) -> str

noether::commalg::RationalPointEnumeration::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, groebner-kernel, module-core, poly-core, resolution-kernel
GIL attached / bounded
Semantic ID noether/commalg/RationalPointEnumeration@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