| LIB "finvar.lib";
ring R=0,(x,y,z),dp;
matrix F[1][3]=x+y+z,xy+xz+yz,xyz;
ideal I=x2+y2+z2-1,x2y+y2z+z2x-2x-2y-2z,xy2+yz2+zx2-2x-2y-2z;
string newring="E";
relative_orbit_variety(I,F,newring);
print(G);
→ 27*y(3)^6-513*y(3)^4+33849*y(3)^2-784,
→ 1475*y(2)+9*y(3)^4-264*y(3)^2+736,
→ 8260*y(1)+9*y(3)^5-87*y(3)^3+5515*y(3)
basering;
→ // characteristic : 0
→ // number of vars : 3
→ // block 1 : ordering lp
→ // : names y(1) y(2) y(3)
→ // block 2 : ordering C
|