07/08/22 02:29:34
>>791
これはかなり深刻かな。hensel liftingでyを主変数にしてmod xで
(y+2)(y^2-2y-1)(y^6-10y^4+2y^3+25y^2-10y+4)でmod x^2にlifting
するとき(-9y^9-3y^8+135y^7+15y^6-675y^5+75y^4+125y^3-375y^2)を分解
するあたりでこけてるみたい。数式処理とシステムならこの程度で
こけられては数学をやるのに不自由なのだが、あやしいBooksと同じで
教育には十分使用にたえるとかなんとかいって後回しにされそう。このあたりは
linuxなら AXIOM これもFreeなのでAXiomを使ってみてください。AXIOMは
なんなく因数分解してくれました。
hensel liftingは ガウスは知っていたらしいが、最近といっても1990年代
の高速化アルゴリズムをいれなければいかんのでしょうね。