Skip to content

homalg · Types and values

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

homalg.UniversalUnit

Accepted type alias for universal unit values.

type UniversalUnit = Literal[-1, 1]

noether::homalg::UniversalUnit · Direct Rust declaration

pub enum UniversalUnit { One, NegativeOne, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, flint-core, groebner-kernel, m4rst, m4rste, module-core, resolution-kernel, sparla
GIL attached / bounded