standard.lib
constant
stdfglm
type
type
list
→
(
ideal
→
returntype
)
constant
stdhilb
type
type
list
→
(
def
→
returntype
)
constant
quotientList
type
type
list
→
(
list
→
returntype
)
constant
par2varRing
type
type
list
→
returntype
constant
hilbRing
type
type
list
→
returntype
constant
qslimgb
type
type
def
→
returntype
constant
groebner
type
type
list
→
(
def
→
returntype
)
constant
res
type
type
list
→
returntype
constant
quot
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
quot1
type
type
int
→
(
module
→
(
module
→
returntype
)
)
constant
quotient0
type
type
module
→
(
module
→
returntype
)
constant
quotient1
type
type
module
→
(
module
→
returntype
)
constant
quotient2
type
type
module
→
(
module
→
returntype
)
constant
quotient3
type
type
module
→
(
module
→
returntype
)
constant
quotient5
type
type
module
→
(
module
→
returntype
)
constant
quotient4
type
type
module
→
(
module
→
returntype
)
constant
intersect1
type
type
ideal
→
(
ideal
→
returntype
)
constant
sprintf
type
type
list
→
(
string
→
returntype
)
constant
printf
type
type
list
→
(
string
→
returntype
)
constant
fprintf
type
type
list
→
(
string
→
(
link
→
returntype
)
)
constant
weightKB
type
type
list
→
(
int
→
(
def
→
returntype
)
)
constant
datetime
type
type
returntype
constant
kbclass
type
type
returntype
constant
delkbclass
type
type
returntype
constant
kbprepare
type
type
module
→
returntype
constant
checkww
type
type
list
→
returntype
constant
widkbase
type
type
int
→
returntype
constant
weightmon
type
type
poly
→
(
int
→
(
int
→
returntype
)
)
constant
max
type
type
list
→
(
def
→
returntype
)
constant
min
type
type
list
→
(
def
→
returntype
)
constant
mod_init
type
type
returntype