ring R=0,(x,y),dp;
  x+y;
  x<=y;
  (x+y+x^2)[2]; // the 2nd biggest monomial
  (x+y)/x;
$