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