================================example 1.9.29 ===============================

ring s = 0,(p,q),dp;
ncalgebra(1,q^2); // setting the relation qp = pq + q^2
ideal I = p+q, p2+q2;
eliminate(I,q);

eliminate(I,p);