nfmodsyz.lib
constant
testPrime
type
type
list
→
(
int
→
returntype
)
constant
minpolyTask
type
type
int
→
(
poly
→
returntype
)
constant
PrimeTestTask_syz
type
type
list
→
(
int
→
returntype
)
constant
factmodp
type
type
int
→
(
poly
→
returntype
)
constant
testfact
type
type
int
→
returntype
constant
degtest
type
type
intvec
→
returntype
constant
check_leadmonom_and_size
type
type
list
→
returntype
constant
LiftPolyCRT_syz
type
type
def
→
returntype
constant
final_Test_syz
type
type
def
→
(
alias
→
(
string
→
returntype
)
)
constant
final_test
type
type
def
→
(
alias
→
(
string
→
returntype
)
)
constant
pTest_syzmod
type
type
int
→
(
def
→
(
list
→
(
string
→
returntype
)
)
)
constant
pTest_syz
type
type
int
→
(
def
→
(
list
→
(
string
→
returntype
)
)
)
constant
cleardenomIdeal
type
type
def
→
returntype
constant
modStdparallelized_syzSB
type
type
list
→
(
module
→
returntype
)
constant
nfmodSyz
type
type
def
→
returntype