ring R=0,(x,y),(c,dp);
  ideal i=x,y;
  syz(i);
LIB "tst.lib";tst_status(1);$