| LIB "finvar.lib";
ring R=0,(x,y,z),dp;
matrix F[1][7]=x2+y2,z2,x4+y4,1,x2z-1y2z,xyz,x3y-1xy3;
string newring="E";
orbit_variety(F,newring);
print(G);
→ y(4)-1,
→ y(5)*y(6)-y(2)*y(7),
→ y(2)*y(3)-y(5)^2-2*y(6)^2,
→ y(1)^2*y(6)-2*y(3)*y(6)+y(5)*y(7),
→ y(1)^2*y(5)-y(3)*y(5)-2*y(6)*y(7),
→ y(1)^2*y(2)-y(2)*y(3)-2*y(6)^2,
→ y(1)^4-3*y(1)^2*y(3)+2*y(3)^2+2*y(7)^2
basering;
→ // characteristic : 0
→ // number of vars : 7
→ // block 1 : ordering dp
→ // : names y(1) y(2) y(3) y(4) y(5) y(6) y(7)
→ // block 2 : ordering C
|