PointsOfFiniteOrderTools(UP, UPUP)

pfo.spad line 69 [edit on github]

• UP : UnivariatePolynomialCategory(Fraction(Integer))
• UPUP : UnivariatePolynomialCategory(Fraction(UP))

Utilities for PFOQ and PFO.

badNum : UPUP -> Integer

badNum(u) is undocumented

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

badNum(p) is undocumented

doubleDisc : UPUP -> Integer

doubleDisc(u) is undocumented

getGoodPrime : Integer -> PositiveInteger

getGoodPrime n returns the smallest prime not dividing n

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

mix(l) is undocumented

polyred : UPUP -> UPUP

polyred(u) is undocumented