Skip to content

root · Field

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

Field

A coefficient context whose nonzero elements are invertible.

class Field

noether::Field · Direct Rust declaration

pub trait Field: CommutativeRing + UnitInversion { // Required method fn inverse( &self, value: &Self::Element, ) -> Result<Self::Element, InversionError>; }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core
GIL attached / bounded

Executable usage: validation/unit/linalg/test_matrix_facade.py:10 · validation/unit/linalg/test_matrix_facade.py:21 · validation/unit/numthy/test_finite_field_facade.py:24 · validation/unit/numthy/test_finite_field_facade.py:9

Field.inverse

Compute inverse for this Field.

(self, value: _Element) -> _Element

noether::root::Field · 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

Executable usage: examples/distributed/f2_linear_algebra.py:37 · examples/distributed/f2_linear_algebra.py:39 · validation/unit/commalg/test_context_tower_workload.py:121 · validation/unit/commalg/test_context_tower_workload.py:122 · validation/unit/commalg/test_context_tower_workload.py:75 · validation/unit/commalg/test_context_tower_workload.py:77