package libabsolute

  1. Overview
  2. Docs
type t = cell list
and cell = coeff * var list
and var = id * exp
and id = string
and exp = int
and coeff = I.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 : (I.t * var list) list -> string
val of_int : int -> t
val of_float : float -> t
val of_rational : Mpqf.t -> t
val to_int : I.t -> int
val to_float : I.t -> float
val to_rational : I.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