package prbnmcn-basic-structures

  1. Overview
  2. Docs
package prbnmcn-basic-structures
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rational_valued.BoolSource

Sourcemodule R : sig ... end
Sourcetype t
Sourceval zero : t
Sourceval add : t -> t -> t
Sourceval neg : t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval pp : Format.formatter -> t -> unit
Sourceval hash : t -> int
Sourceval smul : R.t -> t -> t
Sourcemodule Basis : sig ... end
Sourcetype basis = Basis.t
Sourceval delta : basis -> t

"Dirac" delta

Sourceval eval : t -> basis -> R.t

Project the coefficient corresponding to a basis vector.

Sourceval bind : t -> (basis -> t) -> t

bind = canonical, "multilinear" extension

Sourceval of_list : (basis * R.t) list -> t

of_list [(x1,r1);...;(xn,rn)] is equivalent to add (smul r1 (delta x1)) (add (smul r2 (delta x2)) (add ... (smul rn (delta xn))))

Sourceval fold : (basis -> R.t -> 'a -> 'a) -> t -> 'a -> 'a

Fold over the elements of a vector. Order is not specified.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct