mml

Class Int1

java.lang.Object

la.la.Value

la.la.Function

la.la.Function.Native

mml.UPModel

mml.Discretes

mml.Int1

All Implemented Interfaces:

java.lang.Comparable<Value>

public class Int1
extends Discretes

A simple model of positive integers, >0, where pr(n) = 1/(n(n+1)). Note that ∑_n>0 1/(n(n+1)) = ∑_n>0{1/n - 1/(n+1)} = 1 - 1/2 + 1/2 - 1/3 + 1/3 ... = 1. The (trivially) fully parameterised model is Int1.M.
Better models of integers, for most purposes, are MML.WallaceInt0, MML.logStar0, MML.Poisson0 and MML.Geometric0, but Int1 might be useful and does make a simple case study.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Int1.M A (trivially) fully parameterised model of integers >0 where pr(n) = 1/(n(n+1)).

Nested classes/interfaces inherited from class mml.Discretes

Discretes.Bounded, Discretes.Shifted, Discretes.Uniform

Nested classes/interfaces inherited from class mml.UPModel

UPModel.Est, UPModel.Transform

Nested classes/interfaces inherited from class la.la.Function.Native

Function.Native.WithInverse

Nested classes/interfaces inherited from class la.la.Function

Function.Cts2Cts, Function.Cts2Cts2Cts, Function.CtsD2CtsD, Function.HasInverse, Function.Native, Function.Native2, Function.Native3

Nested classes/interfaces inherited from class la.la.Value

Value.Atomic, Value.Bool, Value.Char, Value.Chars, Value.Cts, Value.Defer, Value.Discrete, Value.Enum, Value.Inc_Or, Value.Int, Value.Lambda, Value.List, Value.Maybe, Value.Option, Value.Real, Value.Scannable, Value.Structured, Value.Triv, Value.Tuple

Field Summary

Fields

Modifier and Type	Field and Description
Int1.M	Mdl "The" Int1.M.

Fields inherited from class mml.UPModel

dp

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, None, one, oneR, PI, PIby2, point01, point1, point5, point9, quarter, seven, six, ten, tenR, three, threeR, triv, ttrue, two, twoR, zero, zeroR

Constructor Summary

Constructors

Constructor and Description
Int1(Value dp) dp must be triv.

Method Summary

Modifier and Type	Method and Description
Int1.M	sp2Model(double msg1, double msg2, Value sp) Given two-part message lengths msg1 & msg2, and statistical parameter sp, return a fully parameterised M-Model.
Value	stats(boolean add, Value ss0, Value ss1) Combine sufficient statisticses 'ss0' and 'ss1' additively (add=true), or remove ss1 from ss0 (add=false).
Value	stats(Vector ds, int lo, int hi) Sufficient statistics 'ss' are the data-set itself.

Methods inherited from class mml.Discretes

apply, NandSum, NandSum, shifted, shifted

Methods inherited from class mml.UPModel

defnParams, estimator, main, stats, stats, toString, transform

Methods inherited from class la.la.Function

bOp, fromBop, fromUop, type, uOp

Methods inherited from class la.la.Value

AoM, bOp, compareTo, cons, cts, elt, errMsg, error, force, isTuple, just, n, nElts, nlAoM, pair, print, quad, real, RTE, triple, tuple, UOE, x

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

Mdl

public final Int1.M Mdl

"The" Int1.M.

Constructor Detail

Int1

public Int1(Value dp)

dp must be triv.

Method Detail

stats

public Value stats(Vector ds,
                   int lo,
                   int hi)

Sufficient statistics 'ss' are the data-set itself.

Specified by:

stats in class UPModel

stats

public Value stats(boolean add,
                   Value ss0,
                   Value ss1)

Description copied from class: UPModel

Combine sufficient statisticses 'ss0' and 'ss1' additively (add=true), or remove ss1 from ss0 (add=false). Also see stats(ds,lo,hi).

Specified by:

stats in class UPModel

sp2Model

public Int1.M sp2Model(double msg1,
                       double msg2,
                       Value sp)

Description copied from class: UPModel

Given two-part message lengths msg1 & msg2, and statistical parameter sp, return a fully parameterised M-Model. If 'this' UPModel produces a Model m, then sp2Model(m.msg1(), m.msg2(), m.statParams()) must be equivalent to m. Also see apply(sp).

Specified by:

sp2Model in class Discretes