CAD の要は，projection と代数体上での根の分離です．昨年の maxima における実装は，Lazard method と複素数値根のクラスタリングのための pscs の計算（Mathematica 似）との併用というスタイルであり，それは primitive elements の計算（squarefree nor…