sig
  type r
  val compare : Polynome.S.r -> Polynome.S.r -> int
  val term_embed : Term.t -> Polynome.S.r
  val mult : Polynome.S.r -> Polynome.S.r -> Polynome.S.r
  val print : Format.formatter -> Polynome.S.r -> unit
end