irr_conic

irr_conic(F)

:: 三元二次形式Fが で既約かどうかを判定する。

return

文字列

F

変数x,y,z の二次の斉次多項式

• 三元二次形式Fが で既約ならばirreducibleを、可約ならばreducible を返す。

[1] irr_conic(x^2+y^2+z^2-x*y-y*z-z*x);
reducible
[2] fctr(x^2+y^2+z^2-x*y-y*z-z*x);
[[1,1],[x^2+(-y-z)*x+y^2-z*y+z^2,1]]

Go to the first, previous, next, last section, table of contents.