ドキュメンテーション

# シンボリック ソルバー

### メモ

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

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

## MuPAD 関数

 `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