package orgeat

  1. Overview
  2. Docs

Module Poly_Class.Make_RingSource

Parameters

Signature

Sourcetype t = K.t p
Sourceval zero : 'a 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.Class.t -> t
Sourceval flatten : t p -> t
Sourceval get_support : t -> Literal.Class.t list
Sourceval equal : t -> t -> bool
Sourceval deg : Literal.Class.t -> t -> int
Sourceval add : t -> t -> t
Sourceval mul_scalar : K.t -> t -> t
Sourceval mul : t -> t -> t
Sourceval leading_coef : Literal.Class.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.Class).t -> t -> 'b p
Sourceval apply : (module Smol.Algebra.Semiring_S with type t = 'a) -> (K.t -> 'a -> 'a) -> 'a Map.Make(Literal.Class).t -> t -> 'a p
Sourceval substitution : t Map.Make(Literal.Class).t -> t -> t
Sourceval apply_at_0 : t -> K.t
Sourceval deriv : Literal.Class.t -> t -> (int * K.t) p
Sourceval to_string : t -> string
Sourceval map : ('a -> K.t) -> 'a p -> t
Sourceval mapi : (Smol.Monomial.Make(Literal.Class).t -> 'a -> K.t) -> 'a p -> t
Sourceval merge : (Smol.Monomial.Make(Literal.Class).t -> 'a option -> 'b option -> K.t) -> 'a p -> 'b p -> t
Sourceval union : (Smol.Monomial.Make(Literal.Class).t -> K.t -> K.t -> K.t) -> t -> t -> t
Sourceval compare : ('a -> 'a -> int) -> 'a p -> 'a p -> int
Sourceval iter : (Smol.Monomial.Make(Literal.Class).t -> 'a -> unit) -> 'a p -> unit
Sourceval fold : (Smol.Monomial.Make(Literal.Class).t -> 'a -> 'b -> 'b) -> 'a p -> 'b -> 'b
Sourceval for_all : (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) -> 'a p -> bool
Sourceval exists : (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) -> 'a p -> bool
Sourceval filter : (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) -> 'a p -> 'a p
Sourceval partition : (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) -> 'a p -> 'a p * 'a p
Sourceval cardinal : 'a p -> int
Sourceval bindings : 'a p -> (Smol.Monomial.Make(Literal.Class).t * 'a) list
Sourceval neg : t -> t
Sourceval sub : t -> t -> t
Sourceval partial_div_euclid : Literal.Class.t -> t -> t -> t * t * t * int
Sourceval partial_gcd : Literal.Class.t -> t -> t -> t
Sourcemodule Infix : sig ... end