brillnoether.lib
constant RiemannRochBN
constant truncate1
constant findRandomForm
constant chooseGenerators