finite_set

<p>A finite set. It also satisfies the concept of a support.</p>

Provides an algebra over probability distributions enabling
composition, sampling, and automatic simplification to closed forms.
Supports normal, exponential, multivariate normal, and empirical
distributions with operations like addition and subtraction that
automatically simplify when mathematical identities apply (e.g., the
sum of independent normal distributions is normal). Uses S3 classes for
distributions and R6 for support objects.

Alexander Towell

algebraic.dist

Algebra over Probability Distributions

finite_set function

<p><div class="r6-fields"></div></p><dl>
<dt><code>values</code></dt>
<dd><p>A vector of values.</p></dd><p></p><p>
</p></dl><p></p>

Public fields


<div class="section" id="public-methods">
<h3>Public methods</h3><p></p><p><ul>
<li><p><a href="/link/finite_set%24new()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$new()"><code>finite_set$new()</code></a></p></li>
<li><p><a href="/link/finite_set%24has()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$has()"><code>finite_set$has()</code></a></p></li>
<li><p><a href="/link/finite_set%24infimum()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$infimum()"><code>finite_set$infimum()</code></a></p></li>
<li><p><a href="/link/finite_set%24supremum()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$supremum()"><code>finite_set$supremum()</code></a></p></li>
<li><p><a href="/link/finite_set%24dim()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$dim()"><code>finite_set$dim()</code></a></p></li>
<li><p><a href="/link/finite_set%24clone()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::finite_set$clone()"><code>finite_set$clone()</code></a></p></li>
</ul></p><p></p></div><p><hr>
<a id="method-finite_set-new"></a></p><div class="section" id="method-new-">
<h3>Method <code>new()</code></h3>
<p>Initialize a finite set.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$new(values)</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="arguments">
<h4>Arguments</h4>
<p><div class="arguments"></div></p><dl>
<dt><code>values</code></dt>
<dd><p>A vector of values.</p></dd></dl></div></p><p>
</p><p></p>
<p></p><p></p><p><hr>
<a id="method-finite_set-has"></a></p><div class="section" id="method-has-">
<h3>Method <code>has()</code></h3>
<p>Determine if a value is contained in the finite set.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$has(x)</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="arguments">
<h4>Arguments</h4>
<p><div class="arguments"></div></p><dl>
<dt><code>x</code></dt>
<dd><p>A vector of values.</p></dd></dl></div></p><p>
</p><p></p>
<p></p><p></p><p><hr>
<a id="method-finite_set-infimum"></a></p><div class="section" id="method-infimum-">
<h3>Method <code>infimum()</code></h3>
<p>Get the infimum of the finite set.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$infimum()</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="returns">
<h4>Returns</h4>
<p>A numeric vector of infimums.</p>
</div></p><p></p><p><hr>
<a id="method-finite_set-supremum"></a></p><div class="section" id="method-supremum-">
<h3>Method <code>supremum()</code></h3>
<p>Get the supremum of the finite set.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$supremum()</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="returns">
<h4>Returns</h4>
<p>A numeric vector of supremums.</p>
</div></p><p></p><p><hr>
<a id="method-finite_set-dim"></a></p><div class="section" id="method-dim-">
<h3>Method <code><a href="/link/dim()?package=algebraic.dist&version=0.1.0" data-mini-rdoc="algebraic.dist::dim()">dim()</a></code></h3>
<p>Get the dimension of the finite set.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$dim()</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="returns">
<h4>Returns</h4>
<p>The dimension of the finite set.</p>
</div></p><p></p><p><hr>
<a id="method-finite_set-clone"></a></p><div class="section" id="method-clone-">
<h3>Method <code>clone()</code></h3>
<p>The objects of this class are cloneable with this method.</p><div class="section" id="usage">
<h4>Usage</h4>
<p><div class="r"></div></p><pre><code>finite_set$clone(deep = FALSE)</code></pre><p></p></div><p></p>
</div><p></p><p><div class="section" id="arguments">
<h4>Arguments</h4>
<p><div class="arguments"></div></p><dl>
<dt><code>deep</code></dt>
<dd><p>Whether to make a deep clone.</p></dd></dl></div></p><p>
</p><p></p>
<p></p><p>
</p>

Methods

Finite set — finite_set

<p><div class="r6-fields"></p><dl>
<dt><code>values</code></dt>
<dd><p>A vector of values.</p></dd>


</dl><p></div></p>


<div class='section' id='public-methods'>
<h3>Public methods</h3>

<ul>
<li><p><a href='#method-finite_set-new'><code>finite_set$new()</code></a></p></li>
<li><p><a href='#method-finite_set-has'><code>finite_set$has()</code></a></p></li>
<li><p><a href='#method-finite_set-infimum'><code>finite_set$infimum()</code></a></p></li>
<li><p><a href='#method-finite_set-supremum'><code>finite_set$supremum()</code></a></p></li>
<li><p><a href='#method-finite_set-dim'><code>finite_set$dim()</code></a></p></li>
<li><p><a href='#method-finite_set-clone'><code>finite_set$clone()</code></a></p></li>
</ul>

</div><p><hr>
<a id="method-finite_set-new"></a></p><div class='section' id='method-new-'>
<h3>Method <code>new()</code></h3>
<p>Initialize a finite set.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$new(values)</code></pre><p></div></p>
</div>

<div class='section' id='arguments'>
<h4>Arguments</h4>
<p><div class="arguments"></p><dl>
<dt><code>values</code></dt>
<dd><p>A vector of values.</p></dd>


</dl><p></div></p>
</div>

</div><p><hr>
<a id="method-finite_set-has"></a></p><div class='section' id='method-has-'>
<h3>Method <code>has()</code></h3>
<p>Determine if a value is contained in the finite set.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$has(x)</code></pre><p></div></p>
</div>

<div class='section' id='arguments'>
<h4>Arguments</h4>
<p><div class="arguments"></p><dl>
<dt><code>x</code></dt>
<dd><p>A vector of values.</p></dd>


</dl><p></div></p>
</div>

</div><p><hr>
<a id="method-finite_set-infimum"></a></p><div class='section' id='method-infimum-'>
<h3>Method <code>infimum()</code></h3>
<p>Get the infimum of the finite set.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$infimum()</code></pre><p></div></p>
</div>

<div class='section' id='returns'>
<h4>Returns</h4>
<p>A numeric vector of infimums.</p>
</div>

</div><p><hr>
<a id="method-finite_set-supremum"></a></p><div class='section' id='method-supremum-'>
<h3>Method <code>supremum()</code></h3>
<p>Get the supremum of the finite set.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$supremum()</code></pre><p></div></p>
</div>

<div class='section' id='returns'>
<h4>Returns</h4>
<p>A numeric vector of supremums.</p>
</div>

</div><p><hr>
<a id="method-finite_set-dim"></a></p><div class='section' id='method-dim-'>
<h3>Method <code><a href='https://rdrr.io/r/base/dim.html'>dim()</a></code></h3>
<p>Get the dimension of the finite set.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$dim()</code></pre><p></div></p>
</div>

<div class='section' id='returns'>
<h4>Returns</h4>
<p>The dimension of the finite set.</p>
</div>

</div><p><hr>
<a id="method-finite_set-clone"></a></p><div class='section' id='method-clone-'>
<h3>Method <code>clone()</code></h3>
<p>The objects of this class are cloneable with this method.</p><div class='section' id='usage'>
<h4>Usage</h4>
<p><div class="r"></p><pre><code>finite_set$clone(deep = FALSE)</code></pre><p></div></p>
</div>

<div class='section' id='arguments'>
<h4>Arguments</h4>
<p><div class="arguments"></p><dl>
<dt><code>deep</code></dt>
<dd><p>Whether to make a deep clone.</p></dd>


</dl><p></div></p>
</div>

</div>


finite_set: Finite set

Description

Arguments

Public fields

Methods

Public methods

Method `new()`

Usage

Arguments

Method `has()`

Usage

Arguments

Method `infimum()`

Usage

Returns

Method `supremum()`

Usage

Returns

Method `dim()`

Usage

Returns

Method `clone()`

Usage

Arguments

Description

Arguments

Public fields

Methods

Public methods

Method new()

Usage

Arguments

Method has()

Usage

Arguments

Method infimum()

Usage

Returns

Method supremum()

Usage

Returns

Method dim()

Usage

Returns

Method clone()

Usage

Arguments

Method `new()`

Method `has()`

Method `infimum()`

Method `supremum()`

Method `dim()`

Method `clone()`