Open jakobkroeker opened 9 years ago
ring r = 0,(t,x(1..4)),ws(1,-1,-1,-1,-1); ideal I = 2*x(1)^2+3*x(1)*x(2)+24*x(3)*x(4), 8*x(1)^3+x(2)*x(3)*x(4)+18*x(3)^2*x(4); I = std(I); ring s = integer,(t,x(1..4)),ws(1,-1,-1,-1,-1); option(prot); ideal I = fetch(r,I); ideal J = I,2-t; std(J);