PointsOfFiniteOrderTools(UP, UPUP)

pfo.spad line 67 [edit on github]

• UP: UnivariatePolynomialCategory Fraction Integer

• UPUP: UnivariatePolynomialCategory Fraction UP

Utilities for PFOQ and PFO Author: Manuel Bronstein Date Created: 25 Aug 1988

badNum: UP -> Record(den: Integer, gcdnum: Integer)

badNum(p) undocumented

badNum: UPUP -> Integer

badNum(u) undocumented

doubleDisc: UPUP -> Integer

doubleDisc(u) undocumented

getGoodPrime: Integer -> PositiveInteger

getGoodPrime n returns the smallest prime not dividing n

mix: List Record(den: Integer, gcdnum: Integer) -> Integer

mix(l) undocumented

polyred: UPUP -> UPUP

polyred(u) undocumented