package lp

You can search for identifiers within the package.

in-package search v0.2.0

lp
- Lp
  - Cnstr
  - Objective
  - Poly
  - Problem
    
    Pclass
    
    Vars
  - Term
  - Var

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

type t =

| Const of float
| Linear of float * Var.t
| Quad of float * Var.t * Var.t

val c : float -> t

val var : ?integer:bool -> ?lb:float -> ?ub:float -> string -> t

val of_var : Var.t -> t

val binary : string -> t

val range : ?integer:bool -> ?lb:float -> ?ub:float -> string -> int -> t array

val format_float : float -> string

val format_float_short : float -> string

val to_string : ?short:bool -> t -> string

val mul : t -> t -> t

val div : t -> t -> t

val zero : t

val one : t

val neg : t -> t

val sort : t -> t

val degree : t -> int

val near_zero : ?eps:float -> t -> bool

val common_var : t -> t -> bool

val collision : t -> t -> bool

val compare : t -> t -> int

val with_bound : string -> float -> float -> t -> t

val to_binary : string -> t -> t

val to_integer : string -> t -> t

val double_quad : t -> t

val half_quad : t -> t