atkins.lib
constant
newTest
type
type
def
→
(
list
→
returntype
)
constant
bubblesort
type
type
list
→
returntype
constant
disc
type
type
int
→
(
bigint
→
returntype
)
constant
Cornacchia
type
type
bigint
→
(
bigint
→
returntype
)
constant
CornacchiaModified
type
type
bigint
→
(
bigint
→
returntype
)
constant
pFactor1
type
type
list
→
(
int
→
(
number
→
returntype
)
)
constant
maximum
type
type
list
→
returntype
constant
cmod
type
type
number
→
(
number
→
returntype
)
constant
sqr
type
type
int
→
(
number
→
returntype
)
constant
expo
type
type
int
→
(
number
→
returntype
)
constant
jOft
type
type
int
→
(
number
→
returntype
)
constant
round
type
type
number
→
returntype
constant
HilbertClassPoly
type
type
int
→
(
bigint
→
returntype
)
constant
rootsModp
type
type
poly
→
(
int
→
returntype
)
constant
wUnit
type
type
bigint
→
returntype
constant
Atkin
type
type
int
→
(
int
→
(
number
→
returntype
)
)