lejeune.lib
constant
trunc
type
type
int
→
(
poly
→
returntype
)
constant
fgset
type
type
intvec
→
(
poly
→
returntype
)
constant
plugincoeffs
type
type
int
→
(
poly
→
returntype
)
constant
tpolys
type
type
int
→
(
int
→
returntype
)
constant
formaldiff
type
type
intvec
→
(
poly
→
returntype
)
constant
ringchange
type
type
int
→
returntype
constant
variables_list
type
type
int
→
(
int
→
returntype
)
constant
atoz
type
type
int
→
returntype
constant
diffidealstep
type
type
int
→
(
int
→
returntype
)
constant
order
type
type
poly
→
returntype
constant
simplifyvar
type
type
ideal
→
returntype
constant
modd
type
type
poly
→
(
poly
→
returntype
)
constant
Hnew
type
type
intvec
→
returntype
constant
simplifymodd
type
type
ideal
→
returntype
constant
minpower
type
type
poly
→
returntype
constant
equalitytest
type
type
ideal
→
(
ideal
→
returntype
)