brillnoether.lib
constant RiemannRochBN
typeideal(ideal(idealreturntype))
constant truncate1
typeint(idealreturntype)
constant findRandomForm
typeint(ideal(idealreturntype))
constant chooseGenerators
typeint(idealreturntype)