Arrows is a very general, extensible and mathematically rigorous environment where one can construct mathematical objects (such as groups, rings, modules, etc) and operate with them, their morphisms and their elements.
For an introduction to the system see Arrows: a Computer Algebra System in Smalltalk, published in November 2022 in FAST Workshop on Smalltalk Related Technologies.
The system is based on Smalltalk-80, specifically Cuis Smalltalk. It is multiplatform and runs with the OpenSmalltalk virtual machine.
As many systems based on Smalltalk, it comes complete with an environment for interactive programming, blurring the distinction between user and programmer. It contains a complete development environment that allows you to browse classes, inspect objects, debug, and change anything 'live' while it is running.
The notation is intended to be as close as possible to standard mathematical notation, yet adhering completly to Smalltalk syntax. For this we use unicode in Smalltalk code. Special characters can be input by typing backslash followed by the character name, similar to LaTeX. For example, ℤ can be input as \Z, α as \alpha and ⊗ as \otimes.
You need to setup Cuis Smalltalk first. Once you have Cuis running in your system you can install the Arrows packages in a new Cuis image. Currently it only supports 64-bit processors, so you will need to download the 64-bit virtual machine to run it.
If you use Arrows in a non-trivial part of your research please consider citing it as follows:
@manual{Arrows,
key = "Arrows",
author = "Luciano Notarfrancesco",
organization = "The Arrows~Team",
title = "{The Arrows Computer Algebra System}",
year = 2023,
url = "\url{https://github.com/len/arrows}",
}