What is "fermat"

Fermat is a lunar impact crater located to the west of the Rupes Altai escarpment. To the west-southwest is the larger crater Sacrobosco, and to the southwest is the irregular Pons. It is 39 kilometers in diameter and two kilometers deep.

The rim of Fermat is worn and somewhat irregular, but still possesses an outer rampart. The north rim is indented by a double crater formation that includes Fermat A. The floor is relatively flat and does not have a central rise. The crater is from the Pre-Imbrian period, 4.55 to 3.85 billion years ago.

It is named for 17th century French mathematician Pierre de Fermat.

Fermat is a freeware program developed by Prof. Robert H. Lewis of Fordham University. 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) F as Z or Z/n. On top of this may be attached any number of symbolic variables t, t, …, t,  thereby creating the polynomial ring F[t, t, …, t] and its quotient field. Further, some polynomials p, q, … involving some of the t can be chosen to mod out with, creating the quotient ring F(t, t, …)/(p, q, …). Finally, it is possible to allow Laurent polynomials, those with negative as well as positive exponents. Once the computational ring is established in this way, all computations are of elements of this ring. The computational ring can be changed later in the session.

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. It is also space efficient.

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 p(t),  and commands Fermat to mod out by it. This may be continued recursively, q(t, t),  etc. Low level data structures are set up to facilitate arithmetic and gcd over this newly created ground field. Two special fields, GF(2) and GF(2),  are more efficiently implemented at the bit level.

To help implement the Dixon resultant technique, special features have been added to the determinant function. These provide a dramatic increase in the speed of resultant calculations with systems of polynomial equations that exhibit symmetry.

Fermat provides a complete programming language. Programs and data can be saved to an ordinary text file that can be examined as such, read during a later session, or read by some other software system.