| version 1.2, 2000/05/24 15:24:54 |
version 1.3, 2000/06/08 08:37:53 |
|
|
| $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() : |
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 77 test8() $B$G(B sm1 $B$G=q$$$?J}$N(B Schreyer $B$r |
|
| Line 77 test8() $B$G(B sm1 $B$G=q$$$?J}$N(B Schreyer $B$r |
|
| kernel = image |
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. |
$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. |
$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. |
| |
|
| |
|
| |
|
![[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