===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v
retrieving revision 1.6
retrieving revision 1.9
diff -u -p -r1.6 -r1.9
--- 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/07/30 02:26:25	1.9
@@ -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.8 2000/07/26 02:21:31 takayama Exp $   
 
 SpairAndReduction() :
    $BM?$($i$l$?(B pair $B$r(B reduction $B$9$k(B.
@@ -647,3 +647,55 @@ Schreyer skelton $B$,$I$&$7$F(B 1 $B$rMWAG$K$b$D$+$
 
 -------------
 Schreyer skelton $B$,$I$&$7$F(B 1 $B$rMWAG$K$b$D$+$7$i$Y$k(B.
+
+June 24 (Sat), 22:30 at Posthouse (Heathrow) www.posthouse-hotels.com
+Sevilla $BBZ:_(B, Mega $B$b$h$&$d$/$*$o$j(B minimal resolution $B$N(B check $B$KLa$k(B.
+resol1.c $B$K<!$N(B line $B$r2C$($?(B.
+	  /* 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;
+	  }
+  ===> $B$*$+$7$$$N$G:o=|(B.
+
+isConstant(sv.a) $B$,$J$$$H(B, $B$3$s$I$O(B,
+Sminimal([x^2+y^2,x*y]); $B$,%(%i!<$G$H$^$k(B.
+(x,y $B$N(B weight $B$O(B -1).
+LaScala-Stillman $B$NO@J8$r$b$&0lEY$J$,$a$h$&(B.
+
+commit $B$9$Y$-(B:  misc/mega2000 (cvs-misc add) Done.
+                OpenXM/src/kan96xx           Done.
+                OpenXM/src/k097/lib/minimal  Done.
+
+July 26.
+   resol.c $B$N(B schreyerSkelton0 $B$G(B, skelton $B$,(B minimal $B$K$J$k$h$&$K(B
+   $B%3!<%I$rA^F~(B.
+   $B%F%9%H$O(B  
+     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]); 
+   $B$G(B.
+
+   LaScala-Stillman $B$NO@J85U$G(B  i<j $B$J$i(B e_i > e_j $B$H$J$k(B.
+   (order.c   mmLarger_tower())
+
+   $B%F%9%H(B 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.
+    $BNc(B:
+     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)
\ No newline at end of file