Documentation
MazurTorsion
.
Kubert
.
OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1
Search
return to top
source
Imports
Init
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients232To257
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients258To284
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients285To313
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients314To343
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ExceptionalPart1.Coefficients344To376
Imported by
Coefficient certificate compatibility module
#
This module combines independently checked coefficient ranges.