Functor Ring.PolynomialRing

module PolynomialRing: 
functor (R : T) -> Polynomial(R)

type t = R.t array 

val length : t -> int

val degree : t -> int

val eq : t -> t -> bool

val compact : t -> t

val coeff : t -> int -> R.t

val init : int -> (int -> R.t) -> t

val add : t -> t -> t

val zero : 'a array

val cmul : R.t -> t -> t

val neg : t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val one : R.t array

val to_string : t -> string

val monomial : R.t -> int -> R.t array