modstd.lib
constant modStd
typelist(idealreturntype)
constant groebner_norm
typeidealreturntype
constant primeTest_std
typealias(intreturntype)
constant deleteUnluckyPrimes_std
typealiasreturntype
constant pTest_std
typeint(alias(alias(stringreturntype)))
constant finalTest_std
typeideal(alias(stringreturntype))
constant reduce_parallel
typedef(defreturntype)
constant reduce_task
typeintvecreturntype
constant mod_init
typereturntype
constant redFork
typeint(ideal(idealreturntype))
constant isIncluded
typelist(ideal(idealreturntype))
constant deleteUnluckyPrimes
typelist(int(list(listreturntype)))
constant primeTest
typebigint(defreturntype)
constant primeList
typelist(int(idealreturntype))