i2 : I = ideal(x+3*y^2-2*z, x^2-2*y-z, 3*x-4*y+5*z^2)
2 2 2
o2 = ideal (3y + x - 2z, x - 2y - z, 5z + 3x - 4y)
o2 : Ideal of R
|
i3 : T = traceForm(I)
o3 = | 8 0 -4 -112/15 -18/5 0 16/5 0 |
| 0 0 16/5 24/5 32/5 -4 -112/15 -18/5 |
| -4 16/5 122/15 2788/225 24/5 -12/5 -64/15 -112/15 |
| -112/15 24/5 2788/225 704/45 208/15 -64/15 -2186/225 -96/25 |
| -18/5 32/5 24/5 208/15 238/25 -112/15 -96/25 -16/5 |
| 0 -4 -12/5 -64/15 -112/15 0 6/5 16/5 |
| 16/5 -112/15 -64/15 -2186/225 -96/25 6/5 316/75 12/5 |
| 0 -18/5 -112/15 -96/25 -16/5 16/5 12/5 0 |
/ R \8 / R \8
o3 : Matrix |------------------------------------------| <-- |------------------------------------------|
| 2 2 2 | | 2 2 2 |
\(3y + x - 2z, x - 2y - z, 5z + 3x - 4y)/ \(3y + x - 2z, x - 2y - z, 5z + 3x - 4y)/
|