FriCAS


FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing library
of more than 1,000 domains and categories.
FriCAS provides a strongly typed high-level programming language called SPAD and a similar interactive language
that uses type-inferencing for convenience. Aldor was intentionally developed being the
next generation compiler for Axiom and forks. FriCAS allows running Aldor programs. Both languages
share a similar syntax and a sophisticated type system.
FriCAS is comprehensively documented and available as source code and as a binary distribution for the most common
platforms. Compiling the sources requires besides other prerequisites a Common Lisp environment.
FriCAS runs on many POSIX platforms such as Linux, macOS, Unix,
BSD as well as under Cygwin and
Microsoft Windows.

History

FriCAS is a descendant of Axiom
which itself has its origin in Scratchpad, a project that started in 1965 by James Griesmer
at IBM laboratories.
For more details see Axiom/History.

Examples

FriCAS has a rather complete implementation of the
Risch–Bronstein–Trager algorithm.
Another useful feature is stream:

)set stream calculate 5
exp_series := series

Type: UnivariatePuiseuxSeries

So any coefficient may be retrieved, for instance :

coefficient

Type: Expression