|Developer||Waldek Hebisch + independent group of people|
1.3.7 / 30 June 2021
|Implementation language||SPAD, Aldor, Boot, Common Lisp|
|License||Modified BSD License|
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 (optionally) allows running Aldor programs. Both languages share a similar syntax and a sophisticated (dependent) 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 (whereby many of the major implementations are supported and freely available as open source).
Another useful feature is stream:
)set stream calculate 5 exp_series := series(exp x, x=0)
So any coefficient may be retrieved, for instance :