Module Polynom.Make

Parameters

module R : Ring.T

Signature

type t = cell list
and cell = coeff * var list
and var = id * exp
and id = string
and exp = int
and coeff = R.t
val is_monom_constant : cell -> bool
val is_monom : 'a list -> bool
val to_monom_opt : 'a list -> 'b option
val monom_to_constant : cell -> coeff
val monom_to_constant_opt : cell -> coeff option
val to_constant_opt : t -> coeff option
val is_linear : t -> bool
val clean : t -> t
val print_varlist : Stdlib.Format.formatter -> (string * int) list -> unit
val print_cell : Stdlib.Format.formatter -> cell -> unit
val print : Stdlib.Format.formatter -> t -> unit
val to_string : (R.t * var list) list -> string
val of_int : int -> t
val of_float : float -> t
val of_rational : Mpqf.t -> t
val to_int : R.t -> int
val to_float : R.t -> float
val to_rational : R.t -> Mpqf.t
val monomzero : cell
val zero : t
val one : t
val of_var : id -> t
val of_constant : coeff -> t
val add_cell : t -> cell -> t
val add : t -> t -> t
val mul_cell_cell : cell -> cell -> cell
val mul_ex_cell : t -> cell -> t
val mul : t -> t -> t
val neg : t -> t
val sub : t -> t -> t
val div : t -> coeff -> t
val pow : t -> int -> t