package orgeat

  1. Overview
  2. Docs
package orgeat
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Boltzmann.PSource

Sourcetype t
Sourceval zero : 'a Smol__Polynomial.Make(Literal.Variable).p
Sourceval is_zero : t -> bool
Sourceval one : t
Sourceval of_scalar : K.t -> t
Sourceval to_scalar : t -> K.t
Sourceval to_scalar_opt : t -> K.t option
Sourceval of_literal : Literal.Variable.t -> t
Sourceval flatten : t Smol__Polynomial.Make(Literal.Variable).p -> t
Sourceval get_support : t -> Literal.Variable.t list
Sourceval equal : t -> t -> bool
Sourceval deg : Literal.Variable.t -> t -> int
Sourceval add : t -> t -> t
Sourceval mul_scalar : K.t -> t -> t
Sourceval mul : t -> t -> t
Sourceval leading_coef : Literal.Variable.t -> t -> t * int
Sourceval apply_raw : (module Smol.Algebra.Mul_Monoid_S with type t = 'a) -> (module Smol.Algebra.Semiring_S with type t = 'b) -> (K.t -> 'a -> 'b) -> 'a Map.Make(Literal.Variable).t -> t -> 'b Smol__Polynomial.Make(Literal.Variable).p
Sourceval apply : (module Smol.Algebra.Semiring_S with type t = 'a) -> (K.t -> 'a -> 'a) -> 'a Map.Make(Literal.Variable).t -> t -> 'a Smol__Polynomial.Make(Literal.Variable).p
Sourceval substitution : t Map.Make(Literal.Variable).t -> t -> t
Sourceval apply_at_0 : t -> K.t
Sourceval deriv : Literal.Variable.t -> t -> (int * K.t) Smol__Polynomial.Make(Literal.Variable).p
Sourceval to_string : t -> string
Sourceval map : ('a -> K.t) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> t
Sourceval mapi : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> K.t) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> t
Sourceval merge : (Smol.Monomial.Make(Literal.Variable).t -> 'a option -> 'b option -> K.t) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'b Smol__Polynomial.Make(Literal.Variable).p -> t
Sourceval mem : Smol.Monomial.Make(Literal.Variable).t -> 'a Smol__Polynomial.Make(Literal.Variable).p -> bool
Sourceval remove : Smol.Monomial.Make(Literal.Variable).t -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'a Smol__Polynomial.Make(Literal.Variable).p
Sourceval union : (Smol.Monomial.Make(Literal.Variable).t -> K.t -> K.t -> K.t) -> t -> t -> t
Sourceval compare : ('a -> 'a -> int) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'a Smol__Polynomial.Make(Literal.Variable).p -> int
Sourceval iter : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> unit) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> unit
Sourceval fold : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> 'b -> 'b) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'b -> 'b
Sourceval for_all : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> bool
Sourceval exists : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> bool
Sourceval filter : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'a Smol__Polynomial.Make(Literal.Variable).p
Sourceval partition : (Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) -> 'a Smol__Polynomial.Make(Literal.Variable).p -> 'a Smol__Polynomial.Make(Literal.Variable).p * 'a Smol__Polynomial.Make(Literal.Variable).p
Sourceval cardinal : 'a Smol__Polynomial.Make(Literal.Variable).p -> int
Sourceval bindings : 'a Smol__Polynomial.Make(Literal.Variable).p -> (Smol.Monomial.Make(Literal.Variable).t * 'a) list
Sourceval to_seq : 'a Smol__Polynomial.Make(Literal.Variable).p -> (Smol.Monomial.Make(Literal.Variable).t * 'a) Seq.t
Sourceval neg : t -> t
Sourceval sub : t -> t -> t
Sourceval partial_div_euclid : Literal.Variable.t -> t -> t -> t * t * t * int
Sourceval partial_gcd : Literal.Variable.t -> t -> t -> t
Sourcemodule Infix : sig ... end
Sourceval mul_int : int -> K.t Smol__Polynomial.Make(Literal.Variable).p -> t