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);