Set theory 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 set package. It is intended to the visualization and edition of set theory expressions.
The GitHub organization formulae-org encompasses the source code for the rest of packages, as well as the web application.
-
Visualization of set expressions:
- Standard number sets: Naturals (ℕ), Integers (ℤ), Rationals (ℚ), Reals (ℝ), Complex (ℂ), Primes (ℙ), Quaternions (ℍ)
- Empty set (∅)
- Explicit sets, shown as
$\{ a, b, ..., n \}$ -
Set union, shown as
$A \cup B$ -
Set intersection, shown as
$A \cap B$ -
Set difference, shown as
$A \setminus B$ -
Symmetric difference, shown as
$A \triangle B$ -
Set complement, shown as
$A^c$ -
Set-builder notation, shown as
${ x \mid P(x) }$
-
Edition
- Manual creation of all set expressions via the Set menu
- Manual creation of standard number sets via the Set > Number sets submenu