Complex arithmetic package for the Fōrmulæ programming language.
Fōrmulæ is also a software framework for visualization, edition and manipulation of complex expressions, from many fields. The code for an specific field —i.e. arithmetics— is encapsulated in a single unit called a Fōrmulæ package.
This repository contains the source code for the relation arithmetic package. It is intended to the visualization of relation expressions.
The GitHub organization formulae-org encompasses the source code for the rest of packages, as well as the web application.
- 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 \{ ... \}$