SageMath notebook, Jupyter Notebook などノートブック形式が主流（？）らしい。Isabelle（イザベル）もproof documentを指向していた。Maximaもノートブック形式指向らしいが、wxMaximaドキュメント形式は、まだセッション記録でしかなくて、とてもドキュ…

√2 * √3 = √6 はそのままではできない。rootscontract関数に渡す必要がある。 rootscontract(sqrt(2)*sqrt(3)); しかし、√2 * √2 = 2 は自動的に計算される。定義によるからだと思うが、メカニズムはよく分かってない。

マニュアルによると： Maxima Lisp foo $foo 名詞のfoo %foo ?foo foo しかし、実際にやってみると、 :lisp (setq foo 'bar) :lisp foo /* => BAR */ Lisp側での名前が全部大文字の名前になってしまう。なんだ？？いずれにしても、:lisp $名前 は探索に役に…