commalg · PointCountMethod

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

commalg.PointCountMethod

Method used for one exact extension-field point count.

PythonRust

class PointCountMethod

noether::commalg::PointCountMethod · Direct Rust declaration

pub enum PointCountMethod { ExhaustiveScheme, ExhaustiveCyclicFibers, PadicDoubleCoverTrace, }

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:12 · validation/unit/commalg/test_surface_facade.py:47 · validation/unit/commalg/test_surface_facade.py:88