rlitab，rlgsn，rldnfを昨日の最小値の例，つまり procedure f(x)$x^2-2*x$ のもとでの g:=rlcad( ex(x,0=m) ); に作用させた結果を比較します．rlitab(g); a**2 - 2*a - m > 0 and a - 1 > 0 and m + 1 = 0 or a**2 - 2*a - m = 0 and (a - 1 = 0 and m + 1…

QE関数の出力は一般に複雑です．よって，式を簡約する関数，すなわち，simplifierの働きが重要になります．実数体コンテキストrにおいて利用できるsimplifierには・Standard Simplifier 常時適用されるrlsimpl・Tableau Simplifier タブロー法を採用したもの…