[BACK]Return to check.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal
File: [local] / OpenXM / src / k097 / lib / minimal / check.sm1 (download)

Revision 1.2, Sat May 6 07:58:37 2000 UTC (24 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6, R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, RELEASE_1_1_3, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.1: +46 -2 lines 

Sminimal_v() is still bugy. I could not fix it today.
See also debug-note.txt.

% $OpenXM: OpenXM/src/k097/lib/minimal/check.sm1,v 1.2 2000/05/06 07:58:37 takayama Exp $ 

% (cohom.sm1) run  % uncomment for foo1.
(k0-cohom.sm1) run  % uncomment for foo2.
(k0-tower.sm1) run

/foo1 {
[[(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
} def

/foo2 {

  [(x^3-y^2) (x,y)] annfs /ff set 
  ff 0 get /gg set
  gg { [(x) (y) (Dx) (Dy)] laplace0 } map /gg2 set
  gg2 message
  gg2 { toString } map /gg3 set
  
  
  [(x,y) s_ring_of_differential_operators
   [[(x) -1 (y) -1 (Dx) 1 (Dy) 1]] s_weight_vector
   0 [(schreyer) 1]] define_ring

  gg3 { tparse } map /gg4 set
  gg4 sResolution /ans set
  (Answer is in ans.) message
} def


/foo3 {

  [(x*y*(x-y)*(x+y)) (x,y)] annfs /ff set 
  ff 0 get /gg set
  gg { [(x) (y) (Dx) (Dy)] laplace0 } map /gg2 set
  gg2 message
  gg2 { toString } map /gg3 set
  
  
  [(x,y) s_ring_of_differential_operators
   [[(x) -1 (y) -1 (Dx) 1 (Dy) 1]] s_weight_vector
   0 [(schreyer) 1]] define_ring

  gg3 { tparse } map /gg4 set
  gg4 sResolution /ans set
  (Answer is in ans.) message
} def