2017-01-06から1日間の記事一覧

nns シリーズ更新

新規の関数 ・qex qeの拡張版,有理数冪の入力に対応. ・solvex 多変数の方程式,不等式を原始式とする quantifier free な論理式の solver,有理数冪の入力,出力に対応. /* 17.01.09.Mon. 07:50:51 */ load(qepmax)$ showtime:on$ display2d:false$ prt(…