===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v
retrieving revision 1.6
retrieving revision 1.11
diff -u -p -r1.6 -r1.11
--- OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/06/15 07:38:35	1.6
+++ OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/08/02 05:14:30	1.11
@@ -1,4 +1,4 @@
-$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.5 2000/06/14 07:44:04 takayama Exp $   
+$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.10 2000/08/01 08:51:02 takayama Exp $   
 
 SpairAndReduction() :
    与えられた pair を reduction する.
@@ -647,3 +647,100 @@ TODO:  
 
 -------------
 Schreyer skelton がどうして 1 を要素にもつかしらべる.
+
+June 24 (Sat), 22:30 at Posthouse (Heathrow) www.posthouse-hotels.com
+Sevilla 滞在, Mega もようやくおわり minimal resolution の check に戻る.
+resol1.c に次の line を加えた.
+	  /* If isConstant(sv.a) is added, (x^3 - y^2 z^2) deRham stops
+         with an error. I've not yet understood the reason.
+         At Posthouse at Heathrow. June 24, 2000 */
+	  if (isConstant(sv.b)) { 
+		s->deleted = 1;
+	  }
+  ===> おかしいので削除.
+
+isConstant(sv.a) がないと, こんどは,
+Sminimal([x^2+y^2,x*y]); がエラーでとまる.
+(x,y の weight は -1).
+LaScala-Stillman の論文をもう一度ながめよう.
+
+commit すべき:  misc/mega2000 (cvs-misc add) Done.
+                OpenXM/src/kan96xx           Done.
+                OpenXM/src/k097/lib/minimal  Done.
+
+July 26.
+   resol.c の schreyerSkelton0 で, skelton が minimal になるように
+   コードを挿入.
+   テストは  
+     cd src/k097/lib/minimal
+     k0
+     load["minimal.k"];;
+     Sweyl("x,y",[["x",-1,"y",-1,"Dx",1,"Dy",1]]);
+     Sminimal([x^2+y^2,x*y]); 
+   で.
+
+   LaScala-Stillman の論文逆で  i<j なら e_i > e_j となる.
+   (order.c   mmLarger_tower())
+
+   テスト 2.
+     cd src/k097/lib/minimal
+     k0
+     load["minimal-test.k"];;
+     v:
+     Sminimal(v);
+
+     test11();    /* a = test_ann3("x^3-y^2*z^2"); */
+     test14();    /* gkz (1,2,3) */
+
+July 30.  Removed unnecessary code.
+    例:
+     Sminimal("x^3-y^2");
+     test12()  ( x^3-y^2 z^2)
+     test15()   GKZ 1,2,3 with a check.
+     test15b()   toric
+     test15c()   (u,v) = (-1,1)
+
+August 1.
+    (u,v)-minimal のテストコードをいれた.
+    IsExact_h で 変数 c の値がかわる. 原因不明.
+   c=Sinit_w(b,w); 
+   Println("Resolution (b)----");
+   sm1_pmat(b);
+   Println("Initial (c)----");
+   sm1_pmat(c); cc=c;
+   Println("Exactness of the resolution ---");
+   Println(IsExact_h(b,v));  /* IsExact_h breaks the variable c.
+                                THIS BUG SHOULD BE FIXED. */
+   このあとなぜか, c が b の値にかわってしまう.
+   なお def IsExact(c,...) と定義されており, この c を別の変数名に
+   変えればこの問題はおきない.
+   Println("Why is the initial c rewritten by b? (buggy) ");sm1_pmat(c[0]);
+
+   ===>  complex.sm1 の isExact_h (isExact) で popVariables を忘れてただけ.
+
+   betti 数は, 行列の消去をやるまでわからないの?
+   SbettiTable().
+
+   Sminimal は [(Homogenize_vec) 0] system_variable にするようで,
+   これが cohomology の計算には邪魔.
+
+August 2, 2000.
+
+Sminimal は [(Homogenize_vec) 0] system_variable にするようで,
+これが cohomology の計算には邪魔.
+( cf. 大阿久氏のスクリプト. 現在神戸に滞在中. )
+
+/restoreEnvAfterResolution {
+  [(AvoidTheSameRing)] pushEnv 
+  [ [(AvoidTheSameRing) 0] system_variable 
+    [(gbListTower) [[ ]] (list) dc] system_variable
+  ] pop popEnv
+  setupEnvForResolution.opts restoreOptions  <=== 変更.  opts はいろんなところで使ってる.
+} def
+
+このマクロをよべばいいのか？
+   sm1(" restoreEnvAfterResolution ");
+を Sminimal のおわりに呼ぶように変えた.
+test17b(), test18() は正常動作.
+
+