(* $Id: polynomials.mli,v 1.6 2008/01/21 00:59:58 averell Exp $ *)
(**
  The ring of polynomials over a ring or a field.
  
  @author Florent Hivert
*)


module PolyOnField (R : Signatures.RING) :
  (Signatures.POLY with type coeffRing = R.t)