| version 1.4, 2000/06/09 08:04:54 |
version 1.5, 2000/06/14 07:44:04 |
|
|
| $OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.3 2000/06/08 08:37:53 takayama Exp $ |
$OpenXM: OpenXM/src/k097/lib/minimal/minimal-note-ja.txt,v 1.4 2000/06/09 08:04: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. |
|
|
| In(12)= $B$3$l$O(B, [3, 2, 1] $B$N85$N$&$A(B, 2,1 $B$,$b$H$^$C$F$$$k(B. |
In(12)= $B$3$l$O(B, [3, 2, 1] $B$N85$N$&$A(B, 2,1 $B$,$b$H$^$C$F$$$k(B. |
| [ 2 ] $B$N7W;;$K(B 0 $BHVL\$,I,MW$G$3$l$,$^$@$J$$(B. |
[ 2 ] $B$N7W;;$K(B 0 $BHVL\$,I,MW$G$3$l$,$^$@$J$$(B. |
| |
|
| |
----------------------------------------- |
| |
June 11, 2000 (Tue), 20:05 |
| |
V-strict $B$+$I$&$+$r%A%'%C%/$9$k4X?t$r=q$-$?$$(B. |
| |
$B0BA4$K(B ring (schreyer order) $B$rDj5A$9$k4X?t$,M_$7$$(B. |
| |
$B0BA4$K(B parse $B$9$k4X?t$bM_$7$$(B. |
| |
$B%Y%/%H%k$H(B es $BI=8=$NJQ494X?t$b$$$k(B. |
| |
|
| |
AvoidTheSameRing == 1 $B$J$i(B, schreyer $B$N(B gbList $B$bJQ99$G$-$J$$$h$&$K(B |
| |
$B$9$Y$-$+!)(B |
| |
$B4XO"JQ?t(B: |
| |
needWarningForAvoidTheSameRing |
| |
isTheSameRing() : ring $B$,F1$8$+(B check. pointer $B$G$J$/Cf?H$^$G$_$k(B. |
| |
see poly4.c. $B$3$3$N%3%a%s%H$O;29M$K$J$k(B. |
| |
3.If Schreyer = 1, then the system always generates a new ring. |
| |
|
| |
define_ring $B$K(B gbList $B$bEO$;$k$N(B? |
| |
==> set_up_ring@ $B$r8+$k(B. grep set_up_ring ==> |
| |
primitive.c KsetUpRing() grep KsetUpRing ==> |
| |
keyword gbListTower $B$,;H$($k$,(B, list $B$GM?$($J$$$H$$$1$J$$(B. |
| |
list $B$KJQ49$9$k$N$O(B, (list) dc. |
| |
|
| |
tparse $B$NI,MW$J$o$1(B? |
| |
?? $B$*$b$$$@$;$J$$(B. |
| |
|
| |
ring_def $B$G(B ring (schreyer order) $B$rDj5A$9$k$H(B, $B7W;;$N$H$-$N(B |
| |
order $B$b(B tower $B$G$d$C$F$/$l$k$N(B? |
| |
$BB?J,(B NO. |
| |
grep ppAdd *.c ==> |
| |
poly2.c |
| |
checkRing(f,g); |
| |
|
| |
while (f != POLYNULL && g != POLYNULL) { |
| |
/*printf("%s + %s\n",POLYToString(f,'*',1),POLYToString(g,'*',1));*/ |
| |
checkRing2(f,g); /* for debug */ |
| |
gt = (*mmLarger)(f,g); |
| |
|
| |
mmLarger $B$OJQ$($F$J$$$h$&$K8+$($k(B. checkRing $B$O%^%/%m(B. |
| |
|
| |
mmLarger_tower $B$O(B |
| |
if (!(f->m->ringp->schreyer) || !(g->m->ringp->schreyer)) |
| |
return(mmLarger_matrix(f,g)); |
| |
$B$H$J$C$F$k$N$G(B mmLarger_tower $B$r(B default $B$K$7$F$*$1$P?4G[$J$$$h$&$K8+$($k(B. |
| |
|
| |
ring_def $B$O@5$7$/F0$/(B? |
| |
|
| |
$B4X?t$N;EMM(B: |
| |
mmLarger $B$O(B tower $B$KJQ$($F$7$^$&(B. |
| |
$BJQ?tL>(B, weight vector, $B%7%U%H%Y%/%H%k(B m $B$rM?$($k$H(B ring (with schreyer order) |
| |
$B$r:n$k(B. ==> weyl<m>, weyl |
| |
parser $B$O$H$/$K:n$kI,MW$,$J$$$h$&$K8+$($k$,(B... ==> name |
| |
$B%Y%/%H%k(B <---> es $BI=8=(B cf. toVectors, [(toe_) f] gbext ==> name |
| |
$BE,@Z$J(B homogenization $B4X?t(B ==> homogenize<m> |
| |
ord_w $B$N(B schreyer $BHG(B ==> ord_w<m> |
| |
init $B$N(B schreyer $BHG(B ==> init<m> |
| |
gb_h, syz_h $B$NBP1~HG(B ==> [ ii vv ww m] syz_h |
| |
resolution $B$+$i(B shift vector $B$r7W;;$9$k4X?t(B. |
| |
|
| |
$B>e$N(B $B%7%U%H%Y%/%H%kBP1~HG$N4X?t$OEvJ,(B new.sm1 $B$X(B. $B$=$N$"$H(B complex.sm1 $B$X(B. |
| |
|
| |
cohom.sm1 $B$N(B interface $B4X?t$O(B cohom.k $B$X(B. |
| |
Help key word $B$O(B (Cohom.deRham) $B$_$?$$$K(B, . $B$G$/$.$C$F=q$/(B. |
| |
test13() GKZ $B$N(B minimal free resolution. |
| |
|
![[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