root · ComplexBall

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

Worked example

The complete checked program Calculate trace and norm in a concrete quadratic finite field uses this API directly.

# SPDX-License-Identifier: MIT
# Copyright (c) 2026 Benjamin Antieau and Deven Manam
"""Calculate trace and norm in a concrete quadratic finite field."""

from noether.numthy import FiniteField


def main() -> None:
    field = FiniteField.extension(5, 2)
    generator = field.generator()
    assert generator**2 + field(4) * generator + field(2) == field.zero()
    assert generator.trace() == field(1)
    assert generator.norm() == field(2)
    print(f"{field}: Tr(a)={generator.trace()}, Nm(a)={generator.norm()}")


if __name__ == "__main__":
    main()

Run it with .venv/bin/python examples/08_finite_field_extensions.py.

ComplexBall

A certified complex enclosure in one fixed precision context.

PythonRust

class ComplexBall

noether::ComplexBall · Direct Rust declaration

pub struct ComplexBall { /* private fields */ }

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/infra/test_discovery.py:34 · validation/unit/infra/test_public_api_index.py:112 · validation/unit/infra/test_public_api_index.py:214 · validation/unit/test_ball_facade.py:32 · validation/unit/test_ball_facade.py:47 · validation/unit/test_ball_facade.py:8

ComplexBall.__add__

Add another compatible value to this value.

Detailed contract

Returns the argument unchanged.

PythonRust

(self, other: ComplexBall | int | _Fraction) -> ComplexBall

noether::root::ComplexBall::add · Direct Rust declaration

fn add(self, rhs: &ComplexBall) -> Self::Output

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/infra/test_discovery.py:211 · validation/unit/infra/test_public_api_index.py:293

ComplexBall.__mul__

Multiply this value by another compatible value.

PythonRust

(self, other: ComplexBall | int | _Fraction) -> ComplexBall

noether::root::ComplexBall::mul · Direct Rust declaration

fn mul(self, rhs: &ComplexBall) -> Self::Output

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/infra/test_public_api_index.py:214

ComplexBall.__neg__

Return the additive inverse of this value.

PythonRust

(self) -> ComplexBall

noether::root::ComplexBall::neg · Direct Rust declaration

fn neg(self) -> Self::Output

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

ComplexBall.__pow__

Raise this value to the supplied power.

PythonRust

(self, exponent: int, modulus: None=None) -> ComplexBall

noether::root::ComplexBall · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

ComplexBall.__radd__

Add this value to a compatible value on its left.

PythonRust

(self, other: int | _Fraction) -> ComplexBall

noether::root::ComplexBall · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

ComplexBall.__rmul__

Multiply this value by a compatible value on its left.

PythonRust

(self, other: int | _Fraction) -> ComplexBall

noether::root::ComplexBall · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

ComplexBall.__rsub__

Subtract this value from a compatible value on its left.

PythonRust

(self, other: int | _Fraction) -> ComplexBall

noether::root::ComplexBall · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

ComplexBall.__sub__

Subtract another compatible value from this value.

PythonRust

(self, other: ComplexBall | int | _Fraction) -> ComplexBall

noether::root::ComplexBall::sub · Direct Rust declaration

fn sub(self, rhs: &ComplexBall) -> Self::Output

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/infra/test_discovery.py:212

ComplexBall.contains_zero

Whether the point zero belongs to the enclosure.

Detailed contract

Whether the complex enclosure contains the point zero.

PythonRust

(self) -> bool

noether::root::ComplexBall::contains_zero · Direct Rust declaration

pub fn contains_zero(&self) -> bool

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/test_ball_facade.py:35 · validation/unit/test_ball_facade.py:36 · validation/corpus/commalg/k3-univariate-certificates.py:109 · validation/corpus/numthy/cubic-field-embeddings.py:25 · validation/corpus/numthy/cubic-field-embeddings.py:35

ComplexBall.field

Concrete precision context.

Detailed contract

The concrete precision context containing this ball.

PythonRust

(self) -> ComplexBallField

noether::root::ComplexBall::field · Direct Rust declaration

pub fn field(&self) -> ComplexBallField

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: examples/08_finite_field_extensions.py:10 · examples/08_finite_field_extensions.py:11 · examples/08_finite_field_extensions.py:12 · examples/08_finite_field_extensions.py:13 · examples/08_finite_field_extensions.py:14 · examples/08_finite_field_extensions.py:3

ComplexBall.from_json

Restore and validate an exact enclosure representation.

Detailed contract

Deserialize and validate an exact complex enclosure from canonical JSON.

PythonRust

(cls, value: str) -> ComplexBall

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

pub fn from_json(value: &str) -> Result<Self, NoetherError>

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@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

ComplexBall.imaginary

Certified imaginary component.

Detailed contract

Certified imaginary component in the corresponding real-ball context.

PythonRust

(self) -> RealBall

noether::root::ComplexBall::imaginary · Direct Rust declaration

pub fn imaginary(&self) -> RealBall

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/test_ball_facade.py:36 · validation/corpus/linalg/imaginary-quadratic-endomorphism-matrix.py:3 · validation/corpus/numthy/cubic-field-embeddings.py:25 · validation/corpus/numthy/cubic-field-embeddings.py:35

ComplexBall.is_exact

Whether both components have zero radius.

Detailed contract

Whether both components are point balls with radius zero.

PythonRust

(self) -> bool

noether::root::ComplexBall::is_exact · Direct Rust declaration

pub fn is_exact(&self) -> bool

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: validation/unit/commalg/test_polynomial_ideal_facade.py:319 · validation/unit/commalg/test_polynomial_ideal_facade.py:332 · validation/unit/homalg/test_padic_homology_facade.py:36 · validation/unit/numthy/test_padic_ring_facade.py:49 · validation/unit/numthy/test_padic_ring_facade.py:52 · validation/unit/test_ball_facade.py:19

ComplexBall.overlaps

Whether two same-context enclosures intersect.

Detailed contract

Test whether two same-context rectangular enclosures intersect.

PythonRust

(self, other: ComplexBall) -> bool

noether::root::ComplexBall::overlaps · Direct Rust declaration

pub fn overlaps(&self, other: &Self) -> Result<bool, ContextMismatchError>

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: examples/02_ball_arithmetic.py:13 · examples/02_ball_arithmetic.py:17 · examples/02_ball_arithmetic.py:18 · validation/unit/numthy/test_number_field_facade.py:57 · validation/unit/test_ball_facade.py:20 · validation/unit/test_ball_facade.py:21

ComplexBall.real

Certified real component.

Detailed contract

Certified real component in the corresponding real-ball context.

PythonRust

(self) -> RealBall

noether::root::ComplexBall::real · Direct Rust declaration

pub fn real(&self) -> RealBall

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@1

Executable usage: examples/02_ball_arithmetic.py:3 · validation/unit/infra/test_oracle_requirement.py:3 · validation/unit/linalg/test_sparse_matrix_facade.py:134 · validation/unit/linalg/test_sparse_matrix_facade.py:139 · validation/unit/linalg/test_sparse_matrix_facade.py:140 · validation/unit/linalg/test_sparse_matrix_facade.py:142

ComplexBall.to_json

Canonical JSON representation.

Detailed contract

Serialize this exact enclosure and context to canonical JSON.

PythonRust

(self) -> str

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

pub fn to_json(&self) -> Result<String, NoetherError>

Contract	Value
Guarantee	rigorous enclosure
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded
Semantic ID	noether/root/ComplexBall@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