modstd.lib
constant
modStd
type
type
list
→
(
ideal
→
returntype
)
constant
groebner_norm
type
type
ideal
→
returntype
constant
primeTest_std
type
type
alias
→
(
int
→
returntype
)
constant
deleteUnluckyPrimes_std
type
type
alias
→
returntype
constant
pTest_std
type
type
int
→
(
alias
→
(
alias
→
(
string
→
returntype
)
)
)
constant
finalTest_std
type
type
ideal
→
(
alias
→
(
string
→
returntype
)
)
constant
reduce_parallel
type
type
def
→
(
def
→
returntype
)
constant
reduce_task
type
type
intvec
→
returntype
constant
mod_init
type
type
returntype
constant
redFork
type
type
int
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
isIncluded
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
deleteUnluckyPrimes
type
type
list
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
constant
primeTest
type
type
bigint
→
(
def
→
returntype
)
constant
primeList
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)