absfact.lib
constant
partialDegree
type
type
int
→
(
poly
→
returntype
)
constant
belongTo
type
type
list
→
(
string
→
returntype
)
constant
variableWithSmallestPositiveDegree
type
type
poly
→
returntype
constant
smallestProperSimpleFactor
type
type
poly
→
returntype
constant
smallestProperFactor
type
type
poly
→
returntype
constant
extensionContainingSmoothPoint
type
type
int
→
(
poly
→
returntype
)
constant
RothsteinTragerResultant
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
RothsteinTrager
type
type
int
→
(
int
→
(
poly
→
(
list
→
returntype
)
)
)
constant
absFactorizeIrreducible
type
type
poly
→
returntype
constant
absFactorize
type
type
list
→
(
poly
→
returntype
)
constant
absFactorizeBCG
type
type
list
→
(
poly
→
returntype
)