constant further_hn_proc
constant getnm
constant leit
constant testreducible
constant T_Transform
constant T1_Transform
constant T2_Transform
constant koeff
constant squarefree
constant allsquarefree
constant is_irred
constant polytest
constant develop
constant param
constant puiseux2generators
constant intersection
constant separateHNE
constant displayHNE
constant newtonpoly
constant is_NND
constant charPoly
constant find_in_list
constant get_last_divisor
constant redleit
constant extdevelop
constant stripHNE
constant
constant factorfirst
constant hnexpansion
constant pre_HN
constant essdevelop
constant HN
constant constructHNEs
constant referencepoly
constant factorlist