GND.lib
constant
deltaf
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
comb
type
type
list
→
(
list
→
(
int
→
(
int
→
(
int
→
returntype
)
)
)
)
constant
H
type
type
ideal
→
(
int
→
(
ideal
→
returntype
)
)
constant
extractP
type
type
ideal
→
(
list
→
returntype
)
constant
isinList
type
type
list
→
(
string
→
returntype
)
constant
findmc
type
type
ideal
→
(
ideal
→
returntype
)
constant
finddz
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
inY
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
myjet
type
type
string
→
(
string
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
invp
type
type
list
→
(
list
→
(
int
→
(
poly
→
returntype
)
)
)
constant
findminor
type
type
ideal
→
(
poly
→
(
int
→
returntype
)
)
constant
findnewvar
type
type
string
→
returntype
constant
mylcm
type
type
list
→
(
ideal
→
returntype
)
constant
mysubstpoly
type
type
list
→
(
poly
→
(
int
→
(
poly
→
returntype
)
)
)
constant
mysubst
type
type
list
→
(
poly
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
crl
type
type
string
→
(
list
→
(
list
→
returntype
)
)