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 \{ ... \}$