[BACK]Return to minimal-note-ja.txt CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/minimal-note-ja.txt between version 1.6 and 1.8

version 1.6, 2000/06/15 07:38:35 version 1.8, 2000/07/26 02:21:31
Line 1 
Line 1 
 $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.7 2000/06/26 11:14:00 takayama Exp $
   
 SpairAndReduction() :  SpairAndReduction() :
    $BM?$($i$l$?(B pair $B$r(B reduction $B$9$k(B.     $BM?$($i$l$?(B pair $B$r(B reduction $B$9$k(B.
Line 647  TODO:  
Line 647  TODO:  
   
 -------------  -------------
 Schreyer skelton $B$,$I$&$7$F(B 1 $B$rMWAG$K$b$D$+$7$i$Y$k(B.  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) */
   

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.8

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>