package lp

  1. Overview
  2. Docs

Module Lp.ObjSource

Sourcetype t =
  1. | Max of Poly.t
  2. | Min of Poly.t
Sourceval maximize : ?eps:float -> Poly.t -> t
Sourceval minimize : ?eps:float -> Poly.t -> t
Sourceval take_vars : t -> Var.t list
Sourceval to_poly : t -> Poly.t
Sourceval to_string : ?short:bool -> t -> string
Sourceval degree : t -> int