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.2

1.2     ! takayama    1: % $OpenXM: OpenXM/src/k097/lib/minimal/check.sm1,v 1.1 2000/05/03 06:42:07 takayama Exp $
        !             2:
        !             3: % (cohom.sm1) run  % uncomment for foo1.
        !             4: (k0-cohom.sm1) run  % uncomment for foo2.
        !             5: (k0-tower.sm1) run
        !             6:
        !             7: /foo1 {
1.1       takayama    8: [[(2*x*Dx + 3*y*Dy+6) (0)]
                      9:  [(3*x^2*Dy + 2*y*Dx) (0)]
                     10:  [(0)  (x^2+y^2)]
                     11:  [(0)  (x*y)]]
                     12: /ff set
                     13:
                     14: [ff (x,y,z)] resol1 /gg set ;
                     15: gg pmat
                     16: (The answer is in gg.) message
1.2     ! takayama   17: } def
        !            18:
        !            19: /foo2 {
        !            20:
        !            21:   [(x^3-y^2) (x,y)] annfs /ff set
        !            22:   ff 0 get /gg set
        !            23:   gg { [(x) (y) (Dx) (Dy)] laplace0 } map /gg2 set
        !            24:   gg2 message
        !            25:   gg2 { toString } map /gg3 set
        !            26:
        !            27:
        !            28:   [(x,y) s_ring_of_differential_operators
        !            29:    [[(x) -1 (y) -1 (Dx) 1 (Dy) 1]] s_weight_vector
        !            30:    0 [(schreyer) 1]] define_ring
        !            31:
        !            32:   gg3 { tparse } map /gg4 set
        !            33:   gg4 sResolution /ans set
        !            34:   (Answer is in ans.) message
        !            35: } def
        !            36:
        !            37:
        !            38: /foo3 {
        !            39:
        !            40:   [(x*y*(x-y)*(x+y)) (x,y)] annfs /ff set
        !            41:   ff 0 get /gg set
        !            42:   gg { [(x) (y) (Dx) (Dy)] laplace0 } map /gg2 set
        !            43:   gg2 message
        !            44:   gg2 { toString } map /gg3 set
        !            45:
        !            46:
        !            47:   [(x,y) s_ring_of_differential_operators
        !            48:    [[(x) -1 (y) -1 (Dx) 1 (Dy) 1]] s_weight_vector
        !            49:    0 [(schreyer) 1]] define_ring
        !            50:
        !            51:   gg3 { tparse } map /gg4 set
        !            52:   gg4 sResolution /ans set
        !            53:   (Answer is in ans.) message
        !            54: } def
        !            55:
1.1       takayama   56: