Nsatz_plugin.Ideal
type metadata
=
{
name_var : string list;
}
module Monomial : sig ... end
module Make : functor (P : Polynom.S) -> sig ... end
exception
NotInIdeal
val lexico : bool Stdlib.ref