elim.lib
constant blowup0
typelist(ideal(idealreturntype))
constant elimRing
typelist(polyreturntype)
constant elim
typelist(defreturntype)
constant elim2
typeintvec(defreturntype)
constant elim1
typelist(defreturntype)
constant nselect
typeintvec(defreturntype)
constant sat
typeideal(defreturntype)
constant select
typeintvec(defreturntype)
constant select1
typeintvec(defreturntype)