% $OpenXM: OpenXM/src/k097/lib/minimal/check.sm1,v 1.1 2000/05/03 06:42:07 takayama Exp $ 
(cohom.sm1) run
[[(2*x*Dx + 3*y*Dy+6) (0)]
 [(3*x^2*Dy + 2*y*Dx) (0)]
 [(0)  (x^2+y^2)]
 [(0)  (x*y)]]
/ff set

[ff (x,y,z)] resol1 /gg set ;
gg pmat
(The answer is in gg.) message