package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Product of absolute values

type t = private {

}

include Colibri2_popop_lib.Popop_stdlib.Datatype with type t := t

include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType with type t := t

val equal : t -> t -> bool

val pp : t Colibri2_popop_lib.Pp.pp

val hash_fold_t : t Base.Hash.folder

module M : Colibri2_popop_lib.Map_intf.PMap with type key = t

module S : 
  Colibri2_popop_lib.Map_intf.Set
    with type 'a M.t = 'a M.t
     and type M.key = M.key

module H : Colibri2_popop_lib.Exthtbl.Hashtbl.S with type key = t

include Base.Hashtbl.Key.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

val sexp_of_t : t -> Sexplib0.Sexp.t

val hash : t -> int

val invariant : t -> bool

val cst : Colibri2_stdlib.Std.A.t -> t

val zero : t

val one : t

val monome : Colibri2_core.Node.t -> Colibri2_stdlib.Std.Q.t -> t

val is_one_node : t -> Colibri2_core.Node.t option

val is_zero : t -> bool

val remove : Colibri2_core.Node.t -> t -> t

type extract =

| One
(*
p = 1
*)
| Cst of Colibri2_stdlib.Std.A.t
(*
p = cst <> 1
*)
| Var of Colibri2_stdlib.Std.Q.t * Colibri2_core.Node.t * t
(*
p = x^q * p'
*)

val extract : t -> extract

type kind =

val classify : t -> kind

val power_cst : Colibri2_stdlib.Std.Q.t -> t -> t

val of_list : 
  Colibri2_stdlib.Std.A.t ->
  (Colibri2_core.Node.t * Colibri2_stdlib.Std.Q.t) list ->
  t

val mul : t -> t -> t

val div : t -> t -> t

val x_m_yc : t -> t -> Colibri2_stdlib.Std.Q.t -> t

val xc_m_yc : t -> Colibri2_stdlib.Std.Q.t -> t -> Colibri2_stdlib.Std.Q.t -> t

val subst : t -> Colibri2_core.Node.t -> t -> t * Colibri2_stdlib.Std.Q.t

val subst_node : 
  t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t ->
  t * Colibri2_stdlib.Std.Q.t

val fold : 
  ('a -> Colibri2_core.Node.t -> Colibri2_stdlib.Std.Q.t -> 'a) ->
  'a ->
  t ->
  'a

val iter : 
  (Colibri2_core.Node.t -> Colibri2_stdlib.Std.Q.t -> unit) ->
  t ->
  unit

val of_map : 
  Colibri2_stdlib.Std.A.t ->
  Colibri2_stdlib.Std.Q.t Colibri2_core.Node.M.t ->
  t

val common : t -> t -> t

Return the common part