https://github.com/formulae-org/package-relation-js
Relation package for Fōrmulæ, in JavaScript
https://github.com/formulae-org/package-relation-js
comparison formulae javascript membership relation three-way-comparison
Last synced: 6 months ago
JSON representation
Relation package for Fōrmulæ, in JavaScript
- Host: GitHub
- URL: https://github.com/formulae-org/package-relation-js
- Owner: formulae-org
- License: agpl-3.0
- Created: 2023-04-11T05:14:54.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-01-02T04:17:27.000Z (9 months ago)
- Last Synced: 2025-01-02T05:22:01.219Z (9 months ago)
- Topics: comparison, formulae, javascript, membership, relation, three-way-comparison
- Language: JavaScript
- Homepage:
- Size: 28.3 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# package-relation-js
Complex arithmetic package for the [Fōrmulæ](https://formulae.org) 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](https://github.com/formulae-org) encompasses the source code for the rest of packages, as well as the [web application](https://github.com/formulae-org/formulae-js).
### Capabilities ###
* Visualization of [relational operators](https://en.wikipedia.org/wiki/Relational_operator) as $a = b$, $a \ne b$, $a > b$, $a < b$, $a \leq b$, $a \geq b$
* Visualization of [three-way comparison](https://en.wikipedia.org/wiki/Three-way_comparison) through the **COMPARE TO** expression
* Visualization and reduction of the [maximum and minimum](https://en.wikipedia.org/wiki/Maximum_and_minimum) expressions, visualized as $`\max \{ ... \}`$ and $`\min\{ ... \}`$
* Visualization and reduction of the [membership](https://en.wikipedia.org/wiki/Element_(mathematics)), visualized as $`x \in \{ ... \}`$ and $`x \notin \{ ... \}`$