package lp

  1. Overview
  2. Docs

Module Lp.TermSource

Module for a term in the polynomial. Typically, users don't need to use this module directly. See higher-level module for polynomials (Poly) instead.

Sourcetype t =
  1. | Const of float
  2. | Linear of float * Var.t
  3. | Quad of float * Var.t * Var.t
Sourceval c : float -> t
Sourceval var : ?integer:bool -> ?lb:float -> ?ub:float -> string -> t
Sourceval of_var : Var.t -> t
Sourceval binary : string -> t
Sourceval range : ?integer:bool -> ?lb:float -> ?ub:float -> string -> int -> t array
Sourceval format_float : float -> string
Sourceval format_float_short : float -> string
Sourceval to_string : ?short:bool -> t -> string
Sourceval mul : t -> t -> t
Sourceval div : t -> t -> t
Sourceval zero : t
Sourceval one : t
Sourceval neg : t -> t
Sourceval sort : t -> t
Sourceval degree : t -> int
Sourceval near_zero : ?eps:float -> t -> bool
Sourceval common_var : t -> t -> bool
Sourceval collision : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval with_bound : string -> float -> float -> t -> t
Sourceval to_binary : string -> t -> t
Sourceval to_integer : string -> t -> t
Sourceval double_quad : t -> t
Sourceval half_quad : t -> t
OCaml

Innovation. Community. Security.