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

maximaのロジックシステム(4)

QEPCAD BのF,G,C,X k(http://d.hatena.ne.jp/ehito/20110523/1306130261)に対応する関数nf,fn,cs,ex0,ex1,ex2,ex3,ex4を追加しました. cs,ex*の引数は論理式ではなくラムダ関数です. 実用に供するには,最後のtoimplxの定義のtopnfxの直前で,ALPHA CONV…