Homepage: https://bitbucket.org/pdo/axiom-environment
Author: Paul Onions
Updated:
An environment for using Axiom/OpenAxiom/FriCAS
--------------------------------------------------------------------
IMPORTANT: This package is DEPRECATED and no further development
will take place. It has been replaced by the ``frimacs'' package
(http://github.com/pdo/frimacs). To switch, first uninstall the
axiom-environment, company-axiom and ob-axiom packages, then
install frimacs and (optionally) ob-fricas. These packages are
available in the MELPA package collection.
--------------------------------------------------------------------
The `axiom-environment' package is intended to make it easier to
work with, and understand, the Axiom, OpenAxiom and FriCAS computer
algebra systems. It implements four different major modes for the
Emacs text editor:
1. axiom-process-mode: for interaction with a running Axiom
process.
2. axiom-help-mode: for displaying help information about the
Axiom system.
3. axiom-input-mode: for editing a .input (Axiom script) file.
4. axiom-spad-mode: for editing Axiom library code written in the
SPAD language.
The main features of these modes (so far) are syntax highlighting
to display package, domain & category names (and their
abbreviations) in distinct colours, and to give quick access to
popup buffers displaying summary information about these types and
their operations. The syntax highlighting feature allows to see
at a glance which aspect of the type system we are concerned with
(domains or categories), and the popup buffer feature allows to
examine (and re-examine) these types without interrupting the
workflow (i.e. interaction in the Axiom REPL).
Once the package is installed, files ending in .input, and .spad
are put into the appropriate mode, and there is an "M-x run-axiom"
command available to start an interactive Axiom/OpenAxiom/FriCAS
session. Look into the Axiom menu that appears in these buffers to
discover further capabilities of the system.
There are also related packages available: `ob-axiom' and
`company-axiom', providing backends for `org-babel' and
`company-mode', respectively.