(setsetup '((variousflags (pbseries on))))
(noncommify)
(setweights 1 1 1 1)
(simple)
vars  z,x,y,a;x*y,y*x-z*z,
a*x,a*y,a*z;
