poly.lib
constant
bino
type
type
int
→
(
int
→
returntype
)
constant
hilbPoly
type
type
ideal
→
returntype
constant
substitute
type
type
list
→
(
def
→
returntype
)
constant
cyclic
type
type
int
→
returntype
constant
elemSymmPoly
type
type
int
→
(
int
→
(
int
→
returntype
)
)
constant
elemSymmId
type
type
int
→
returntype
constant
kat_var
type
type
int
→
(
int
→
returntype
)
constant
maxcoef
type
type
def
→
returntype
constant
maxdeg
type
type
def
→
returntype