package osdp

  1. Overview
  2. Docs

Parameters

module SC : Scalar.S

Signature

module Coeff : sig ... end
type t
val of_list : (Monomial.t * Coeff.t) list -> t
val to_list : t -> (Monomial.t * Coeff.t) list
val zero : t
val one : t
val var : ?c:Coeff.t -> ?d:int -> int -> t
val const : Coeff.t -> t
val monomial : Monomial.t -> t
val mult_scalar : Coeff.t -> t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mult : t -> t -> t
val power : t -> int -> t
exception Dimension_error
val compose : t -> t list -> t
val derive : t -> int -> t
val eval : t -> Coeff.t list -> Coeff.t
val compare : t -> t -> int
val nb_vars : t -> int
val degree : t -> int
val degree_list : t -> int list
val is_homogeneous : t -> bool
val is_var : t -> (Coeff.t * int * int) option
val is_const : t -> Coeff.t option
val is_monomial : t -> Monomial.t option
val (??) : int -> t
val (!) : Coeff.t -> t
val (*.) : Coeff.t -> t -> t
val (~-) : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> Coeff.t -> t
val (/.) : Coeff.t -> Coeff.t -> t
val (**) : t -> int -> t
val pp : Format.formatter -> t -> unit
val pp_names : string list -> Format.formatter -> t -> unit
val merge : (Monomial.t -> Coeff.t option -> Coeff.t option -> Coeff.t option) -> t -> t -> t
val fold : (Monomial.t -> Coeff.t -> 'a -> 'a) -> t -> 'a -> 'a