package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Polynome

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 zero : t

val is_zero : t -> bool

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

val is_cst : t -> Colibri2_stdlib.Std.A.t option

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

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

type extract =

val extract : t -> extract

type kind =

val classify : t -> kind

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

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

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

val add : t -> t -> t

val sub : t -> t -> t

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

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

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

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

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

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

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

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

type 'a tree =

val get_tree : t -> Colibri2_stdlib.Std.A.t tree * Colibri2_stdlib.Std.A.t

val normalize : t -> t

divide by the pgcd

val print_poly : Colibri2_stdlib.Std.A.t Colibri2_core.Node.M.t Fmt.t