constant trunc
constant fgset
constant plugincoeffs
constant tpolys
constant formaldiff
constant ringchange
constant variables_list
constant atoz
constant diffidealstep
constant order
constant simplifyvar
constant modd
constant Hnew
constant simplifymodd
constant minpower
constant equalitytest