ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

シンボリック ソルバー

代数方程式および方程式系の解析的求解、結果の単純化、解のテスト

メモ

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

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

MuPAD 関数

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

例および操作のヒント

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