===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/05/24 15:24:54	1.2
+++ OpenXM/src/k097/lib/minimal/minimal-note-ja.txt	2000/06/08 08:37:53	1.3
@@ -1,4 +1,4 @@
-$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.1 2000/05/19 11:16:51 takayama Exp $   
+$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.2 2000/05/24 15:24:54 takayama Exp $   
 
 SpairAndReduction() :
    $BM?$($i$l$?(B pair $B$r(B reduction $B$9$k(B.
@@ -77,3 +77,28 @@ test8() $B$G(B sm1 $B$G=q$$$?J}$N(B Schreyer $B$r
 kernel = image
 $B$H$J$C$F$$$k$N$G0J8e$3$N(B option $B$O(B 1 $B$N$^$^;H$&$3$H$H$9$k(B.
 $BMW$9$k$K(B k0 $B$N%3!<%I$,$I$&$d$i$*$+$7$$$i$7$$(B.
+
+-----------------------------------
+June 8, 2000 (Thu), 9:10 (Spain local time)
+hol.sm1 :  gb_h, syz_h, isSameIdeal, isSameIdeal_h
+complex.sm1 :  isExact, isExact_h
+
+syzygy $B$r(B homogenization $B$r2p$7$F7W;;$9$k$N$OLdBj$"$j(B.
+--> usage of isExact
+
+[(Homogenize_vec) 0] system_variable : vector $B$N(B homogenize $B$r$7$J$$(B.
+(grade) (module1v) switch_function : vector $BJQ?t$O(B, total
+       degree $B$K?t$($J$$(B.
+==> $BL58B%k!<%W$KCm0U(B   ---> gb_h, syz_h  $B$N(B usage.
+
+minimal-test.k $B$N(B ann(x^3-y^2*z^2) $B$N(B laplace $BJQ49$N(B
+betti $B?t$,JQ(B, exact $B$G$J$$(B, $B$r(B isExact_h $B$G(B check 
+$B$7$h$&(B.
+
+minimal-test.k
+test10();
+  LaScala-Stillman $B$NJ}K!$G$D$/$C$?(B, schreyer resol $B$,(B exact $B$+(B   
+  $BD4$Y$k(B.
+  $BNcBj$O(B, ann(1/(x^3-y^2 z^2)) $B$N(B Laplace $BJQ49(B.
+
+ 
\ No newline at end of file