hnoether.lib
constant further_hn_proc
typereturntype
constant getnm
typepolyreturntype
constant leit
typeint(int(polyreturntype))
constant testreducible
typeint(int(polyreturntype))
constant T_Transform
typeint(int(polyreturntype))
constant T1_Transform
typeint(number(polyreturntype))
constant T2_Transform
typepoly(int(int(number(polyreturntype))))
constant koeff
typeint(int(polyreturntype))
constant squarefree
typepolyreturntype
constant allsquarefree
typepoly(polyreturntype)
constant is_irred
typepolyreturntype
constant polytest
typepolyreturntype
constant develop
typelistreturntype
constant param
typelist(listreturntype)
constant puiseux2generators
typeintvec(intvecreturntype)
constant intersection
typelist(listreturntype)
constant separateHNE
typelist(listreturntype)
constant displayHNE
typelist(listreturntype)
constant newtonpoly
typeint(polyreturntype)
constant is_NND
typelist(polyreturntype)
constant charPoly
typeint(int(polyreturntype))
constant find_in_list
typeint(listreturntype)
constant get_last_divisor
typeint(intreturntype)
constant redleit
typeintvec(intvec(polyreturntype))
constant extdevelop
typeint(listreturntype)
constant stripHNE
typelistreturntype
constant extractHNEs
typeint(listreturntype)
constant factorfirst
typeint(int(polyreturntype))
constant hnexpansion
typelist(polyreturntype)
constant pre_HN
typeint(polyreturntype)
constant essdevelop
typepolyreturntype
constant HN
typeint(intvec(def(def(def(int(poly(listreturntype)))))))
constant constructHNEs
typeint(int(ideal(int(list(list(int(listreturntype)))))))
constant referencepoly
typelistreturntype
constant factorlist
typelist(listreturntype)