commalg · CompleteIntersectionHypotheses

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

commalg.CompleteIntersectionHypotheses

Explicit hypothesis attached to a complete-intersection type.

PythonRust

class CompleteIntersectionHypotheses

noether::commalg::CompleteIntersectionHypotheses · Direct Rust declaration

pub enum CompleteIntersectionHypotheses { RegularSequence, Smooth, }

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, groebner-kernel, module-core, poly-core, resolution-kernel
GIL	attached / bounded

Executable usage: validation/unit/commalg/test_intersection_theory.py:13 · validation/unit/commalg/test_intersection_theory.py:47 · validation/unit/commalg/test_intersection_theory.py:82