solve.lib
constant
laguerre_solve
type
type
list
→
(
poly
→
returntype
)
constant
checkv
type
type
poly
→
returntype
constant
checkim
type
type
poly
→
returntype
constant
makemult
type
type
int
→
(
list
→
returntype
)
constant
cmp1
type
type
number
→
returntype
constant
exdiv
type
type
poly
→
(
poly
→
(
poly
→
returntype
)
)
constant
splitsqrfree
type
type
poly
→
(
poly
→
returntype
)
constant
nerr
type
type
number
→
(
number
→
returntype
)
constant
checkroots
type
type
number
→
(
int
→
(
list
→
(
poly
→
(
poly
→
returntype
)
)
)
)
constant
transroots
type
type
list
→
returntype
constant
divzero
type
type
int
→
(
poly
→
returntype
)
constant
addzero
type
type
int
→
(
int
→
(
string
→
(
list
→
returntype
)
)
)
constant
solve
type
type
list
→
(
ideal
→
returntype
)
constant
zerolist
type
type
int
→
returntype
constant
multsol
type
type
int
→
(
list
→
returntype
)
constant
checksol
type
type
list
→
(
ideal
→
returntype
)
constant
cmpn
type
type
list
→
(
list
→
returntype
)
constant
delequal
type
type
int
→
(
list
→
returntype
)
constant
linreduce
type
type
number
→
(
int
→
(
ideal
→
returntype
)
)
constant
trisolve
type
type
int
→
(
ideal
→
(
list
→
returntype
)
)
constant
finalclear
type
type
list
→
returntype
constant
splittolist
type
type
ideal
→
returntype
constant
multlist
type
type
int
→
(
list
→
returntype
)
constant
addlist
type
type
int
→
(
list
→
(
list
→
returntype
)
)
constant
mutrisolve
type
type
int
→
(
ideal
→
(
list
→
returntype
)
)
constant
l_mutrisolve
type
type
int
→
(
list
→
(
list
→
returntype
)
)
constant
ures_solve
type
type
list
→
(
ideal
→
returntype
)
constant
mp_res_mat
type
type
list
→
(
ideal
→
returntype
)
constant
interpolate
type
type
int
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
psubst
type
type
list
→
(
int
→
(
int
→
(
int
→
(
int
→
(
ideal
→
(
list
→
(
int
→
(
int
→
(
int
→
returntype
)
)
)
)
)
)
)
)
)
constant
fglm_solve
type
type
list
→
(
ideal
→
returntype
)
constant
lex_solve
type
type
list
→
(
ideal
→
returntype
)
constant
triangLf_solve
type
type
list
→
(
ideal
→
returntype
)
constant
triangM_solve
type
type
list
→
(
ideal
→
returntype
)
constant
triangL_solve
type
type
list
→
(
ideal
→
returntype
)
constant
triang_solve
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
simplexOut
type
type
list
→
returntype