brillnoether.lib
constant
RiemannRochBN
type
type
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
truncate1
type
type
int
→
(
ideal
→
returntype
)
constant
findRandomForm
type
type
int
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
chooseGenerators
type
type
int
→
(
ideal
→
returntype
)