===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v
retrieving revision 1.8
retrieving revision 1.10
diff -u -p -r1.8 -r1.10
--- OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/07/26 02:21:31	1.8
+++ OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/08/01 08:51:02	1.10
@@ -1,4 +1,4 @@
-$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.7 2000/06/26 11:14:00 takayama Exp $   
+$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.9 2000/07/30 02:26:25 takayama Exp $   
 
 SpairAndReduction() :
    与えられた pair を reduction する.
@@ -691,4 +691,36 @@ July 26.
 
      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 の計算には邪魔.