Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2014-07-24から1日間の記事一覧

-数学- Qepmaxで拡張タルスキ式をサポート

前足をそろえておねむ // Qepmaxのメンテも続けております。ようやく、拡張タルスキ式のサポートを実装しました。 拡張タルスキ式はそれ自身原始論理式です。Qepmaxでは次のようなシンタックスでサポートすることにしました。 変数 (不)等号 etf_root(k, 多…