OpenXM/src/asir-doc/exp/exp-ja.texi - diff

Return to exp-ja.texi CVS log

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

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.29 and 1.31

-version 1.29, 2009/02/23 03:41:26
+version 1.31, 2009/02/23 05:51:23
 Line 1
 Line 1
 Line 1
- %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.28 2008/11/19 03:25:38 ohara Exp $
+ %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.30 2009/02/23 04:00:53 takayama Exp $
  \input texinfo
  @iftex
  @catcode`@#=6
 Line 148  ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe
 Line 148  ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe
 Line 148  ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe
  * chdir::
  * pwd::
  * dcurrenttime::
+ * node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (module)::
+ * node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (option)::
  @end menu
-Line 2688  B_{S0} length : 2
+Line 2690  B_{S0} length : 2
 Line 2688  B_{S0} length : 2
 Line 2690  B_{S0} length : 2
  [1432]
  @end example
+ @noindent
+ ChangeLog
+ @itemize @bullet
+ @item  $B$3$l$i$N4X?t$O(B OpenXM/src/asir-contrib/packages/src/nk_restriction.rr $B$GDj5A$5$l$F$$$k(B. nk_restriction.rr, 1.1--1.6 $B$r8+$h(B.
+ @end itemize
+ @node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (module),,, $B<B83E*;EMM$N4X?t(B
+ @subsection @code{nd_gr}, @code{nd_gr_trace} ($B2C72(B)
+ @findex nd_gr (module)
+ @findex nd_gr_trace (module)
+ @findex nd_weyl_gr (module)
+ @findex nd_weyl_gr_trace (module)
+ @comment --- nd_gr, nd_gr_trace $B$K$*$1$k2C72$N%0%l%V%J!<4pDl7W;;(B ---
+ @table @t
+ @item  nd_gr(@var{gen},@var{vars},@var{char},@var{ord})
+ @itemx  nd_gr_trace(@var{gen},@var{vars},@var{homo},@var{char},@var{ord})
+ @item  nd_weyl_gr(@var{gen},@var{vars},@var{char},@var{ord})
+ @itemx  nd_weyl_gr_trace(@var{gen},@var{vars},@var{homo},@var{char},@var{ord})
+ :: $BItJ,2C72$N%0%l%V%J!<4pDl$N7W;;(B
+ @end table
+ @table @var
+ @item gen
+ $B%j%9%H$N%j%9%H(B
+ @item ord
+ @var{[IsPOT,Ord]} $B$J$k%j%9%H(B
+ @item return
+ $B%j%9%H$N%j%9%H(B
+ @end table
+ @itemize @bullet
+ @item $BB?9`<04D$"$k$$$O%o%$%kBe?t>e$N<+M32C72$NItJ,2C72$N%0%l%V%J!<4pDl(B
+ $B$r7W;;$9$k(B. $B7k2L$O%j%9%H$N%j%9%H$G$"$k(B. $B3FMWAG%j%9%H$O(B, $B<+M32C72$N(B
+ $B85$G$"$k%Y%/%H%k$H$_$J$9(B.
+ @item @var{ord} $B$H$7$F(B @var{[IsPOT,Ord]} $B$H$$$&(B2$BMWAG%j%9%H$,;XDj$5$l$?(B
+ $B>l9g(B, $B2C72$N%0%l%V%J!<4pDl7W;;$r<B9T$9$k(B. $B$3$N>l9g(B, @var{gen} $B$O(B, $BB?9`<0(B
+ $B$N%j%9%H$N%j%9%H$H$7$FM?$($kI,MW$,$"$k(B.
+ @item @var{IsPOT} $B$,(B 1 $B$N>l9g(B, POT (position over term), 0 $B$N(B
+ $B>l9g(B TOP (term over position) $B$GHf3S$9$k(B. $B4pAC4D$G$N9`Hf3S$O(B @var{Ord}
+ $B$G9T$&(B.
+ @item $B@bL@$5$l$F$$$J$$0z?t$O(B, $B%$%G%"%k$N>l9g$N2r@b$r;2>H$N$3$H(B.
+ @end itemize
+ @example
+ [0] Gen=[[x,y,z],[y^2+x,x^2,z],[y^2,z^3+x,x+z]];
+ [[x,y,z],[x+y^2,x^2,z],[y^2,x+z^3,x+z]]
+ [1]  nd_gr(Gen,[x,y,z],0,[0,0]);
+ [[x,y,z],[y^2,x^2-y,0],[y^2,x+z^3,x+z],[y^3+z^3*y^2,y^3*x-y^3,
+ -x^3-z*x^2+(z*y^2+y)*x-z*y^2+z*y],[0,0,x^4+z*x^3+(-z*y^2-y)*x^2
+ +(-y^3+z*y^2-z*y)*x+z^4*y^2]]
+ @end example
+ @table @t
+ @item $B;2>H(B
+ @ref{nd_gr}, @ref{nd_gr_trace}
+ @end table
+ @node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (option),,, $B<B83E*;EMM$N4X?t(B
+ @subsection @code{nd_gr}, @code{nd_gr_trace} (option)
+ @findex nd_gr (option)
+ @findex nd_gr_trace (option)
+ @findex nd_weyl_gr (option)
+ @findex nd_weyl_gr_trace (option)
+ @comment --- nd_gr, nd_gr_trace $B$N%*%W%7%g%s(B ---
+ @table @t
+ @item  nd_gr(@var{...}[|@var{opt},@var{opt},@dots{}])
+ @itemx  nd_gr_trace(@var{...}[|@var{opt},@var{opt},@dots{}])
+ @itemx  nd_weyl_gr(@var{...}[|@var{opt},@var{opt},@dots{}])
+ @itemx  nd_weyl_gr_trace(@var{...}[|@var{opt},@var{opt},@dots{}])
+ :: $B%0%l%V%J!<4pDl7W;;$K4X$9$k<o!9$N%*%W%7%g%s$N@bL@(B
+ @end table
+ @table @var
+ @item opt
+ @var{key=value} $B$J$k%*%W%7%g%s@_Dj(B
+ @item return
+ $B%*%W%7%g%s$K$h$j0[$J$k(B
+ @end table
+ @itemize @bullet
+ @item $B%0%l%V%J!<4pDl7W;;$r%*%W%7%g%s$K$h$j@)8f$9$k(B.
+ @item $B8=>u$G$O<!$N(B 3 $B$D$N%*%W%7%g%s$r<u$1IU$1$k(B.
+ @table @var
+ @item gentrace
+ @var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B%0%l%V%J!<4pDl$N7W;;7P2a>pJs$r=PNO$9$k(B.
+ @item gentsyz
+ @var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B7W;;$5$l$?%0%l%V%J!<4pDl$KBP$9$k(B syzygy $B$N@8@.7O$r=PNO$9$k(B.
+ @item nora
+ @var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B:G=*%9%F%C%W$GAj8_4JLs$r9T$o$J$$(B.
+ @end table
+ @item @var{gentrace} $B$,;XDj$5$l$?>l9g(B, $B=PNO$O(B,
+ @var{[GB,Homo,Trace,IntRed,Ind,InputRed,SpairTrace]} $B$J$k%j%9%H$G$"$k(B. $B3FMWAG$N0UL#$O(B
+ $B<!$NDL$j$G$"$k(B.
+ @table @var
+ @item GB
+ $B%0%l%V%J!<4pDl(B
+ @item Homo
+ $BCf4V4pDl$,@F<!2=$5$l$F$$$k>l9g(B 1, $B$=$&$G$J$$>l9g(B 0.
+ @item Trace
+ $BA4Cf4V4pDl$KBP$9$k7W;;7P2a>pJs(B
+ @item IntRed
+ $BAj8_4JLs$KBP$9$k7W;;7P2a>pJs(B
+ @item Ind
+ $B4JLs%0%l%V%J!<4pDl$N3FMWAG$N(B, $BA4Cf4V4pDl$N$K$*$1$k%$%s%G%C%/%9(B
+ @item InputRed
+ $B3FF~NOB?9`<0$r%0%l%V%J!<4pDl$G4JLs$7$F>jM>(B 0 $B$rF@$k$^$G$N7W;;7P2a>pJs(B
+ (@var{gensyz} $B$,;XDj$5$l$?>l9g(B)
+ @item SpairTrace
+ $B4JLs%0%l%V%J!<4pDl$KBP$9$k(B S $BB?9`<0$r4JLs$7$F>jM>(B 0 $B$rF@$k$^$G$N7W;;7P2a>pJs(B
+ (syzygy $B2C72$N@8@.7O$NMWAG$N$_(B; @var{gensyz} $B$,;XDj$5$l$?>l9g(B)
+ @end table
+ @item $B>\:Y$O(B, $BF~NOB?9`<0=89g$H%0%l%V%J!<4pDl$NAj8_JQ499TNs(B, $B$*$h$S(B syzygy $B7W;;(B
+ $B4X?t$N9`$G@bL@$9$kM=Dj(B.
+ @end itemize
+ @example
+ [0] C=[c3*c2*c1*c0-1,((c2+c3)*c1+c3*c2)*c0+c3*c2*c1,...]
+ [1] D=nd_gr_trace(C,[c0,c1,c2,c3,c4],0,1,0|gentrace=1,gensyz=1)$
+ [2] D[0];
+ [c0+c1+c2+c3,-c1^2-2*c3*c1-c3^2,...]
+ [3] D[2];
+ [[[0,0,1],[1,1,1],[2,2,1],[3,3,1]],[4,[[1,2,(1)*<<0,0,0,0>>,1],...]
+ [4] D[6];
+ [[-1,[[1,0,(1)*<<0,0,2,4>>,1],[1,6,(-1)*<<1,0,0,0>>,1],...]
+ @end example
+ @table @t
+ @item $B;2>H(B
+ @ref{nd_gr}, @ref{nd_gr_trace}
+ @end table
  @comment -----------  $B0J2<$O8+K\(B. $B>C$9$J(B.
  @comment ****************************************************************

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>