//SINGULAR Example 1.5.10 int n,m=2,3; ring A1 = 0,(x(1..n),y(1..m)),(dp(n),ds(m)); poly f = x(1)*x(2)^2+1+y(1)^10+x(1)*y(2)^5+y(3); f; 1>y(1)^10; //the monomial 1 is greater than y(1)^10 ring A2 = 0,(x(1..n),y(1..m)),(ds(n),dp(m)); fetch(A1,f); x(1)*y(2)^5<1; ring A3 = 0,(x(1..n),y(1..m)),(dp(n),ds(2),dp(m-2)); fetch(A1,f);