package prbnmcn-stats

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Finitely supported distributions.
1. Generic constructors.
2. Functions specific to the underlying field.

prbnmcn-stats
- Stats
  - Binning
  - Combi
  - Emp
    
    Empirical_statistics
    
    Float
    
    Rational
  - Fin
    
    Float
    
    Dist
    
    Rational
    
    Dist
  - Finbij
    
    Make
    
    Elt
    
    S
  - Gen
    
    Infix
    
    Rational
  - Graph
    
    Dist
    
    Graph_statistics
    
    Table
    
    Undirected_edge
    
    Vertex_bij
    
    Make
    
    Graph
    
    V
    
    Table
    
    Undirected_edge
    
    Vertex_bij
  - Log_space
  - Mh
    
    MH_parameters
    
    Make
    
    X
    
    Make_core_sampling_loop
    
    X
  - Pdfs
  - Stats_intf
    
    Fin_dist
    
    Fin_fun
    
    V
    
    Basis
    
    R
    
    Fin_kernel
    
    V
    
    Basis
    
    R
    
    Gen
    
    Infix
    
    Rational
    
    Graph
    
    V
    
    Sampling_monad
    
    Infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

Finite measures implemented as finitely supported functions.

Finitely supported distributions.

Generic constructors.

val measure : 
  (module Basic_structures.Basic_intf.Reals with type t = 'r) ->
  (module Basic_structures.Basic_intf.Free_module_std
    with type Basis.t = 't
     and type R.t = 'r) ->
  ('t * 'r) list ->
  ('t, 'r) Stats_intf.fin_mes

measure reals vecs data returns the finite measure associated to data. data is a list of weighted elements, with weights admitting the structure specifiedby reals. An implementation of free modules over reals must provided as vecs.

raises Invalid_argument
if a weight is negative.

val probability : 
  (module Basic_structures.Basic_intf.Reals with type t = 'r) ->
  (module Basic_structures.Basic_intf.Free_module_std
    with type Basis.t = 't
     and type R.t = 'r) ->
  ('t * 'r) list ->
  ('t, 'r) Stats_intf.fin_prb

probability reals vecs data packs data as a fin_prb.

raises Invalid_argument
if the sum of the weights is not equal to one or if a weight is negative.

val as_measure : ('a, 'b) Stats_intf.fin_prb -> ('a, 'b) Stats_intf.fin_mes

Forgetful map from the type of finite probabilities to the type of measures.

Functions specific to the underlying field.

module Float : sig ... end

float-valued finitely supported distributions.

module Rational : sig ... end

Q-valued finitely supported distributions.