MATHEMATICA 組込みシンボル

SolveAlways

変数 vars のすべての値について方程式 eqns を成立させるパラメータの値を与える．

の任意の値について式がホールドになる条件を求める：

Out[1]=

一変数整方程式：

多変数整方程式：

整方程式のリスト：

根基を含む方程式：

不等式：

方程式と不等式のブール結合：

デフォルトで，SolveAlwaysは厳密解を求める：

次は20桁数で解を計算する：

三次多項式が三重根を持つ条件を求める：

Reduceを使って同じ問題を解く：

SubresultantsとSolveを使っても同じ問題を解くことができる：

級数展開で未定係数について解く：

数値解は方程式を完全に同じように真にする：

SolveとEliminateを使った等価の構築：

SolveとResolveを使った等価の構築：

次は，Reduceを使って同じ問題を解く：

SolveAlwaysは一般解を与える：

パラメータが他の追加的な方程式を満足する場合は，方程式は完全に同じように真ではないことがある：

次は，解が正しくなくなるパラメータの条件を求める：