package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 -> 'a 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 : Format.formatter -> (string * int) list -> unit

val print_cell : Format.formatter -> cell -> unit

val print : 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