It is a computer algebra system, in which items being computed can be integers (of arbitrary size), rational numbers, real numbers, complex numbers, modular numbers, finite field elements, multivariable polynomials, rational functions, or polynomials modulo other polynomials.
The main areas of application are multivariate rational function arithmetic and matrix algebra over rings of multivariate polynomials or rational functions.
Fermat does not do simplification of transcendental functions or symbolic integration.
A session with Fermat usually starts by choosing rational or modular "mode" to establish the ground field (or ground ring)
On top of this may be attached any number of symbolic variables
can be chosen to mod out with, creating the quotient ring
Finally, it is possible to allow Laurent polynomials, those with negative as well as positive exponents.
The polynomial gcd procedures, which call each other in a highly recursive manner, are about 7000 lines of code.
Fermat has extensive built-in primitives for array and matrix manipulations, such as submatrix, sparse matrix, determinant, normalize, column reduce, row echelon, Smith normal form, and matrix inverse.
It is consistently faster than some well known computer algebra systems, especially in multivariate polynomial gcd.
The basic data item in Fermat is a multivariate rational function or quolynomial.
The numerator and denominator are polynomials with no common factor.
Polynomials are implemented recursively as general linked lists, unlike some systems that implement polynomials as lists of monomials.
To implement (most) finite fields, the user finds an irreducible monic polynomial in a symbolic variable, say
Low level data structures are set up to facilitate arithmetic and gcd over this newly created ground field.
See the main web page http://home.bway.net/lewis Fermat was last updated on 20 May 2020 (Mac and Linux; latest Windows version: 1 November 2011).
In an earlier version, called FFermat (Float Fermat), the basic number type is floating point numbers of 18 digits.
That version allows for numerical computing techniques, has extensive graphics capabilities, no sophisticated polynomial gcd algorithms, and is available only for Mac OS 9.
Fermat was originally written in Pascal for a DEC VAX, then for the classic Mac OS during 1985–1996.
In 2003 it was translated into C and ported to Linux (Intel machines) and Unix (Sparc/Sun).
The FFermat and (old) Windows Fermat Pascal source code have been made available to the public under a restrictive license.