elim.lib
constant
blowup0
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
elimRing
type
type
list
→
(
poly
→
returntype
)
constant
elim
type
type
list
→
(
def
→
returntype
)
constant
elim2
type
type
intvec
→
(
def
→
returntype
)
constant
elim1
type
type
list
→
(
def
→
returntype
)
constant
nselect
type
type
intvec
→
(
def
→
returntype
)
constant
sat
type
type
ideal
→
(
def
→
returntype
)
constant
select
type
type
intvec
→
(
def
→
returntype
)
constant
select1
type
type
intvec
→
(
def
→
returntype
)