module Polynomial:
Polynomial ring over a ring.
| Parameters: |
|
typet =R.t array
A polynomial.
val length : t -> int
val degree : t -> intDegree of a polynomial.
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