ドキュメンテーション

シンボリック ソルバー

メモ

MuPAD® Notebook は将来のリリースでは削除される予定です。代わりに MATLAB® ライブ スクリプトを使用してください。

MuPAD Notebook ファイルを MATLAB ライブ スクリプト ファイルに変換するには、convertMuPADNotebook を参照してください。MATLAB ライブ スクリプトは、多少の違いはありますが、MuPAD 機能の大半をサポートします。詳細は、MuPAD Notebook を MATLAB ライブ スクリプトに変換を参照してください。

 linsolve Solve a system of linear equations poles Poles of expression or function rec Domain of recurrence equations RootOf Set of roots of a polynomial solve Solve equations and inequalities testeq Check the mathematical equivalence of expressions solvelib::pdioe Solve polynomial Diophantine equations

例および操作のヒント

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. When you use the general solver, MuPAD identifies the equation or the system as one of the types listed in the table that follows. Then the system calls the appropriate solver for that type. If you know the type of the equation or system you want to solve, directly calling the special solver is more efficient. When you call special solvers, MuPAD skips trying other solvers. Direct calls to the special solvers can help you to:

Solve Algebraic Equations and Inequalities

The solver accepts both equations and expressions. If you call solve for an expression, the command assumes the right side to be 0:

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. Also, by default the solvers assume the solutions are complex numbers. To limit the number of the solutions to some specific ones, the solvers provide a number of options. For information about the options accepted by a particular solver, see the page for that solver. For example, for the list of options provided by the general solver, see the solve help page.

If Results Differ from Expected

Symbolic solutions can be returned in different, but mathematically equivalent forms. MuPAD continuously improves its functionality, including solvers and simplifiers. These improvements can cause different releases of MuPAD to return different forms of the same symbolic expressions. For example, when you solve the equation

Mathematical Modeling with Symbolic Math Toolbox

Get examples and videos