昨日の入力の説明です．まず load_package redlog; は文字通り，RedLog（reduce logic system）パッケージをロードするもので，MathematicaやmapleといったCASでも特定の内容を扱う際にはパッケージの明示的なロードが必要ですが，Reduceはその割合が大きい…

のまえに，Reduceでのお約束を少々．Reduceでは ・大文字，小文字に区別はありません． ・入力の終端は ; または $ で，後者を用いると結果を表示しません． ・先頭が n: の入力に対する結果は ws(n)，また直前の結果は ws でも参照できます（ws=work space…