Skip to content

homalg · FiniteGroupCohomologySymondsParameterCertificate

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

homalg.FiniteGroupCohomologySymondsParameterCertificate

Replayable evidence for Symonds's parameter completion criterion.

class FiniteGroupCohomologySymondsParameterCertificate

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate · Direct Rust declaration

pub struct FiniteGroupCohomologySymondsParameterCertificate { /* private fields */ }
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:16 · validation/unit/homalg/test_finite_group_cohomology.py:212

homalg.FiniteGroupCohomologySymondsParameterCertificate.completion_degree_bound

Return the completion degree bound recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

Maximum of the module-generator and parameter-degree bounds.

(self) -> int

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::completion_degree_bound · Direct Rust declaration

pub const fn completion_degree_bound(&self) -> usize
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:216

homalg.FiniteGroupCohomologySymondsParameterCertificate.elementary_abelian_restrictions

Return the elementary abelian restrictions recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

Restriction certificates for all maximal elementary abelian subgroups of the retained Sylow subgroup.

(self) -> list[FiniteGroupCohomologyElementaryAbelianRestriction]

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::elementary_abelian_restrictions · Direct Rust declaration

pub fn elementary_abelian_restrictions( &self, ) -> &[FiniteGroupCohomologyElementaryAbelianRestriction]
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:217 · validation/unit/homalg/test_finite_group_cohomology.py:218

homalg.FiniteGroupCohomologySymondsParameterCertificate.maximum_module_generator_degree

Return the maximum module generator degree recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

Largest degree needed to generate the approximation as a module over the selected parameters.

(self) -> int

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::maximum_module_generator_degree · Direct Rust declaration

pub const fn maximum_module_generator_degree(&self) -> usize
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:214

homalg.FiniteGroupCohomologySymondsParameterCertificate.parameter_degree_bound

Return the parameter degree bound recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

sum_i (degree(parameter_i) - 1) + 1 in Symonds’s theorem.

(self) -> int

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::parameter_degree_bound · Direct Rust declaration

pub const fn parameter_degree_bound(&self) -> usize
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:215

homalg.FiniteGroupCohomologySymondsParameterCertificate.parameter_generator_indices

Return the parameter generator indices recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

Indices in the complete presentation’s deterministic algebra-generator family.

(self) -> list[int]

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::parameter_generator_indices · Direct Rust declaration

pub fn parameter_generator_indices(&self) -> &[usize]
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:213

homalg.FiniteGroupCohomologySymondsParameterCertificate.quotient_generator_power_bounds

Return the quotient generator power bounds recorded by this FiniteGroupCohomologySymondsParameterCertificate.

Detailed contract

Pure-power bounds proving that the algebra approximation is finite over the selected parameter subalgebra.

(self) -> list[int]

noether::homalg::FiniteGroupCohomologySymondsParameterCertificate::quotient_generator_power_bounds · Direct Rust declaration

pub fn quotient_generator_power_bounds(&self) -> &[u32]
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

Executable usage: validation/unit/homalg/test_finite_group_cohomology.py:223