root · Module functions¶
2 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.
capabilities¶
Return the available installed public index and backend status.
noether::capabilities · Python projection
| 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:10 · examples/distributed/f2_linear_algebra.py:12 · examples/distributed/f2_linear_algebra.py:5 · examples/distributed/f2_linear_algebra.py:9 · validation/unit/homalg/test_exterior_algebra.py:391 · validation/unit/homalg/test_exterior_algebra.py:392
describe¶
Describe one public operation from the wheel's source-derived index.
noether::describe · Python projection
| 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/groups/test_conjugacy.py:67 · validation/unit/homalg/test_exterior_algebra.py:396 · validation/unit/homalg/test_exterior_algebra.py:399 · validation/unit/homalg/test_exterior_algebra.py:400 · validation/unit/infra/test_discovery.py:12 · validation/unit/infra/test_discovery.py:13