Skip to content

commalg · WeightedProjectiveSchemeChart

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

commalg.WeightedProjectiveSchemeChart

Pullback of a weighted-projective scheme to an explicit quotient chart.

class WeightedProjectiveSchemeChart

noether::commalg::WeightedProjectiveSchemeChart · Direct Rust declaration

pub struct WeightedProjectiveSchemeChart<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.WeightedProjectiveSchemeChart.affine_cover

Return the affine cover recorded by this WeightedProjectiveSchemeChart.

Detailed contract

Closed subscheme of the affine cover before the cyclic quotient.

(self) -> Scheme[C]

noether::commalg::WeightedProjectiveSchemeChart::affine_cover · Direct Rust declaration

pub fn affine_cover(&self) -> &Scheme<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

commalg.WeightedProjectiveSchemeChart.quotient_chart

Return the quotient chart recorded by this WeightedProjectiveSchemeChart.

Detailed contract

Ambient quotient-chart data.

(self) -> WeightedProjectiveChart[C]

noether::commalg::WeightedProjectiveSchemeChart::quotient_chart · Direct Rust declaration

pub fn quotient_chart(&self) -> &WeightedProjectiveChart<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