ffsolve.lib
constant
ffsolve
type
type
list
→
(
ideal
→
returntype
)
constant
PEsolve
type
type
list
→
(
ideal
→
returntype
)
constant
simplesolver
type
type
ideal
→
returntype
constant
GBsolve
type
type
ideal
→
returntype
constant
XLsolve
type
type
list
→
(
ideal
→
returntype
)
constant
ZZsolve
type
type
ideal
→
returntype
constant
linearReduce
type
type
list
→
(
ideal
→
returntype
)
constant
monomialsOfDegreeAtMost
type
type
int
→
returntype
constant
reorderMonomials
type
type
list
→
returntype
constant
melyseg
type
type
list
→
(
poly
→
returntype
)
constant
productOfEqs
type
type
ideal
→
returntype
constant
clonering
type
type
list
→
returntype
constant
defaultIdeal
type
type
returntype
constant
order_of_extension
type
type
returntype
constant
vec2elm
type
type
intvec
→
returntype
constant
increment
type
type
list
→
(
list
→
returntype
)
constant
nextVec
type
type
intvec
→
returntype
constant
every_vector
type
type
returntype
constant
num2int
type
type
number
→
returntype
constant
get_minpoly_str
type
type
string
→
(
int
→
returntype
)
constant
sort_ideal
type
type
ideal
→
returntype
constant
add_if_new
type
type
ideal
→
(
list
→
returntype
)
constant
Z_get_minpoly
type
type
string
→
(
int
→
returntype
)
constant
Z_phi
type
type
ideal
→
returntype
constant
Z_default_ideal
type
type
int
→
(
int
→
returntype
)