[BACK]Return to appendix.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-doc / parts

Diff for /OpenXM/src/asir-doc/parts/appendix.texi between version 1.9 and 1.11

version 1.9, 2002/09/03 01:50:57 version 1.11, 2003/04/20 08:01:24
Line 1 
Line 1 
 @comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.8 2002/08/13 07:44:06 noro Exp $  @comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.10 2002/09/10 01:40:01 noro Exp $
 \BJP  \BJP
 @node $BIUO?(B,,, Top  @node $BIUO?(B,,, Top
 @appendix $BIUO?(B  @appendix $BIUO?(B
Line 133 
Line 133 
 \E  \E
 \BEG  \BEG
 <option>:  <option>:
     Character sequence beginning with an alphabetical letter @samp{=} <expression>      Character sequence beginning with an alphabetical letter @samp{=} <expr>
 \E  \E
 @end example  @end example
   
Line 440  factorization @code{af()}. (@xref{asq af af_noalg}.)
Line 440  factorization @code{af()}. (@xref{asq af af_noalg}.)
 x^9-15*x^6-87*x^3-125  x^9-15*x^6-87*x^3-125
 0msec  0msec
 [177] af(Alg[5],[newalg(Alg[5])]);  [177] af(Alg[5],[newalg(Alg[5])]);
 [[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],  [[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x
 [75*x^2+(-10*#0^7+175*#0^4+395*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],  +(3*#0^8-45*#0^5-261*#0^2),1],
 [25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],[x^2+(#0)*x+(#0^2),1],  [75*x^2+(-10*#0^7+175*#0^4+395*#0)*x
 [x+(-#0),1]]  +(3*#0^8-45*#0^5-261*#0^2),1],
   [25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],
   [x^2+(#0)*x+(#0^2),1],[x+(-#0),1]]
 3.600sec + gc : 1.040sec  3.600sec + gc : 1.040sec
 @end example  @end example
 @item ifplot  @item ifplot
 \BJP  \BJP
 $BIA2h(B (@ref{ifplot conplot plot plotover}) $B$N$?$a$NNc(B. @code{IS[]} $B$K$OM-L>$J(B  $BIA2h(B (@ref{ifplot conplot plot polarplot plotover}) $B$N$?$a$NNc(B. @code{IS[]} $B$K$OM-L>$J(B
 $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,  $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,
 $B%9%Z!<%I(B ($B$i$7$-(B) $B6J@~$NNc$,F~$C$F$$$k(B.  $B%9%Z!<%I(B ($B$i$7$-(B) $B6J@~$NNc$,F~$C$F$$$k(B.
 \E  \E
 \BEG  \BEG
 Examples for plotting. (@xref{ifplot conplot plot plotover}.)  Examples for plotting. (@xref{ifplot conplot plot polarplot plotover}.)
 Vector @code{IS[]} contains several famous algebraic curves.  Vector @code{IS[]} contains several famous algebraic curves.
 Variables @code{H, D, C, S} contains something like the suits  Variables @code{H, D, C, S} contains something like the suits
 (Heart, Diamond, Club, and Spade) of cards.  (Heart, Diamond, Club, and Spade) of cards.
Line 480  is defined.  Its returns a rather complex result.
Line 482  is defined.  Its returns a rather complex result.
 [84] load("ratint")$  [84] load("ratint")$
 [102] ratint(x^6/(x^5+x+1),x);  [102] ratint(x^6/(x^5+x+1),x);
 [1/2*x^2,  [1/2*x^2,
 [[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),161*t#2^3-23*t#2^2+15*t#2-1],  [[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),
   161*t#2^3-23*t#2^2+15*t#2-1],
 [(#1)*log(-5*x+(-21*#1-4)),21*t#1^2+3*t#1+1]]]  [(#1)*log(-5*x+(-21*#1-4)),21*t#1^2+3*t#1+1]]]
 @end example  @end example
 \BJP  \BJP
Line 513  result and then summing them up all.
Line 516  result and then summing them up all.
 \E  \E
 @item primdec  @item primdec
 \BJP  \BJP
 $BB?9`<0%$%G%"%k$N=`AG%$%G%"%kJ,2r$H$=$N:,4p$NAG%$%G%"%kJ,2r(B  $BM-M}?tBN>e$NB?9`<0%$%G%"%k$N=`AG%$%G%"%kJ,2r$H$=$N:,4p$NAG%$%G%"%kJ,2r(B
 (@pxref{primadec primedec}).  (@pxref{primadec primedec}).
 \E  \E
 \BEG  \BEG
 Primary ideal decomposition of polynomial ideals and prime compotision  Primary ideal decomposition of polynomial ideals and prime compotision
 of radicals (@pxref{primadec primedec}).  of radicals over the rationals (@pxref{primadec primedec}).
 \E  \E
   @item primdec_mod
   \BJP
   $BM-8BBN>e$NB?9`<0%$%G%"%k$N:,4p$NAG%$%G%"%kJ,2r(B
   (@pxref{primedec_mod}).
   \E
   \BEG
   Prime decomposition of radicals of polynomial ideals
   over finite fields (@pxref{primedec_mod}).
   \E
 @end table  @end table
   
 \BJP  \BJP
Line 594  available for UNIX commands, including @samp{asir}.
Line 606  available for UNIX commands, including @samp{asir}.
 [[1,1],[x-1,1],[x^4+x^3+x^2+x+1,1]]  [[1,1],[x-1,1],[x^4+x^3+x^2+x+1,1]]
 [1] !!                              /* !!+Return                      */  [1] !!                              /* !!+Return                      */
 \BJP  \BJP
 fctr(x^5-1);                        /* $BD>A0$NF~NO$,8=$l$k$FJT=8$G$-$k(B */  fctr(x^5-1);                        /* $BD>A0$NF~NO$,8=$l$FJT=8$G$-$k(B */
 ...                                 /* $BJT=8(B+Return                    */  ...                                 /* $BJT=8(B+Return                  */
 \E  \E
 \BEG  \BEG
 fctr(x^5-1);                        /* The last input appears.        */  fctr(x^5-1);                        /* The last input appears.        */
Line 1208  J. Symb. Comp. 20 (1995), 364-397.
Line 1220  J. Symb. Comp. 20 (1995), 364-397.
 Traverso, C., "Groebner trace algorithms", Proc. ISSAC '88(LNCS 358), 125-138.  Traverso, C., "Groebner trace algorithms", Proc. ISSAC '88(LNCS 358), 125-138.
 @item [Weber]  @item [Weber]
 Weber, K., "The accelerated Integer GCD Algorithm", ACM TOMS, 21, 1(1995), 111-122.  Weber, K., "The accelerated Integer GCD Algorithm", ACM TOMS, 21, 1(1995), 111-122.
   @item [Yokoyama]
   Yokoyama, K., "Prime decomposition of polynomial ideals over finite fields",
   Proc. ICMS, (2002), 217-227.
 @end table  @end table
   
Legend:
Removed from v.1.9  
changed lines
  Added in v.1.11
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>