hnoether.lib
constant
further_hn_proc
type
type
returntype
constant
getnm
type
type
poly
→
returntype
constant
leit
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
testreducible
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
T_Transform
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
T1_Transform
type
type
int
→
(
number
→
(
poly
→
returntype
)
)
constant
T2_Transform
type
type
poly
→
(
int
→
(
int
→
(
number
→
(
poly
→
returntype
)
)
)
)
constant
koeff
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
squarefree
type
type
poly
→
returntype
constant
allsquarefree
type
type
poly
→
(
poly
→
returntype
)
constant
is_irred
type
type
poly
→
returntype
constant
polytest
type
type
poly
→
returntype
constant
develop
type
type
list
→
returntype
constant
param
type
type
list
→
(
list
→
returntype
)
constant
puiseux2generators
type
type
intvec
→
(
intvec
→
returntype
)
constant
intersection
type
type
list
→
(
list
→
returntype
)
constant
separateHNE
type
type
list
→
(
list
→
returntype
)
constant
displayHNE
type
type
list
→
(
list
→
returntype
)
constant
newtonpoly
type
type
int
→
(
poly
→
returntype
)
constant
is_NND
type
type
list
→
(
poly
→
returntype
)
constant
charPoly
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
find_in_list
type
type
int
→
(
list
→
returntype
)
constant
get_last_divisor
type
type
int
→
(
int
→
returntype
)
constant
redleit
type
type
intvec
→
(
intvec
→
(
poly
→
returntype
)
)
constant
extdevelop
type
type
int
→
(
list
→
returntype
)
constant
stripHNE
type
type
list
→
returntype
constant
extractHNEs
type
type
int
→
(
list
→
returntype
)
constant
factorfirst
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
hnexpansion
type
type
list
→
(
poly
→
returntype
)
constant
pre_HN
type
type
int
→
(
poly
→
returntype
)
constant
essdevelop
type
type
poly
→
returntype
constant
HN
type
type
int
→
(
intvec
→
(
def
→
(
def
→
(
def
→
(
int
→
(
poly
→
(
list
→
returntype
)
)
)
)
)
)
)
constant
constructHNEs
type
type
int
→
(
int
→
(
ideal
→
(
int
→
(
list
→
(
list
→
(
int
→
(
list
→
returntype
)
)
)
)
)
)
)
constant
referencepoly
type
type
list
→
returntype
constant
factorlist
type
type
list
→
(
list
→
returntype
)