Skip to content

root · Capabilities

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

Capabilities

The available public index and backends in this installation.

class Capabilities

noether::Capabilities · Python projection

Python projection convenience; no separate Rust item
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/infra/test_discovery.py:314

Capabilities.backend

Return one named backend status, raising KeyError if unknown.

(self, name: str) -> _BackendStatus

noether::root::Capabilities · Python projection

Python projection convenience; no separate Rust item
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/infra/test_discovery.py:254 · validation/unit/infra/test_discovery.py:255 · validation/unit/infra/test_discovery.py:270 · validation/unit/infra/test_discovery.py:271 · validation/unit/infra/test_discovery.py:272 · validation/unit/infra/test_discovery.py:276

Capabilities.supports

Return whether operation is available in this installation.

(self, operation: str) -> bool

noether::root::Capabilities · Python projection

Python projection convenience; no separate Rust item
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/commalg/test_monomial_ideal_facade.py:71 · validation/unit/commalg/test_rational_function_facade.py:114 · validation/unit/homalg/test_exterior_algebra.py:393 · validation/unit/homalg/test_exterior_algebra.py:394 · validation/unit/infra/test_corpus_acceptance.py:108 · validation/unit/infra/test_discovery.py:241