i4 : J=ideal matrix {{u^6+4*u^5*z+6*u^4*z^2+4*u^3*z^3+u^2*z^4,v*u^5+3*v*u^4*z+3*v*u^3*z^2+v*u^2*z^3,v^2*u^4+3*v^2*u^3*z+3*v^2*u^2*z^2+v^2*u*z^3,v^3*u^3+2*v^3*u^2*z+v^3*u*z^2,v^4*u^2+v^4*u*z,v^5*u+v^5*z,v^6}};
o4 : Ideal of R
|
i5 : I=mapToRNC(I0,J)
o5 = ideal (x x - x x , x x - x x , x x - x x , x x - x x , x x - x x ,
4 5 3 6 3 5 2 6 1 5 0 6 3 4 1 6 2 4 0 6
------------------------------------------------------------------------
2 2 2
x x - x , x - x x , x x - x x , x x - x , x x - x x , x x - x x ,
0 4 6 3 0 6 2 3 0 5 1 3 6 0 3 5 6 1 2 5 6
------------------------------------------------------------------------
2 2 2
x x - x , x - x x , x x - x x , x - x x )
0 2 5 1 4 6 0 1 3 6 0 2 6
o5 : Ideal of QQ[x , x , x , x , x , x , x ]
0 1 2 3 4 5 6
|
i6 : isomorphicProjectionOfRNC(I)
o6 = | x_0 -x_3 x_6 |
1 3
o6 : Matrix (QQ[x , x , x , x , x , x , x ]) <--- (QQ[x , x , x , x , x , x , x ])
0 1 2 3 4 5 6 0 1 2 3 4 5 6
|