Maxima

Screenshot of Maxima, plotting the 2D graph of a function with the gnuplot-x11 package running on Ubuntu Linux
Developer(s)	Macsyma group at Project MAC and volunteer contributors
Initial release	1982; 42 years ago (1982)
Stable release	5.47.0[1]  / 1 June 2023; 10 months ago (1 June 2023)
Repository	sourceforge.net/p/maxima/code/ci/master/tree/
Written in	Common Lisp
Operating system	Cross-platform
Type	Mathematical software
License	GPL
Website	maxima.sourceforge.io

Maxima (/ˈmæksɪmə/) is a powerful software package for performing computer algebra calculations in mathematics and the physical sciences. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under Microsoft Windows and Android. It is free software released under the terms of the GNU General Public License (GPL).

History

Maxima is based on a 1982 version of Macsyma, which was developed at MIT with funding from the United States Department of Energy and other government agencies. A version of Macsyma was maintained by Bill Schelter from 1982 until his death in 2001. In 1998, Schelter obtained permission from the Department of Energy to release his version under the GPL. That version, now called Maxima, is maintained by an independent group of users and developers. Maxima does not include any of the many modifications and enhancements made to the commercial version of Macsyma during 1982–1999. Though the core functionality remains similar, code depending on these enhancements may not work on Maxima, and bugs which were fixed in Macsyma may still be present in Maxima, and vice versa. Maxima participated in Google Summer of Code in 2019 under International Neuroinformatics Coordinating Facility.^[2]

Symbolic calculations

Like most computer algebra systems, Maxima supports a variety of ways of reorganizing symbolic algebraic expressions, such as polynomial factorization, polynomial greatest common divisor calculation, expansion, separation into real and imaginary parts, and transformation of trigonometric functions to exponential and vice versa. It has a variety of techniques for simplifying algebraic expressions involving trigonometric functions, roots, and exponential functions. It can calculate symbolic antiderivatives ("indefinite integrals"), definite integrals, and limits. It can derive closed-form series expansions as well as terms of Taylor-Maclaurin-Laurent series. It can perform matrix manipulations with symbolic entries.

Maxima is a general-purpose system, and special-case calculations such as factorization of large numbers, manipulation of extremely large polynomials, etc. are sometimes better done in specialized systems.

Numeric calculations

Maxima specializes in symbolic operations, but it also offers numerical capabilities^[3] such as arbitrary-precision integer, rational number, and floating-point numbers, limited only by space and time constraints.

Programming

Maxima includes a complete programming language with ALGOL-like syntax but Lisp-like semantics. It is written in Common Lisp and can be accessed programmatically and extended, as the underlying Lisp can be called from Maxima. It uses gnuplot for drawing.

For calculations using floating point and arrays heavily, Maxima has translators from the Maxima language to other programming languages (notably Fortran), which may execute more efficiently.

Interfaces

Various graphical user interfaces (GUIs) are available for Maxima:

• wxMaxima^[4] is high-quality graphical front-end using the wxWidgets framework. wxMaxima provides a cell structure similar to the Mathematica notebook as shown in the figure to the right.
• There is a kernel for Project Jupyter, a flexible, notebook-style GUI written in Python.^[5]
• GMaxima is a Maxima interface using GTK+.^[6]
• Cantor, using Qt, can interface with Maxima (along with SageMath, R, and KAlgebra)^[7]
• The GNU TeXmacs and LyX mathematical editor programs can be used to provide an interactive GUI for Maxima, as can SageMath. Other options include the Imaxima front end, as well as an Emacs and XEmacs interaction mode which is activated by Imaxima.
• Kayali^[8]
• Climaxima,^[9] a CLIM-based front-end.^[10]

Examples of Maxima code

Basic operations

Arbitrary-precision arithmetic

bfloat(sqrt(2)), fpprec=40;

${\displaystyle 1.41421356237309504880168872420969807857\cdot 10^{0))$

Function

f(x):=x^3$
f(4);

${\displaystyle 64}$

Expand

expand((a-b)^3);

${\displaystyle -b^{3}+3ab^{2}-3a^{2}b+a^{3))$

Factor

factor(x^2-1);

${\displaystyle (x-1)(x+1)}$

Solving equations

${\displaystyle x^{2}+a\ x+1=0}$

solve(x^2 + a*x + 1, x);

${\displaystyle [x=-{\Biggl (}{\frac ((\sqrt {a^{2}-4))+a}{2)){\Biggr )},x={\frac ((\sqrt {a^{2}-4))-a}{2))]}$

Solving equations numerically

${\displaystyle \cos x=x}$

find_root(cos(x) = x, x, 0, 1);

${\displaystyle 0.7390851332151607}$

bf_find_root(cos(x) = x, x, 0, 1), fpprec = 50;

${\displaystyle 7.3908513321516064165531208767387340401341175890076\cdot 10^{-1))$

Indefinite integral

${\displaystyle \int x^{2}+\cos x\ dx}$

integrate(x^2 + cos(x), x);

${\displaystyle \sin x+{\frac {x^{3)){3))}$

Definite integral

${\displaystyle \int _{0}^{1}{\frac {1}{x^{3}+1))\,dx}$

integrate(1/(x^3 + 1), x, 0, 1), ratsimp;

${\displaystyle {\frac ((\sqrt {3))\log 2+\pi }{3^{\frac {3}{2))))}$

Numerical integral

${\displaystyle \int _{0}^{2}\sin(\sin(x))\,dx}$

quad_qags(sin(sin(x)), x, 0, 2)[1];

${\displaystyle 1.247056058244003}$

Derivative

${\displaystyle {d^{3} \over dx^{3))\cos ^{2}x}$

diff(cos(x)^2, x, 3);

${\displaystyle 8\cos {x}\sin {x))$

Limit

${\displaystyle \lim _{x\to \infty }{\frac {1+\sinh {x)){e^{x))))$

limit((1+sinh(x))/exp(x), x, inf);

${\displaystyle {\frac {1}{2))}$

Number theory

primes(10, 20);

${\displaystyle [11,13,17,19]}$

fib(10);

${\displaystyle 55}$

Series

${\displaystyle \sum _{x=1}^{\infty }{\frac {1}{x^{2))))$

sum(1/x^2, x, 1, inf), simpsum;

${\displaystyle {\frac {\pi ^{2)){6))}$

Series expansion

taylor(sin(x), x, 0, 9);

${\displaystyle x-{\frac {x^{3)){6))+{\frac {x^{5)){120))-{\frac {x^{7)){5040))+{\frac {x^{9)){362880))}$

niceindices(powerseries(cos(x), x, 0));

${\displaystyle \sum _{i=0}^{\infty }{\frac {(-1)^{i}x^{2i)){(2i)!))}$

Special functions

bessel_j(0, 4.5);

${\displaystyle -0.3205425089851214}$

airy_ai(1.5);

${\displaystyle 0.07174949700810543}$