Documentation
MazurTorsion
.
Kubert
.
OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0
Search
return to top
source
Imports
Init
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients0To39
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients106To134
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients135To160
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients40To73
MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients74To105
Imported by
Coefficient certificate compatibility module
#
This module combines independently checked coefficient ranges.