nfmodstd.lib
constant
testPrime
type
type
list
→
(
int
→
returntype
)
constant
minpolyTask
type
type
int
→
(
poly
→
returntype
)
constant
PrimeTestTask
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
chinRm
type
type
int
→
(
list
→
(
list
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
chinrempoly
type
type
list
→
(
list
→
returntype
)
constant
check_leadmonom_and_size
type
type
list
→
returntype
constant
LiftPolyCRT
type
type
def
→
returntype
constant
final_Test_minpolyzero
type
type
module
→
(
alias
→
(
string
→
returntype
)
)
constant
final_Test
type
type
def
→
(
alias
→
(
string
→
returntype
)
)
constant
PtestStd_minpolyzero
type
type
int
→
(
module
→
(
list
→
(
string
→
returntype
)
)
)
constant
PtestStd
type
type
int
→
(
def
→
(
list
→
(
string
→
returntype
)
)
)
constant
cleardenomIdeal
type
type
def
→
returntype
constant
modStdparallelized
type
type
list
→
(
def
→
returntype
)
constant
nfmodStd
type
type
list
→
(
def
→
returntype
)