[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.7 and 1.10

version 1.7, 2000/06/26 11:14:00 version 1.10, 2000/08/01 08:51:02
Line 1 
Line 1 
 $OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.6 2000/06/15 07:38:35 takayama Exp $  $OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.9 2000/07/30 02:26:25 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 657  resol1.c $B$K<!$N(B line $B$r2C$($?(B.
Line 657  resol1.c $B$K<!$N(B line $B$r2C$($?(B.
           if (isConstant(sv.b)) {            if (isConstant(sv.b)) {
                 s->deleted = 1;                  s->deleted = 1;
           }            }
     ===> $B$*$+$7$$$N$G:o=|(B.
   
 isConstant(sv.a) $B$,$J$$$H(B, $B$3$s$I$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.  Sminimal([x^2+y^2,x*y]); $B$,%(%i!<$G$H$^$k(B.
 (x,y $B$N(B weight $B$O(B -1).  (x,y $B$N(B weight $B$O(B -1).
 LaScala-Stillman $B$NO@J8$r$b$&0lEY$J$,$a$h$&(B.  LaScala-Stillman $B$NO@J8$r$b$&0lEY$J$,$a$h$&(B.
   
 commit $B$9$Y$-(B:  misc/mega2000 (cvs-misc add)  commit $B$9$Y$-(B:  misc/mega2000 (cvs-misc add) Done.
                 OpenXM/src/kan96xx                  OpenXM/src/kan96xx           Done.
                 OpenXM/src/k097/lib/minimal                  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)
   
   August 1.
       (u,v)-minimal $B$N%F%9%H%3!<%I$r$$$l$?(B.
       IsExact_h $B$G(B $BJQ?t(B c $B$NCM$,$+$o$k(B. $B860xITL@(B.
      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. */
      $B$3$N$"$H$J$<$+(B, c $B$,(B b $B$NCM$K$+$o$C$F$7$^$&(B.
      $B$J$*(B def IsExact(c,...) $B$HDj5A$5$l$F$*$j(B, $B$3$N(B c $B$rJL$NJQ?tL>$K(B
      $BJQ$($l$P$3$NLdBj$O$*$-$J$$(B.
      Println("Why is the initial c rewritten by b? (buggy) ");sm1_pmat(c[0]);
   
      ===>  complex.sm1 $B$N(B isExact_h (isExact) $B$G(B popVariables $B$rK:$l$F$?$@$1(B.
   
      betti $B?t$O(B, $B9TNs$N>C5n$r$d$k$^$G$o$+$i$J$$$N(B?
      SbettiTable().
   
      Sminimal $B$O(B [(Homogenize_vec) 0] system_variable $B$K$9$k$h$&$G(B,
      $B$3$l$,(B cohomology $B$N7W;;$K$O<YKb(B.
   
Legend:
Removed from v.1.7  
changed lines
  Added in v.1.10
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>