version 1.7, 2000/06/26 11:14:00 |
version 1.9, 2000/07/30 02:26:25 |
|
|
$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.8 2000/07/26 02:21:31 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) |
|
|