New Histogram and Algebra Rel Libraries

We are pleased to announce the addition of two new Rel Libraries: the Histogram and Algebra Libraries.
The Histogram Library (opens in a new tab) contains definitions of relations for creating histograms in Rel. Our Data Vizualiation (opens in a new tab) guide provides more information on how to create graphical representations of Rel, including histograms (opens in a new tab).
The Algebra Library (opens in a new tab) contains a collection of algebraic operations for data modeling. Examples include symmetric and antisymmetric operations.
For instance:
symmetric(D, ∼)
A binary relation is symmetric if for all a
and b
in D
, whenever a ∼ b
is true, then b ∼ a
is also true.
antisymmetric(D, ∼)
A binary relation is antisymmetric if for all a
and b
in D
, whenever a ∼ b
and b ∼ a
are true, then b = a
.
Explore our full collection of Rel Libraries here (opens in a new tab).