Relation package for Fōrmulæ — the visual environment for computing, composing, and conversing with tree-structured expressions.
This repository contains the source code for the relation package. It is intended to the visualization of relation expressions.
Part of the formulae-org organization: the web application plus one repository per package.
▶ Showcase — worked examples of this package.
- Visualization of relational operators as
$a = b$ ,$a \ne b$ ,$a > b$ ,$a < b$ ,$a \leq b$ ,$a \geq b$ - Visualization of three-way comparison through the COMPARE TO expression
- Visualization and reduction of the maximum and minimum expressions, visualized as
$\max \{ ... \}$ and$\min\{ ... \}$ - Visualization and reduction of the membership, visualized as
$x \in \{ ... \}$ and$x \notin \{ ... \}$