| version 1.6, 2000/06/15 07:38:35 |
version 1.11, 2000/08/02 05:14:30 |
|
|
| $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.10 2000/08/01 08:51:02 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. |
|
|
| |
|
| ------------- |
------------- |
| 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) */ |
| |
|
| |
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. |
| |
|
| |
August 2, 2000. |
| |
|
| |
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. |
| |
( cf. $BBg0$5W;a$N%9%/%j%W%H(B. $B8=:_?@8M$KBZ:_Cf(B. ) |
| |
|
| |
/restoreEnvAfterResolution { |
| |
[(AvoidTheSameRing)] pushEnv |
| |
[ [(AvoidTheSameRing) 0] system_variable |
| |
[(gbListTower) [[ ]] (list) dc] system_variable |
| |
] pop popEnv |
| |
setupEnvForResolution.opts restoreOptions <=== $BJQ99(B. opts $B$O$$$m$s$J$H$3$m$G;H$C$F$k(B. |
| |
} def |
| |
|
| |
$B$3$N%^%/%m$r$h$Y$P$$$$$N$+!)(B |
| |
sm1(" restoreEnvAfterResolution "); |
| |
$B$r(B Sminimal $B$N$*$o$j$K8F$V$h$&$KJQ$($?(B. |
| |
test17b(), test18() $B$O@5>oF0:n(B. |
| |
|
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to minimal-note-ja.txt CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / lib / minimal