standard.lib
constant stdfglm
typelist(idealreturntype)
constant stdhilb
typelist(defreturntype)
constant quotientList
typelist(listreturntype)
constant par2varRing
typelistreturntype
constant hilbRing
typelistreturntype
constant qslimgb
typedefreturntype
constant groebner
typelist(defreturntype)
constant res
typelistreturntype
constant quot
typelist(def(defreturntype))
constant quot1
typeint(module(modulereturntype))
constant quotient0
typemodule(modulereturntype)
constant quotient1
typemodule(modulereturntype)
constant quotient2
typemodule(modulereturntype)
constant quotient3
typemodule(modulereturntype)
constant quotient5
typemodule(modulereturntype)
constant quotient4
typemodule(modulereturntype)
constant intersect1
typeideal(idealreturntype)
constant sprintf
typelist(stringreturntype)
constant printf
typelist(stringreturntype)
constant fprintf
typelist(string(linkreturntype))
constant weightKB
typelist(int(defreturntype))
constant datetime
typereturntype
constant kbclass
typereturntype
constant delkbclass
typereturntype
constant kbprepare
typemodulereturntype
constant checkww
typelistreturntype
constant widkbase
typeintreturntype
constant weightmon
typepoly(int(intreturntype))
constant max
typelist(defreturntype)
constant min
typelist(defreturntype)
constant mod_init
typereturntype