Return to check.sm1 CVS log

Up to [local] / OpenXM / src / k097 / lib / minimal

Annotation of OpenXM/src/k097/lib/minimal/check.sm1, Revision 1.1

1.1     ! takayama    1: % $OpenXM$
        !             2: (cohom.sm1) run
        !             3: [[(2*x*Dx + 3*y*Dy+6) (0)]
        !             4:  [(3*x^2*Dy + 2*y*Dx) (0)]
        !             5:  [(0)  (x^2+y^2)]
        !             6:  [(0)  (x*y)]]
        !             7: /ff set
        !             8:
        !             9: [ff (x,y,z)] resol1 /gg set ;
        !            10: gg pmat
        !            11: (The answer is in gg.) message
        !            12: