Maple

Developer(s)	Waterloo Maple (Maplesoft)
Initial release	1982
Stable release	2023 (9 March 2023; 10 months ago (2023-03-09)) [±][1]
Written in	C, Java, Maple
Platform	Windows (7, 8 and 10), macOS, Linux
Available in	English, Japanese, and limited support in additional languages[2]
Type	Computer algebra system, Numeric computation
License	Proprietary commercial software
Website	www.maplesoft.com/products/Maple/

Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical analysis, data processing, visualization, and others. A toolbox, MapleSim, adds functionality for multidomain physical modeling and code generation.

Maple's capacity for symbolic computing include those of a general-purpose computer algebra system. For instance, it can manipulate mathematical expressions and find symbolic solutions to certain problems, such as those arising from ordinary and partial differential equations.

Maple is developed commercially by the Canadian software company Maplesoft. The name 'Maple' is a reference to the software's Canadian heritage.

Overview

Core functionality

Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created. There is support for numeric computations, to arbitrary precision, as well as symbolic computation and visualization. Examples of symbolic computations are given below.

Maple incorporates a dynamically typed imperative-style programming language (resembling Pascal), which permits variables of lexical scope.^[3] There are also interfaces to other languages (C, C#, Fortran, Java, MATLAB, and Visual Basic), as well as to Microsoft Excel.

Maple supports MathML 2.0, which is a W3C format for representing and interpreting mathematical expressions, including their display in web pages.^[4] There is also functionality for converting expressions from traditional mathematical notation to markup suitable for the typesetting system LaTeX.

Architecture

Maple is based on a small kernel, written in C, which provides the Maple language. Most functionality is provided by libraries, which come from a variety of sources. Most of the libraries are written in the Maple language; these have viewable source code. Many numerical computations are performed by the NAG Numerical Libraries, ATLAS libraries, or GMP libraries.

Different functionality in Maple requires numerical data in different formats. Symbolic expressions are stored in memory as directed acyclic graphs. The standard interface and calculator interface are written in Java.

History

The first concept of Maple arose from a meeting in late 1980 at the University of Waterloo.^[5] Researchers at the university wished to purchase a computer powerful enough to run the Lisp-based computer algebra system Macsyma. Instead, they opted to develop their own computer algebra system, named Maple, that would run on lower cost computers. Aiming for portability, they began writing Maple in programming languages from the BCPL family (initially using a subset of B and C, and later on only C).^[5] A first limited version appeared after three weeks, and fuller versions entered mainstream use beginning in 1982.^[6] By the end of 1983, over 50 universities had copies of Maple installed on their machines.^{[citation needed]}

In 1984, the research group arranged with Watcom Products Inc to license and distribute the first commercially available version, Maple 3.3.^[6] In 1988 Waterloo Maple Inc. (Maplesoft) was founded. The company's original goal was to manage the distribution of the software, but eventually it grew to have its own R&D department, where most of Maple's development takes place today (the remainder being done at various university laboratories^[7]).

In 1989, the first graphical user interface for Maple was developed and included with version 4.3 for the Macintosh. X11 and Windows versions of the new interface followed in 1990 with Maple V. In 1992, Maple V Release 2 introduced the Maple "worksheet" that combined text, graphics, and input and typeset output.^[8] In 1994 a special issue of a newsletter created by Maple developers called MapleTech was published.^[9]

In 1999, with the release of Maple 6, Maple included some of the NAG Numerical Libraries.^[10] In 2003, the current "standard" interface was introduced with Maple 9. This interface is primarily written in Java (although portions, such as the rules for typesetting mathematical formulae, are written in the Maple language). The Java interface was criticized for being slow;^[11] improvements have been made in later versions, although the Maple 11 documentation^[12] recommends the previous ("classic") interface for users with less than 500 MB of physical memory.

Between 1995 and 2005 Maple lost significant market share to competitors due to a weaker user interface.^[13] With Maple 10 in 2005, Maple introduced a new "document mode" interface, which has since been further developed across several releases.

In September 2009 Maple and Maplesoft were acquired by the Japanese software retailer Cybernet Systems.^[14]

Version history

Features

Features of Maple include:^[27]

• Support for symbolic and numeric computation with arbitrary precision
• Elementary and special mathematical function libraries
• Complex numbers and interval arithmetic
• Arithmetic, greatest common divisors and factorization for multivariate polynomials over the rationals, finite fields, algebraic number fields, and algebraic function fields
• Limits, series and asymptotic expansions
• Gröbner basis
• Differential Algebra
• Matrix manipulation tools including support for sparse arrays
• Mathematical function graphing and animation tools
• Solvers for systems of equations, diophantine equations, ODEs, PDEs, DAEs, DDEs and recurrence relations
• Numeric and symbolic tools for discrete and continuous calculus including definite and indefinite integration, definite and indefinite summation, automatic differentiation and continuous and discrete integral transforms
• Constrained and unconstrained local and global optimization
• Statistics including model fitting, hypothesis testing, and probability distributions
• Tools for data manipulation, visualization and analysis
• Tools for probability and combinatoric problems
• Support for time-series and unit based data
• Connection to online collection of financial and economic data
• Tools for financial calculations including bonds, annuities, derivatives, options etc.
• Calculations and simulations on random processes
• Tools for text mining including regular expressions
• Tools for signal processing and linear and non-linear control systems
• Discrete math tools including number theory
• Tools for visualizing and analysing directed and undirected graphs
• Group theory including permutation and finitely presented groups
• Symbolic tensor functions
• Import and export filters for data, image, sound, CAD, and document formats
• Technical word processing including formula editing
• Programming language supporting procedural, functional and object-oriented constructs
• Tools for adding user interfaces to calculations and applications
• Tools for connecting to SQL, Java, .NET, C++, Fortran and http
• Tools for generating code for C, C#, Fortran, Java, JavaScript, Julia, Matlab, Perl, Python, R, and Visual Basic
• Tools for parallel programming

Examples of Maple code

The following code, which computes the factorial of a nonnegative integer, is an example of an imperative programming construct within Maple:

myfac := proc(n::nonnegint)
   local out, i;
   out := 1;
   for i from 2 to n do
       out := out * i
   end do;
   out
end proc;

Simple functions can also be defined using the "maps to" arrow notation:

 myfac := n -> product(i, i = 1..n);

Integration

Find

${\displaystyle \int \cos \left({\frac {x}{a))\right)dx}$.

 int(cos(x/a), x);

Output:

${\displaystyle a\sin \left({\frac {x}{a))\right)}$

Determinant

Compute the determinant of a matrix.

 M := Matrix([[1,2,3], [a,b,c], [x,y,z]]);  # example Matrix

${\displaystyle {\begin{bmatrix}1&2&3\\a&b&c\\x&y&z\end{bmatrix))}$

LinearAlgebra:-Determinant(M);

${\displaystyle bz-cy+3ay-2az+2xc-3xb}$

Series expansion

series(tanh(x), x = 0, 15)

${\displaystyle x-{\frac {1}{3))\,x^{3}+{\frac {2}{15))\,x^{5}-{\frac {17}{315))\,x^{7))$

${\displaystyle {}+{\frac {62}{2835))\,x^{9}-{\frac {1382}{155925))\,x^{11}+{\frac {21844}{6081075))\,x^{13}+{\mathcal {O))\left(x^{15}\right)}$

Solve equations numerically

The following code numerically calculates the roots of a high-order polynomial:

 f := x^53-88*x^5-3*x-5 = 0

 fsolve(f)

 -1.097486315, -.5226535640, 1.099074017

The same command can also solve systems of equations:

 f := (cos(x+y))^2 + exp(x)*y+cot(x-y)+cosh(z+x) = 0:

 g := x^5 - 8*y = 2:

 h := x+3*y-77*z=55;
                    
 fsolve( {f,g,h} );

 {x = -2.080507182, y = -5.122547821, z = -0.9408850733}

Plotting of function of single variable

Plot ${\displaystyle x\sin(x)}$ with ${\displaystyle x}$ ranging from -10 to 10:

 plot(x*sin(x), x = -10..10);

Plotting of function of two variables

Plot ${\displaystyle x^{2}+y^{2))$ with ${\displaystyle x}$ and ${\displaystyle y}$ ranging from -1 to 1:

plot3d(x^2+y^2, x = -1..1, y = -1..1);

Animation of functions

• Animation of function of two variables

${\displaystyle f:={\frac {2k^{2)){\cosh ^{2}\left(xk-4k^{3}t\right)))}$

plots:-animate(subs(k = 0.5, f), x=-30..30, t=-10..10, numpoints=200, frames=50, color=red, thickness=3);

• Animation of functions of three variables

plots:-animate3d(cos(t*x)*sin(3*t*y), x=-Pi..Pi, y=-Pi..Pi, t=1..2);

• Fly-through animation of 3-D plots.^[28]

 M := Matrix([[400,400,200], [100,100,-400], [1,1,1]], datatype=float[8]):
 plot3d(1, x=0..2*Pi, y=0..Pi, axes=none, coords=spherical, viewpoint=[path=M]);

Laplace transform

• Laplace transform

f := (1+A*t+B*t^2)*exp(c*t);

${\displaystyle \left(1+A\,t+B\,t^{2}\right)e^{ct))$

 inttrans:-laplace(f, t, s);

${\displaystyle {\frac {1}{s-c))+{\frac {A}{(s-c)^{2))}+{\frac {2B}{(s-c)^{3))))$

• inverse Laplace transform

inttrans:-invlaplace(1/(s-a), s, x);

${\displaystyle e^{ax))$

Fourier transform

• Fourier transform

 inttrans:-fourier(sin(x), x, w)

${\displaystyle \mathrm {I} \pi \,(\mathrm {Dirac} (w+1)-\mathrm {Dirac} (w-1))}$

Integral equations

Find functions ${\displaystyle f}$ that satisfy the integral equation

${\displaystyle f(x)-3\int _{-1}^{1}(xy+x^{2}y^{2})f(y)dy=h(x)}$.

eqn:= f(x)-3*Int((x*y+x^2*y^2)*f(y), y=-1..1) = h(x):
intsolve(eqn,f(x));

${\displaystyle f\left(x\right)=\int _{-1}^{1}\!\left(-15\,{x}^{2}{y}^{2}-3\,xy\right)h\left(y\right){dy}+h\left(x\right)}$

Use of the Maple engine

The Maple engine is used within several other products from Maplesoft:

• MapleNet allows users to create JSP pages and Java Applets. MapleNet 12 and above also allow users to upload and work with Maple worksheets containing interactive components.
• MapleSim, an engineering simulation tool.^[29]
• Maple Quantum Chemistry Package from RDMChem computes and visualizes the electronic energies and properties of molecules.^[30]

Listed below are third-party commercial products that no longer use the Maple engine:

• Versions of Mathcad released between 1994 and 2006 included a Maple-derived algebra engine (MKM, aka Mathsoft Kernel Maple), though subsequent versions use MuPAD.
• Symbolic Math Toolbox in MATLAB contained a portion of the Maple 10 engine, but now uses MuPAD (starting with MATLAB R2007b+ release).^[31]
• Older versions of the mathematical editor Scientific Workplace included Maple as a computational engine, though current versions include MuPAD.