このブログの第一話？RedLogの巻は如何だったでしょうか？ インストールから基本的な使い方，主要な関数やスイッチ，その他，一通りのことは書いたつもりです．RedLogは，高い拡張性と多彩な関数，オプションスイッチを持ちながら，非常に軽快で使い易いパッ…

これまで述べた以外に，ユーザーが関数を書く際に便利な道具も用意されており，例えば f:=ex(b,all({x,y},x^2+a*x*y+y^2=1 impl x^2+y^2 に含まれる自由変数と束縛変数，原始論理式，項のリスト，および，fの構造は rlvarl(f); {{a},{b,x,y}} rlatl(f); {a*x…

原始論理式（論理記号を含まない論理式）は基本的には多項式についての方程式と不等式であり，これはQEの処理原理から来る制約です．ただし，実際のCASでは幾つかの拡張が見られ，RedLogの場合，デフォルトでは x>a/b; *****(greaterp x (quotient a b)) inv…