sig
  type t
  val equal : Linear.AbelianGroup.t -> Linear.AbelianGroup.t -> bool
  val add :
    Linear.AbelianGroup.t -> Linear.AbelianGroup.t -> Linear.AbelianGroup.t
  val negate : Linear.AbelianGroup.t -> Linear.AbelianGroup.t
  val zero : Linear.AbelianGroup.t
end