presolve.lib
constant
shortid
type
type
list
→
(
int
→
(
def
→
returntype
)
)
constant
degreepart
type
type
list
→
(
int
→
(
int
→
(
def
→
returntype
)
)
)
constant
linearpart
type
type
def
→
returntype
constant
elimlinearpart
type
type
list
→
(
ideal
→
returntype
)
constant
elimpart
type
type
list
→
(
ideal
→
returntype
)
constant
elimpartanyr
type
type
list
→
(
ideal
→
returntype
)
constant
fastelim
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
faststd
type
type
list
→
(
def
→
returntype
)
constant
findvars
type
type
list
→
(
def
→
returntype
)
constant
hilbvec
type
type
list
→
(
def
→
returntype
)
constant
tolessvars
type
type
list
→
(
def
→
returntype
)
constant
solvelinearpart
type
type
list
→
(
def
→
returntype
)
constant
sortandmap
type
type
list
→
(
def
→
returntype
)
constant
sortvars
type
type
list
→
(
def
→
returntype
)
constant
valvars
type
type
list
→
(
def
→
returntype
)
constant
idealSplit
type
type
list
→
(
ideal
→
returntype
)
constant
idealSimplify
type
type
list
→
(
ideal
→
returntype
)