package lp

  1. Overview
  2. Docs

Module Lp.ObjSource

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