ellipticcovers.lib
constant
mod_init
type
type
returntype
constant
catNet
type
type
Net
→
(
Net
→
returntype
)
constant
netList
type
type
list
→
returntype
constant
printNet
type
type
Net
→
returntype
constant
net
type
type
def
→
returntype
constant
printGraph
type
type
graph
→
returntype
constant
makeGraph
type
type
list
→
(
list
→
returntype
)
constant
propagator
type
type
def
→
(
def
→
returntype
)
constant
computeConstant
type
type
number
→
(
number
→
returntype
)
constant
evaluateIntegral
type
type
list
→
(
number
→
returntype
)
constant
permute
type
type
list
→
returntype
constant
partitions
type
type
int
→
(
int
→
returntype
)
constant
gromovWitten
type
type
list
→
(
def
→
returntype
)
constant
computeGromovWitten
type
type
list
→
(
int
→
(
int
→
(
int
→
(
graph
→
returntype
)
)
)
)
constant
lsum
type
type
list
→
returntype
constant
generatingFunction
type
type
int
→
(
graph
→
returntype
)