===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/05/19 11:16:51	1.1
+++ OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/06/08 08:37:53	1.3
@@ -1,4 +1,4 @@
-$OpenXM$   
+$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.2 2000/05/24 15:24:54 takayama Exp $   
 
 SpairAndReduction() :
    与えられた pair を reduction する.
@@ -61,3 +61,44 @@ In(17)=sm1_pmat(a2[2]);
  ]
 In(18)=  
 
+---------------------------
+
+May 22, (Tue),  5:50 (Spain local time, 12:50 JST)
+
+kan96xx/Kan/resol.c で,
+   RemoveRedundantInSchreyerSkelton = 0
+に変えて (この option もあたらしく加える), schreyer が正しく動くか
+調べることにする.
+( commit は kan96xx と k097 両方すべし.)
+
+test8() で sm1 で書いた方の Schreyer を見ると,
+   RemoveRedundantInSchreyerSkelton = 1
+でも, 
+kernel = image
+となっているので以後この option は 1 のまま使うこととする.
+要するに k0 のコードがどうやらおかしいらしい.
+
+-----------------------------------
+June 8, 2000 (Thu), 9:10 (Spain local time)
+hol.sm1 :  gb_h, syz_h, isSameIdeal, isSameIdeal_h
+complex.sm1 :  isExact, isExact_h
+
+syzygy を homogenization を介して計算するのは問題あり.
+--> usage of isExact
+
+[(Homogenize_vec) 0] system_variable : vector の homogenize をしない.
+(grade) (module1v) switch_function : vector 変数は, total
+       degree に数えない.
+==> 無限ループに注意   ---> gb_h, syz_h  の usage.
+
+minimal-test.k の ann(x^3-y^2*z^2) の laplace 変換の
+betti 数が変, exact でない, を isExact_h で check 
+しよう.
+
+minimal-test.k
+test10();
+  LaScala-Stillman の方法でつくった, schreyer resol が exact か   
+  調べる.
+  例題は, ann(1/(x^3-y^2 z^2)) の Laplace 変換.
+
+ 
\ No newline at end of file