constant testPrime
constant minpolyTask
constant PrimeTestTask_syz
constant factmodp
constant testfact
constant degtest
constant check_leadmonom_and_size
constant LiftPolyCRT_syz
constant final_Test_syz
constant final_test
constant pTest_syzmod
constant pTest_syz
constant cleardenomIdeal
constant modStdparallelized_syzSB
constant nfmodSyz