nfmodsyz.lib
constant testPrime
typelist(intreturntype)
constant minpolyTask
typeint(polyreturntype)
constant PrimeTestTask_syz
typelist(intreturntype)
constant factmodp
typeint(polyreturntype)
constant testfact
typeintreturntype
constant degtest
typeintvecreturntype
constant check_leadmonom_and_size
typelistreturntype
constant LiftPolyCRT_syz
typedefreturntype
constant final_Test_syz
typedef(alias(stringreturntype))
constant final_test
typedef(alias(stringreturntype))
constant pTest_syzmod
typeint(def(list(stringreturntype)))
constant pTest_syz
typeint(def(list(stringreturntype)))
constant cleardenomIdeal
typedefreturntype
constant modStdparallelized_syzSB
typelist(modulereturntype)
constant nfmodSyz
typedefreturntype