Skip to content

commalg · CyclicCoverSmoothnessEvidence

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

commalg.CyclicCoverSmoothnessEvidence

Regime-aware smoothness evidence for a cyclic cover.

class CyclicCoverSmoothnessEvidence

noether::commalg::CyclicCoverSmoothnessEvidence · Direct Rust declaration

pub struct CyclicCoverSmoothnessEvidence<R: CommutativeRing> { /* private fields */ }
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

commalg.CyclicCoverSmoothnessEvidence.branch_is_smooth

Return the branch is smooth recorded by this CyclicCoverSmoothnessEvidence.

Detailed contract

Branch criterion result in the tame regime, absent in the wild regime.

(self) -> bool | None

noether::commalg::CyclicCoverSmoothnessEvidence::branch_is_smooth · Direct Rust declaration

pub fn branch_is_smooth(&self) -> Option<bool>
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_surface_facade.py:41

commalg.CyclicCoverSmoothnessEvidence.cover

Return the cover recorded by this CyclicCoverSmoothnessEvidence.

Detailed contract

Checked cover.

(self) -> CyclicHypersurfaceCover[C]

noether::commalg::CyclicCoverSmoothnessEvidence::cover · Direct Rust declaration

pub fn cover(&self) -> &CyclicHypersurfaceCover<R>
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_surface_facade.py:38 · validation/unit/commalg/test_surface_facade.py:40 · validation/unit/commalg/test_surface_facade.py:43 · validation/unit/commalg/test_surface_facade.py:45 · validation/unit/commalg/test_surface_facade.py:61 · validation/unit/commalg/test_surface_facade.py:71

commalg.CyclicCoverSmoothnessEvidence.is_smooth

Test whether this CyclicCoverSmoothnessEvidence is smooth.

Detailed contract

Smoothness conclusion under the regime-specific rule.

(self) -> bool

noether::commalg::CyclicCoverSmoothnessEvidence::is_smooth · Direct Rust declaration

pub fn is_smooth(&self) -> bool
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_acceptance_workload.py:110 · validation/unit/commalg/test_scheme_facade.py:202 · validation/unit/commalg/test_scheme_facade.py:213 · validation/unit/commalg/test_scheme_facade.py:240 · validation/unit/commalg/test_scheme_facade.py:39 · validation/unit/commalg/test_surface_facade.py:42

commalg.CyclicCoverSmoothnessEvidence.weighted_jacobian

Return the weighted jacobian recorded by this CyclicCoverSmoothnessEvidence.

Detailed contract

Direct weighted cone-Jacobian evidence in every regime.

(self) -> WeightedHypersurfaceJacobianEvidence[C]

noether::commalg::CyclicCoverSmoothnessEvidence::weighted_jacobian · Direct Rust declaration

pub fn weighted_jacobian(&self) -> &WeightedHypersurfaceJacobianEvidence<R>
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