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