Documentation
MazurTorsion
.
Kubert
.
OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart0
Search
return to top
source
Imports
Init
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart0.Coefficients0To90
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart0.Coefficients154To201
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart0.Coefficients202To231
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart0.Coefficients91To153
Imported by
Coefficient certificate compatibility module
#
This module combines independently checked coefficient ranges.