modwalk.lib
constant
modWalk
type
type
list
→
(
ideal
→
returntype
)
constant
modrWalk
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
modfWalk
type
type
list
→
(
ideal
→
returntype
)
constant
modfrWalk
type
type
list
→
(
int
→
(
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
TestSBstd
type
type
ideal
→
returntype
constant
TestSBred
type
type
ideal
→
returntype
constant
sPolynomial
type
type
poly
→
(
poly
→
returntype
)