teachstd.lib
constant
ecart
type
type
def
→
returntype
constant
leadmonomial
type
type
def
→
returntype
constant
tail
type
type
def
→
returntype
constant
sameComponent
type
type
def
→
(
def
→
returntype
)
constant
monomialLcm
type
type
def
→
(
def
→
returntype
)
constant
spoly
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
minEcart
type
type
def
→
(
def
→
returntype
)
constant
NFMora
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
prodcrit
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
chaincrit
type
type
def
→
(
def
→
(
def
→
returntype
)
)
constant
pairset
type
type
def
→
returntype
constant
updatePairs
type
type
def
→
(
def
→
(
def
→
returntype
)
)
constant
standard
type
type
list
→
(
def
→
returntype
)
constant
localstd
type
type
def
→
returntype