integralbasis.lib
constant integralBasis
typelist(int(polyreturntype))
constant integralBasisMain
typeint(ideal(ideal(string(polyreturntype))))
constant integralLocal
typelist(idealreturntype)
constant cancelCF
typelistreturntype