// ハゴロモジャスミン ehitoさんのブログ maximaのロジックシステム（６） - ATPとCASのこと で「分母≠0の付帯」を考慮した処理の仕方をMaxima上で実現する方法が示されました。シンタックスシュガーが工夫されていて面白いです。今、ratsimpx2.mac及びqepm…