The capabilities of FriCAS cover areas such as
linear, polynomial and differential system solving
integration (most complete implementation of the Risch algorithm)
vector, matrix, and tensor calculus, eigenvalus, eigenvectors,
symbolic expression manipulation,
arithmetic with Taylor, Laurent, and Puiseux series,
combinatorics, symmetric polynomials, special functions, number theory,
arbitrary precision numerical computations,
continued fractions, partial fraction decomposition,
integer factorization, polynomial factorization,
polynomial ideals, Gröbner bases, Gröbner factorization, triangular sets, regular chains,
guessing of formulas for sequences,
computation with cardinal numbers.
A distinguished feature of FriCAS is its type system. It allows to create and compute with domains such as matrices of polynomials over finite fields or polynomials having square matrices with rational entries as their coefficient ring.
FriCAS provides structures such as
complex numbers, quaternions, octonions,
groups, rings, fields, algebraic extension rings,
modules, (graded) algebras, finite fields,
non-commutative and non-associative algebras,
Clifford algebras, exterior algebras,
In a FriCAS session the type system is somewhat relaxed. Although underneath everything is computed with a specific type, the interpreter tries to figure out in many cases what the best way is to convert the user input into an appropriate type. Should the interpreter fail to guess correctly, users can always specify the types that they want.