Solution を式または式のセット (リスト) として問題に指定するか、これらの解のセット (リスト) として指定し、さらに、対称性 S の 無限小の生成元、またはそのリストを指定すると、SymmetrySolutions は、指定された対称性を探索する方法でその他の解を計算します。

注意: 問題の従属変数を指定する必要はありません。SymmetrySolutions が指定された解の左辺を自動的に従属変数として扱います。

SymmetrySolutions は、求解を以下の 2 種類の手順に分解することができます。この手順は対話的な方法で再構成できます。

与えられたすべての対称性に対する変換の有限形式を計算します (SymmetryTransformation を使用して計算できます)。

この変換を指定されたそれぞれの解に適用します (dchange を使用して適用できます)。

オプションの引数 simplifier = ... を使用して、簡約子が結果に適用されるようにオプションで指定することができます。

キーワードやその一部のスペリングを誤ってタイプ入力する場合などがあることから、オプションのキーワードを覚える必要がないように、正しいキーワードと一致するかどうか入力との照合が行われます。照合の結果、一致が 1 通りだけの場合は入力が自動的に訂正されます。