Module `Poly_Class.Make_Ring`Source

Parameters

module K : Smol.Algebra.Ring_S

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 of_monomial : Smol.Monomial.Make(Literal.Class).t -> t

Sourceval singleton : Smol.Monomial.Make(Literal.Class).t -> K.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

Source

val 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

Source

val apply : 
  (module Smol.Algebra.Semiring_S with type t = 'a) ->
  (K.t -> 'a -> 'a) ->
  'a Map.Make(Literal.Class).t ->
  t ->
  'a p

Sourceval eval : K.t Map.Make(Literal.Class).t -> t -> t

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

Source

val merge : 
  (Smol.Monomial.Make(Literal.Class).t -> 'a option -> 'b option -> K.t) ->
  'a p ->
  'b p ->
  t

Sourceval mem : Smol.Monomial.Make(Literal.Class).t -> 'a p -> bool

Sourceval set_coef : Smol.Monomial.Make(Literal.Class).t -> K.t -> t -> t

Sourceval update : Smol.Monomial.Make(Literal.Class).t -> (K.t -> K.t) -> t -> t

Sourceval remove : Smol.Monomial.Make(Literal.Class).t -> 'a p -> 'a p

Source

val 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

Source

val fold : 
  (Smol.Monomial.Make(Literal.Class).t -> 'a -> 'b -> 'b) ->
  'a p ->
  'b ->
  'b

Source

val for_all : 
  (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) ->
  'a p ->
  bool

Source

val exists : 
  (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) ->
  'a p ->
  bool

Source

val filter : 
  (Smol.Monomial.Make(Literal.Class).t -> 'a -> bool) ->
  'a p ->
  'a p

Source

val 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 get_coef : Smol.Monomial.Make(Literal.Class).t -> t -> K.t

Sourceval to_seq : 'a p -> (Smol.Monomial.Make(Literal.Class).t * 'a) Seq.t

Sourceval add_seq : (Smol.Monomial.Make(Literal.Class).t * K.t) Seq.t -> t -> t

Sourceval of_seq : (Smol.Monomial.Make(Literal.Class).t * K.t) Seq.t -> t

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

package orgeat

Module Poly_Class.Make_RingSource

Parameters

Signature

Module `Poly_Class.Make_Ring`Source