This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Symbolic Solvers

Solve algebraic equations and systems analytically, simplify results, test solutions

MuPAD Functions

linsolveSolve a system of linear equations
polesPoles of expression or function
recDomain of recurrence equations
RootOfSet of roots of a polynomial
solveSolve equations and inequalities
testeqCheck the mathematical equivalence of expressions
solvelib::pdioeSolve polynomial Diophantine equations

Examples and How To

Choose a Solver

The general solvers (solve for symbolic solutions and numeric::solve for numeric approximations) handle a wide variety of equations, inequalities, and systems.

Solve Algebraic Equations and Inequalities

The solver accepts both equations and expressions.

Solve Algebraic Systems

When solving a linear system of symbolic equations, the general solver returns a set of solutions:

Test Results

Suppose you want to verify the solutions of this polynomial equation:


If Results Look Too Complicated

By default, the MuPAD® solvers return all possible solutions regardless of their length.

If Results Differ from Expected

Symbolic solutions can be returned in different, but mathematically equivalent forms.

Was this topic helpful?