のもとでは，３つのQE関数rlqe，rlcad，rlhqeが使えることは既に述べました．これらは採用するQEの原理が異なり，同じ入力に対しても異なった挙動を示します． rlqeは，他の２つより一般に高速ですが，rlcadより結果の式は複雑です． rlcadは，rlqeより一般…

昨日の最後の結果は，例えば 0≦a≦1のときm=a^2-2a，1＜aのときm=-1 となりますが f1:=rlqe( ex(x,0=m) ); と入力すると，RedLogは f1 := m + 1 >= 0 and (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) or m = 0…