To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val is_zero : t -> bool
val one : t
val of_literal : Literal.Variable.t -> t
val of_monomial : Smol.Monomial.Make(Literal.Variable).t -> t
val singleton : Smol.Monomial.Make(Literal.Variable).t -> K.t -> t
val get_support : t -> Literal.Variable.t list
val deg : Literal.Variable.t -> t -> int
val leading_coef : Literal.Variable.t -> t -> t * int
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.Variable).t ->
t ->
'b Smol__Polynomial.Make(Literal.Variable).p
val 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
val eval : K.t Map.Make(Literal.Variable).t -> t -> t
val substitution : t Map.Make(Literal.Variable).t -> t -> t
val deriv :
Literal.Variable.t ->
t ->
(int * K.t) Smol__Polynomial.Make(Literal.Variable).p
val to_string : t -> string
val mapi :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> K.t) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
t
val 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
val mem :
Smol.Monomial.Make(Literal.Variable).t ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
bool
val set_coef : Smol.Monomial.Make(Literal.Variable).t -> K.t -> t -> t
val update : Smol.Monomial.Make(Literal.Variable).t -> (K.t -> K.t) -> t -> t
val remove :
Smol.Monomial.Make(Literal.Variable).t ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
'a Smol__Polynomial.Make(Literal.Variable).p
val iter :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> unit) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
unit
val fold :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> 'b -> 'b) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
'b ->
'b
val for_all :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
bool
val exists :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
bool
val filter :
(Smol.Monomial.Make(Literal.Variable).t -> 'a -> bool) ->
'a Smol__Polynomial.Make(Literal.Variable).p ->
'a Smol__Polynomial.Make(Literal.Variable).p
val 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
val bindings :
'a Smol__Polynomial.Make(Literal.Variable).p ->
(Smol.Monomial.Make(Literal.Variable).t * 'a) list
val get_coef : Smol.Monomial.Make(Literal.Variable).t -> t -> K.t
val to_seq :
'a Smol__Polynomial.Make(Literal.Variable).p ->
(Smol.Monomial.Make(Literal.Variable).t * 'a) Seq.t
val add_seq : (Smol.Monomial.Make(Literal.Variable).t * K.t) Seq.t -> t -> t
val of_seq : (Smol.Monomial.Make(Literal.Variable).t * K.t) Seq.t -> t
val partial_gcd : Literal.Variable.t -> t -> t -> t
module Infix : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>