brillnoether.lib
constant
RiemannRochBN
constant
truncate1
constant
findRandomForm
constant
chooseGenerators