sig
  type t = K.t array
  val length : t -> int
  val degree : t -> int
  val eq : t -> t -> bool
  val compact : t -> t
  val coeff : t -> int -> K.t
  val init : int -> (int -> K.t) -> t
  val add : t -> t -> t
  val zero : 'a array
  val cmul : K.t -> t -> t
  val neg : t -> t
  val sub : t -> t -> t
  val mul : t -> t -> t
  val one : K.t array
  val to_string : t -> string
  val monomial : K.t -> int -> K.t array
end