PoincareMultiDeg(TAGGED("Quotient"), WM:MAT):TAGGED("$hp.PSeries")

  Use R ::= QQ[x,y,z];

  WM := Mat([[1,0,0],[1,-1,0]]);
  PoincareMultiDeg(R/Ideal(Indets())^2, WM);