Return to appendix.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts

Annotation of OpenXM/src/asir-doc/parts/appendix.texi, Revision 1.1

1.1     ! noro        1: @node $BIUO?(B,,, Top
        !             2: @appendix $BIUO?(B
        !             3:
        !             4: @menu
        !             5: * $BJ8K!$N>\:Y(B::
        !             6: * $BE:IU$N%f!<%6Dj5AH!?t%U%!%$%k(B::
        !             7: * $BF~NO%$%s%?%U%'!<%9(B::
        !             8: * $BJQ99E@(B::
        !             9: * $BJ88%(B::
        !            10: @end menu
        !            11:
        !            12: @node $BJ8K!$N>\:Y(B,,, $BIUO?(B
        !            13: @section $BJ8K!$N>\:Y(B
        !            14:
        !            15: @example
        !            16: <$B<0(B>: (@xref{$B$5$^$6$^$J<0(B})
        !            17:     @samp{(}<$B<0(B>@samp{)}
        !            18:     <$B<0(B> <$BFs9`1i;;;R(B> <$B<0(B>
        !            19:     @samp{+} <$B<0(B>
        !            20:     @samp{-} <$B<0(B>
        !            21:     <$B:8JUCM(B>
        !            22:     <$B:8JUCM(B> <$BBeF~1i;;;R(B> <$B<0(B>
        !            23:     <$B:8JUCM(B> @samp{++}
        !            24:     <$B:8JUCM(B> @samp{--}
        !            25:     @samp{++} <$B:8JUCM(B>
        !            26:     @samp{--} <$B:8JUCM(B>
        !            27:     @samp{!} <$B<0(B>
        !            28:     <$B<0(B> @samp{?} <$B<0(B> @samp{:} <$B<0(B>
        !            29:     <$BH!?t(B> @samp{(} <$B<0JB$S(B> @samp{)}
        !            30:     <$BJ8;zNs(B>
        !            31:     <$B;X?t%Y%/%H%k(B>
        !            32:     <$B%"%H%`(B>
        !            33:     <$B%j%9%H(B>
        !            34: @end example
        !            35:
        !            36: @example
        !            37: <$B:8JUCM(B>:
        !            38:     <$BJQ?t(B> [@samp{[}<$B<0(B>@samp{]}]*
        !            39: @end example
        !            40:
        !            41: @example
        !            42: <$BFs9`1i;;;R(B>:
        !            43:     @samp{+} @samp{-} @samp{*} @samp{/} @samp{%} @samp{^}($BQQ(B)
        !            44:     @samp{==} @samp{!=} @samp{<} @samp{>} @samp{<=} @samp{>=} @samp{&&} @samp{||}
        !            45: @end example
        !            46:
        !            47: @example
        !            48: <$BBeF~1i;;;R(B>:
        !            49:     @samp{=} @samp{+=} @samp{-=} @samp{*=} @samp{/=} @samp{%=} @samp{^=}
        !            50: @end example
        !            51:
        !            52: @example
        !            53: <$B<0JB$S(B>:
        !            54:     <$B6u(B>
        !            55:     <$B<0(B> [@samp{,} <$B<0(B>]*
        !            56: @end example
        !            57:
        !            58: @example
        !            59: <$B%j%9%H(B>:
        !            60:     @samp{[} <$B<0JB$S(B> @samp{]}
        !            61: @end example
        !            62:
        !            63: @example
        !            64: <$BJQ?t(B>: (@xref{$BJQ?t$*$h$SITDj85(B})
        !            65:     $BBgJ8;z$G;O$^$kJ8;zNs(B (X,Y,Japan $B$J$I(B)
        !            66: @end example
        !            67:
        !            68: @example
        !            69: <$BH!?t(B>:
        !            70:    $B>.J8;z$G;O$^$kJ8;zNs(B (fctr,gcd $B$J$I(B)
        !            71: @end example
        !            72:
        !            73: @example
        !            74: <$B%"%H%`(B>:
        !            75:    <$BITDj85(B>
        !            76:    <$B?t(B>
        !            77: @end example
        !            78:
        !            79: @example
        !            80: <$BITDj85(B>: (@xref{$BJQ?t$*$h$SITDj85(B})
        !            81:    $B>.J8;z$G;O$^$kJ8;zNs(B (a,bCD,c1_2 $B$J$I(B)
        !            82: @end example
        !            83:
        !            84: @example
        !            85: <$B?t(B>: (@xref{$B?t$N7?(B})
        !            86:    <$BM-M}?t(B>
        !            87:    <$BIbF0>.?t(B>
        !            88:    <$BBe?tE*?t(B>
        !            89:    <$BJ#AG?t(B>
        !            90: @end example
        !            91:
        !            92: @example
        !            93: <$BM-M}?t(B>:
        !            94:    0, 1, -2, 3/4
        !            95: @end example
        !            96:
        !            97: @example
        !            98: <$BIbF0>.?t(B>:
        !            99:    0.0, 1.2e10
        !           100: @end example
        !           101:
        !           102: @example
        !           103: <$BBe?tE*?t(B>: (@xref{$BBe?tE*?t$K4X$9$k1i;;(B})
        !           104:    newalg(x^2+1), alg(0)^2+1
        !           105: @end example
        !           106:
        !           107: @example
        !           108: <$BJ#AG?t(B>:
        !           109:    1+@code{@@i}, 2.3*@code{@@i}
        !           110: @end example
        !           111:
        !           112: @example
        !           113: <$BJ8;zNs(B>:
        !           114:    @samp{"} $B$G0O$^$l$?J8;zNs(B
        !           115: @end example
        !           116:
        !           117: @example
        !           118: <$B;X?t%Y%/%H%k(B>: (@xref{$B%0%l%V%J4pDl$N7W;;(B})
        !           119:    @samp{<<} <$B<0JB$S(B> @samp{>>}
        !           120: @end example
        !           121:
        !           122: @example
        !           123: <$BJ8(B>: (@xref{$BJ8(B})
        !           124:     <$B<0(B> <$B=*C<(B>
        !           125:     <$BJ#J8(B>
        !           126:     @samp{break} <$B=*C<(B>
        !           127:     @samp{continue} <$B=*C<(B>
        !           128:     @samp{return} <$B=*C<(B>
        !           129:     @samp{return} <$B<0(B> <$B=*C<(B>
        !           130:     @samp{if} @samp{(} <$B<0JB$S(B> @samp{)} <$BJ8(B>
        !           131:     @samp{if} @samp{(} <$B<0JB$S(B> @samp{)} <$BJ8(B> @samp{else} <$BJ8(B>
        !           132:     @samp{for} @samp{(} <$B<0JB$S(B> @samp{;} <$B<0JB$S(B> @samp{;} <$B<0JB$S(B> @samp{)} <$BJ8(B>
        !           133:     @samp{do} <$BJ8(B> @samp{while} @samp{(} <$B<0JB$S(B> @samp{)} <$B=*C<(B>
        !           134:     @samp{while} @samp{(} <$B<0JB$S(B> @samp{)} <$BJ8(B>
        !           135:     @samp{def} <$BH!?t(B> @samp{(} <$B<0JB$S(B> @samp{)} @samp{@{} <$BJQ?t@k8@(B> <$BJ8JB$S(B> @samp{@}}
        !           136:     @samp{end(quit)} <$B=*C<(B>
        !           137: @end example
        !           138:
        !           139: @example
        !           140: <$B=*C<(B>:
        !           141:     @samp{;} @samp{$}
        !           142: @end example
        !           143:
        !           144: @example
        !           145: <$BJQ?t@k8@(B>:
        !           146:     [@samp{extern} <$BJQ?t(B> [@samp{,} <$BJQ?t(B>]* <$B=*C<(B>]*
        !           147: @end example
        !           148:
        !           149: @example
        !           150: <$BJ#J8(B>:
        !           151:     @samp{@{} <$BJ8JB$S(B> @samp{@}}
        !           152: @end example
        !           153:
        !           154: @example
        !           155: <$BJ8JB$S(B>:
        !           156:     [<$BJ8(B>]*
        !           157: @end example
        !           158:
        !           159: @node $BE:IU$N%f!<%6Dj5AH!?t%U%!%$%k(B,,, $BIUO?(B
        !           160: @section $BE:IU$N%f!<%6Dj5AH!?t%U%!%$%k(B
        !           161:
        !           162: @noindent
        !           163: $BI8=`%i%$%V%i%j%G%#%l%/%H%j(B ($B%G%U%)%k%H$G$O(B @samp{/usr/local/lib/asir}) $B$K$O(B
        !           164: $B$$$/$D$+$N%f!<%6Dj5AH!?t%U%!%$%k$,$*$+$l$F$$$k(B. $B$3$l$i$N$&$A$N<g$J$b$N$K$D$$$F(B
        !           165: $B@bL@$9$k(B.
        !           166:
        !           167: @table @samp
        !           168: @item fff
        !           169: $BBgI8?tAGBN$*$h$SI8?t(B 2 $B$NM-8BBN>e$N0lJQ?tB?9`<00x?tJ,2r(B (@xref{$BM-8BBN$K4X$9$k1i;;(B})
        !           170: @item gr
        !           171: $B%0%l%V%J4pDl7W;;%Q%C%1!<%8(B.  (@xref{$B%0%l%V%J4pDl$N7W;;(B})
        !           172: @item sp
        !           173: $BBe?tE*?t$N1i;;$*$h$S0x?tJ,2r(B, $B:G>.J,2rBN(B. (@xref{$BBe?tE*?t$K4X$9$k1i;;(B})
        !           174: @item alpi
        !           175: @itemx bgk
        !           176: @itemx cyclic
        !           177: @itemx katsura
        !           178: @itemx kimura
        !           179: $B%0%l%V%J4pDl7W;;$K$*$$$F(B, $B%Y%s%A%^!<%/$=$NB>$GMQ$$$i$l$kNc(B.
        !           180: (@xref{katsura hkatsura cyclic hcyclic})
        !           181: @item defs.h
        !           182: $B$$$/$D$+$N%^%/%mDj5A(B. (@xref{$B%W%j%W%m%;%C%5(B})
        !           183: @item fctrtest
        !           184: $B@0?t>e$NB?9`<0$N0x?tJ,2r$N%F%9%H(B. REDUCE $B$N(B @samp{factor.tst} $B$*$h$S(B
        !           185: $B=EJ#EY$NBg$-$$$$$/$D$+$NNc$r4^$`(B. $B$3$l$O(B, @code{load()} $B$9$k$H(B
        !           186: $BD>$A$K7W;;$,;O$^$k(B. $BF~<j$7$?(B @b{Asir} $B$,@5$7$/F0:n$7$F$$$k$+$N(B
        !           187: $B%F%9%H$K$b;H$&$3$H$,$G$-$k(B.
        !           188: @item fctrdata
        !           189: @samp{fctrtest} $B$G;H$o$l$F$$$kNc$r4^$`(B, $B0x?tJ,2r%F%9%HMQ$NNc(B.
        !           190: @code{Alg[]} $B$K<}$a$i$l$F$$$kNc$O(B, @code{af()} (@xref{asq af}) $BMQ$NNc$G$"$k(B.
        !           191: @example
        !           192: [45] load("sp")$
        !           193: [84] load("fctrdata")$
        !           194: [175] cputime(1)$
        !           195: 0msec
        !           196: [176] Alg[5];
        !           197: x^9-15*x^6-87*x^3-125
        !           198: 0msec
        !           199: [177] af(Alg[5],[newalg(Alg[5])]);
        !           200: [[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],
        !           201: [75*x^2+(-10*#0^7+175*#0^4+395*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],
        !           202: [25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],[x^2+(#0)*x+(#0^2),1],
        !           203: [x+(-#0),1]]
        !           204: 3.600sec + gc : 1.040sec
        !           205: @end example
        !           206: @item ifplot
        !           207: $BIA2h(B (@xref{ifplot conplot plot plotover}) $B$N$?$a$NNc(B. @code{IS[]} $B$K$OM-L>$J(B
        !           208: $B6J@~$NNc(B, $BJQ?t(B @code{H, D, C, S} $B$K$O%H%i%s%W$N%O!<%H(B, $B%@%$%d(B, $B%/%i%V(B,
        !           209: $B%9%Z!<%I(B ($B$i$7$-(B) $B6J@~$NNc$,F~$C$F$$$k(B.
        !           210: @item num
        !           211: $B?t$K4X$9$k4JC1$J1i;;H!?t$NNc(B.
        !           212: @item mat
        !           213: $B9TNs$K4X$9$k4JC1$J1i;;H!?t$NNc(B.
        !           214: @item ratint
        !           215: $BM-M}H!?t$NITDj@QJ,(B. @samp{sp}, @samp{gr} $B$,I,MW(B. @code{ratint()} $B$H$$$&(B
        !           216: $BH!?t$,Dj5A$5$l$F$$$k$,(B, $B$=$NJV$97k2L$O$d$dJ#;($G$"$k(B. $BNc$G@bL@$9$k(B.
        !           217: @example
        !           218: [0] load("gr")$
        !           219: [45] load("sp")$
        !           220: [84] load("ratint")$
        !           221: [102] ratint(x^6/(x^5+x+1),x);
        !           222: [1/2*x^2,
        !           223: [[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),161*t#2^3-23*t#2^2+15*t#2-1],
        !           224: [(#1)*log(-5*x+(-21*#1-4)),21*t#1^2+3*t#1+1]]]
        !           225: @end example
        !           226: $B$3$NNc$G$O(B, @code{x^6/(x^5+x+1)} $B$NITDj@QJ,$N7W;;$r9T$C$F$$$k(B.
        !           227: $B7k2L$O(B 2 $B$D$NMWAG$+$i$J$k%j%9%H$G(B, $BBh(B 1 $BMWAG$OITDj@QJ,$NM-M}ItJ,(B,
        !           228: $BBh(B 2 $BMWAG$OBP?tItJ,$rI=$9(B. $BBP?tItJ,$O99$K%j%9%H$H$J$C$F$$$F(B, $B3FMWAG$O(B,
        !           229: @code{[root*log(poly),defpoly]} $B$H$$$&7A$r$7$F$$$k(B. $B$3$l$O(B, $BITDj@QJ,$K(B
        !           230: $B$*$$$F$O(B, @code{defpoly} $B$NA4$F$N:,(B @code{root} $B$KBP$7$F(B @code{root*log(poly)}
        !           231: $B$r:n$j$=$l$i$rB-$79g$o$;$k$H$$$&0UL#$G$"$k(B. $B$3$3$G(B @code{poly} $B$O(B
        !           232: @code{root} $B$r4^$s$G$$$F(B, @code{root} $B$rF~$lBX$($k>l9g$K$O(B @code{poly}
        !           233: $B$KBP$7$F$bF1$8A`:n$r9T$&$b$N$H$9$k(B. $B$3$NA`:n$r(B, $B7k2L$NBh(B 2 $BMWAG$N(B
        !           234: $B3F@.J,$KBP$7$F9T$C$F(B, $BA4$F$rB-$79g$o$;$?$b$N$,BP?tItJ,$H$J$k(B.
        !           235: @item primdec
        !           236: $BB?9`<0%$%G%"%k$N=`AG%$%G%"%kJ,2r$H$=$N:,4p$NAG%$%G%"%kJ,2r(B
        !           237: (@code{[Shimoyama,Yokoyama]} $B;2>H(B).
        !           238: $B=`AG%$%G%"%kJ,2r$O(B @code{primadec()}, $BAG%$%G%"%kJ,2r$O(B, @code{primedec()}
        !           239: $B$H$$$&4X?t$G(B, $BMQ0U$5$l$F$$$k(B. $B0z?t$O(B, $BB?9`<0%j%9%H$HJQ?t$G$"$k(B.
        !           240: $BM-M}<078?t$NB?9`<0%$%G%"%k$d(B, 0$B<!85$G$J$$%$%G%"%k$b07$($k(B.
        !           241: @code{primadec} $B$O(B, $B=`AG@.J,$H$=$NAG@.J,$N%Z%"%j%9%H$N%j%9%H$rJV$9(B.
        !           242: @code{primedec} $B$O(B, $BAG@.J,$N%j%9%H$rJV$9(B.
        !           243: $B$=$N7k2L$O$$$:$l$b%0%l%V%J4pDl$K$J$C$F$$$k$,(B, $B$=$N(B
        !           244: $BJQ?t=g=x$O(B, $B$=$l$>$lBg0hJQ?t(B @code{PRIMAORD}, @code{PRIMEORD}
        !           245:  $B$NCM(B 0,1 $B$"$k$$$O(B 2 $B$K$h$C$F7h$^$k(B.
        !           246: @example
        !           247: [84] load("primdec")$
        !           248: [102] primedec([p*q*x-q^2*y^2+q^2*y,-p^2*x^2+p^2*x+p*q*y,
        !           249: (q^3*y^4-2*q^3*y^3+q^3*y^2)*x-q^3*y^4+q^3*y^3,
        !           250: -q^3*y^4+2*q^3*y^3+(-q^3+p*q^2)*y^2],[p,q,x,y]);
        !           251: [[y,x],[y,p],[x,q],[q,p],[x-1,q],[y-1,p],[(y-1)*x-y,q*y^2-2*q*y-p+q]]
        !           252: [103] primadec([x,z*y,w*y^2,w^2*y-z^3,y^3],[x,y,z,w]);
        !           253: [[[x,z*y,y^2,w^2*y-z^3],[z,y,x]],[[w,x,z*y,z^3,y^3],[w,z,y,x]]]
        !           254: @end example
        !           255: @end table
        !           256:
        !           257: @node $BF~NO%$%s%?%U%'!<%9(B,,, $BIUO?(B
        !           258: @section $BF~NO%$%s%?%U%'!<%9(B
        !           259:
        !           260: $B4{$K=R$Y$?$h$&$K(B, DOS $BHG(B, Windows $BHG(B, Macintosh $BHG$G$OF~NO%$%s%?%U%'!<%9$H(B
        !           261: $B$7$F%3%^%s%I%i%$%sJT=8$*$h$S%R%9%H%jCV$-49$($,AH$_9~$^$l$F$$$k(B. UNIX $BHG$G$O(B
        !           262: $B$3$N$h$&$J5!G=$OAH$_9~$^$l$F$$$J$$$,(B, $B0J2<$G=R$Y$k$h$&$JF~NO%$%s%?%U%'!<%9(B
        !           263: $B$,MQ0U$5$l$F$$$k(B. $B$3$l$i$O(B @b{Asir} $B%P%$%J%j$H$H$b$K(B ftp $B2DG=$G$"$k(B.
        !           264: ftp server $B$K4X$7$F$O(B @xref{$BF~<jJ}K!(B}.
        !           265:
        !           266: @menu
        !           267: * fep::
        !           268: * asir.el::
        !           269: @end menu
        !           270:
        !           271: @node fep,,, $BF~NO%$%s%?%U%'!<%9(B
        !           272: @subsection fep
        !           273:
        !           274: @noindent
        !           275: fep $B$H$O(B, SRA $B$N2NBe;a$K$h$j3+H/$5$l$?%3%^%s%I%i%$%sJT=8(B, $B%R%9%H%jCV$-49$((B
        !           276: $BMQ$NF~NO%U%m%s%H%(%s%I$G$"$k(B. $B$3$N%W%m%0%i%`$N85$G(B @samp{asir} $B$r5/F0$9$k(B
        !           277: $B$3$H$K$h$j(B vi $B$"$k$$$O(B emacs $BIw$N%3%^%s%I%i%$%sJT=8$*$h$S(B csh $BIw$N%R%9%H%j(B
        !           278: $BCV$-49$($,2DG=$K$J$k(B.
        !           279:
        !           280: @example
        !           281: % fep asir
        !           282: ...
        !           283: [0] fctr(x^5-1);
        !           284: [[1,1],[x-1,1],[x^4+x^3+x^2+x+1,1]]
        !           285: [1] !!                              /* !!+Return                      */
        !           286: fctr(x^5-1);                        /* $BD>A0$NF~NO$,8=$l$k$FJT=8$G$-$k(B */
        !           287: ...                                 /* $BJT=8(B+Return                    */
        !           288: fctr(x^5+1);
        !           289: [[1,1],[x+1,1],[x^4-x^3+x^2-x+1,1]]
        !           290: @end example
        !           291:
        !           292: @noindent
        !           293: fep $B$O%U%j!<%=%U%H$G%=!<%9$,F~<j2DG=$G$"$k$,(B, $B%*%j%8%J%k$N$b$N$O(B make $B$G$-$k(B
        !           294: $B5!<o(B (OS) $B$,8B$i$l$F$$$k(B. $B$$$/$D$+$N5!<o>e$GF0:n$9$k$h$&$K2f!9$,2~B$$7$?$b$N(B
        !           295: $B$,(B, ftp $B$GF~<j2DG=$G$"$k(B.
        !           296:
        !           297: @node asir.el,,, $BF~NO%$%s%?%U%'!<%9(B
        !           298: @subsection asir.el
        !           299:
        !           300: @noindent
        !           301: @samp{asir.el} $B$O(B, @b{Asir} $B$N(B GNU Emacs $B%$%s%?%U%'!<%9$G$"$k(B ($BCx<T$O(B
        !           302: $B5\Eh8w<#;a(B (@code{YVE25250@@pcvan.or.jp}).  @samp{asir.el} $B$K$*$$$F$O(B,
        !           303: $BDL>o$N(B emacs $B$G2DG=$JJT=85!G=$NB>$K(B, $B%U%!%$%kL>(B, $B%3%^%s%IL>$N(B completion
        !           304: $B$,<B8=$5$l$F$$$k(B.
        !           305:
        !           306: @noindent
        !           307: @samp{asir.el} $B$O(B PC-VAN $B$G(B
        !           308: $B4{$K8x3+$5$l$F$$$k$,(B, $B:#2s$N2~D{$KH<$&JQ99$r9T$C$?$b$N$,(B, $B$d$O$j(B ftp $B$G(B
        !           309: $BF~<j2DG=$G$"$k(B.
        !           310:
        !           311: @noindent
        !           312: $B%;%C%H%"%C%W(B, $B;HMQJ}K!$O(B, @samp{asir.el} $B$N@hF,$K5-=R$5$l$F$$$k(B.
        !           313:
        !           314: @node $BJQ99E@(B,,, $BIUO?(B
        !           315: @section $BJQ99E@(B
        !           316:
        !           317: @menu
        !           318: * Version 990831::
        !           319: * Version 950831::
        !           320: * Version 940420::
        !           321: @end menu
        !           322:
        !           323: @node Version 990831,,, $BJQ99E@(B
        !           324: @subsection Version 990831
        !           325:
        !           326: 4 $BG/$V$j$NBg2~D{(B. $B@0?t$N(B 32bit $B2=B>(B, $BCf?H$O$:$$$V$sJQ$o$C$F$$$k$b$N$N(B,
        !           327: $B8+3]$1$O$=$l$[$IJQ$o$C$F$$$k$h$&$K$O8+$($J$$(B. $B$`$7$m(B, Windows $BHG$J$I$O(B,
        !           328: plot $B$,;H$($J$$$?$a(B, $BB`2=$7$F$$$k(B.
        !           329:
        !           330: $B5lHG$N%f!<%6$,$b$C$H$bCm0U$9$Y$-E@$O(B, $B5lHG$G:n$C$?(B bsave file $B$rFI$_9~$`(B
        !           331: $B>l9g$O(B @code{bload27} $B$r;H$&I,MW$,$"$k(B, $B$H$$$&E@$G$"$k(B.
        !           332:
        !           333: @node Version 950831,,, $BJQ99E@(B
        !           334: @subsection Version 950831
        !           335:
        !           336: @menu
        !           337: * $B%G%P%C%,(B($BJQ99(B)::
        !           338: * $BAH$_9~$_H!?t(B($BJQ99(B)::
        !           339: * $B%0%l%V%J4pDl(B($BJQ99(B)::
        !           340: * $B$=$NB>(B($BJQ99(B)::
        !           341: @end menu
        !           342:
        !           343: @node $B%G%P%C%,(B($BJQ99(B),,, Version 950831
        !           344: @subsubsection $B%G%P%C%,(B
        !           345:
        !           346: @itemize @bullet
        !           347: @item
        !           348: $BG$0U$N;~E@$K%G%P%C%0%b!<%I$KF~$l$k(B.
        !           349: @item
        !           350: @code{finish} $B%3%^%s%I$NDI2C(B.
        !           351: @item
        !           352: @code{up}, @code{down}, @code{frame} $B%3%^%s%I$K$h$k(B, $BG$0U$N%9%?%C%/%U%l!<%`(B
        !           353: $B$N;2>H(B.
        !           354: @item
        !           355: @code{trace} $B%3%^%s%I$NDI2C(B.
        !           356: @end itemize
        !           357:
        !           358: @node $BAH$_9~$_H!?t(B($BJQ99(B),,, Version 950831
        !           359: @subsubsection $BAH$_9~$_H!?t(B
        !           360:
        !           361: @itemize @bullet
        !           362: @item
        !           363: @code{sdiv()} $B$J$I$K$*$1$k(B, $B<gJQ?t$N;XDj$N%5%]!<%H(B.
        !           364: @item
        !           365: @code{sdivm()} $B$J$I(B, $BM-8BBN>e$G$NB?9`<0=|;;$NDI2C(B.
        !           366: @item
        !           367: @code{det()}, @code{res()} $B$J$I$K$*$1$k(B, $BM-8BBN>e$G$N7W;;$N%5%]!<%H(B
        !           368: @item
        !           369: @code{vtol()} ($B%Y%/%H%k$+$i%j%9%H$X$NJQ49(B) $B$NDI2C(B.
        !           370: @item
        !           371: @code{map()} $B$NDI2C(B.
        !           372: @end itemize
        !           373:
        !           374: @node $B%0%l%V%J4pDl(B($BJQ99(B),,, Version 950831
        !           375: @subsubsection $B%0%l%V%J4pDl(B
        !           376:
        !           377: @itemize @bullet
        !           378: @item
        !           379: $B%0%l%V%J4pDl7W;;5!G=$NAH$_9~$_H!?t2=(B.
        !           380: @item
        !           381: @code{grm()}, @code{hgrm()} $B$,(B @code{gr()}, @code{hgr()} $B$KJQ99(B.
        !           382: @item
        !           383: @code{gr()}, @code{hgr()} $B$K$*$$$F(B, $B9`=g=x$N;XDj$,I,MW$K$J$C$?(B.
        !           384: @item
        !           385: $B9`=g=x$N;XDjJ}K!$,3HD%$5$l$?(B.
        !           386: @item
        !           387: $BM-8BBN>e$N%0%l%V%J4pDl7W;;$N%5%]!<%H(B.
        !           388: @item
        !           389: $B4pDlJQ49$K$h$k<-=q<0=g=x%0%l%V%J4pDl7W;;$N%5%]!<%H(B.
        !           390: @item
        !           391: $B$$$/$D$+$N?7$7$$AH$_9~$_H!?t$NDs6!(B.
        !           392: @end itemize
        !           393:
        !           394: @node $B$=$NB>(B($BJQ99(B),,, Version 950831
        !           395: @subsubsection $B$=$NB>(B
        !           396:
        !           397: @itemize @bullet
        !           398: @item
        !           399: $BJ,;67W;;MQ%D!<%k(B, $BH!?t$NDI2C(B.
        !           400: @item
        !           401: $BBe?tBN>e$N(B GCD $B7W;;$K$*$1$k%b%8%e%i7W;;$N1~MQ(B.
        !           402: @item
        !           403: $B%$%G%"%k$N=`AGJ,2r$N%5%]!<%H(B.
        !           404: @item
        !           405: Windows $B$X$N0\?"(B.
        !           406: @end itemize
        !           407:
        !           408: @node Version 940420,,, $BJQ99E@(B
        !           409: @subsection Version 940420
        !           410:
        !           411: @noindent
        !           412: $B:G=i$N8x3+HG(B.
        !           413:
        !           414: @node $BJ88%(B,,, $BIUO?(B
        !           415: @section $BJ88%(B
        !           416: @table @code
        !           417: @item [Batut et al.]
        !           418: Batut, C., Bernardi, D., Cohen, H., Olivier, M., "User's Guide to PARI-GP",
        !           419: 1993.
        !           420: @item [Becker,Weispfenning]
        !           421: Becker, T., Weispfenning, V., "Groebner Bases", Graduate Texts in Math. 141,
        !           422: Springer-Verlag, 1993.
        !           423: @item [Boehm,Weiser]
        !           424: Boehm, H., Weiser, M., "Garbage Collection in an Uncooperative
        !           425: Environment", Software Practice & Experience, September 1988, 807-820.
        !           426: @item [Gebauer,Moeller]
        !           427: Gebauer, R., Moeller, H. M., "An installation of Buchberger's algorithm",
        !           428: J. of Symbolic Computation 6, 275-286.
        !           429: @item [Giovini et al.]
        !           430: Giovini, A., Mora, T., Niesi, G., Robbiano, L., Traverso, C.,
        !           431: ""One sugar cube, please" OR Selection strategies in the Buchberger algorithm",
        !           432: Proc. ISSAC'91, 49-54.
        !           433: @item [Noro,Takeshima]
        !           434: Noro, M., Takeshima, T., "Risa/Asir -- A Computer Algebra System",
        !           435: Proc. ISSAC'92, 387-396.
        !           436: @item [Noro,Yokoyama]
        !           437: Noro, M., Yokoyama, K., "New methods for the change-of-ordering in Groebner
        !           438: basis computation", ISIS Research Report ISIS-RR-95-8E, 1995.
        !           439: @item [Shimoyama,Yokoyama]
        !           440: Shimoyama, T., Yokoyama, K.,
        !           441: "Localization and primary decomposition of polynomial ideals",
        !           442: to appear in J. Symb. Comp.
        !           443: @item [Traverso]
        !           444: Traverso, C., "Groebner trace algorithms", Proc. ISSAC '88(LNCS 358), 125-138.
        !           445: @end table
        !           446: