nfmodstd.lib
constant testPrime
typelist(intreturntype)
constant minpolyTask
typeint(polyreturntype)
constant PrimeTestTask
typelist(intreturntype)
constant factmodp
typeint(polyreturntype)
constant testfact
typeintreturntype
constant degtest
typeintvecreturntype
constant chinRm
typeint(list(list(list(listreturntype))))
constant chinrempoly
typelist(listreturntype)
constant check_leadmonom_and_size
typelistreturntype
constant LiftPolyCRT
typedefreturntype
constant final_Test_minpolyzero
typemodule(alias(stringreturntype))
constant final_Test
typedef(alias(stringreturntype))
constant PtestStd_minpolyzero
typeint(module(list(stringreturntype)))
constant PtestStd
typeint(def(list(stringreturntype)))
constant cleardenomIdeal
typedefreturntype
constant modStdparallelized
typelist(defreturntype)
constant nfmodStd
typelist(defreturntype)