solvex 原理

solvex の処理手順は，人間が計算機を用いて解く場合と同じです．すなわち，．．．

（ステップ１）presimp，つまり，入力を qex で半代数系に変換
（オプションスイッチ）presimp:l で qex ではなく，p2t を通さない簡約 lineq を利用．sqrt が係数のみに現れる場合など，それを残したまま処理できる．presimp:off で処理を無効化

（ステップ２）結果を dnf に変換

各連言項に対して

（ステップ３）ncondeq で必要条件のうち等式のみを添加
（オプションスイッチ）ncondtype:x でターゲット変数の存在条件のみを添加．ncondtype:full で等式以外も添加．ncondtype:off で処理を無効化．ncondsimp:off で ncondeq 内部での簡約を無効化

（ステップ４）solsel，nnsolve で等式系を処理

（ステップ５）fineq，sineq で不等式系を処理
（オプションスイッチ）sineqsimp:off で sineq 内部での簡約を無効化．sineqsimp:l で sineq 内部での簡約を lineq に変更

結果をまとめて

（ステップ６）postsimp，つまり，cnf，nnscan，dnf，nnscan，再度，nnscan で簡約
（オプションスイッチ）postsimp:off で処理を無効化

（ステップ７）bracket dnf 形式で出力