読者です 読者をやめる 読者になる 読者になる

solvex 原理

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

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

(ステップ2)結果を dnf に変換

各連言項に対して

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

(ステップ4)solsel,nnsolve で等式系を処理

(ステップ5)fineq,sineq で不等式系を処理
(オプションスイッチ)sineqsimp:off で sineq 内部での簡約を無効化.sineqsimp:l で sineq 内部での簡約を lineq に変更

結果をまとめて

(ステップ6)postsimp,つまり,cnf,nnscan,dnf,nnscan,再度,nnscan で簡約
(オプションスイッチ)postsimp:off で処理を無効化

(ステップ7)bracket dnf 形式で出力