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

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.51 and 1.54

version 1.51, 2016/05/14 07:55:16 version 1.54, 2017/08/31 01:24:33
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.50 2015/08/08 06:28:38 takayama Exp $  %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.53 2016/06/01 06:33:17 nakayama Exp $
 \input texinfo  \input texinfo-ja
 @iftex  @iftex
 @catcode`@#=6  @catcode`@#=6
 @def@fref#1{@xrefX[#1,,@code{#1},,,]}  @def@fref#1{@xrefX[#1,,@code{#1},,,]}
Line 2729  ChangeLog
Line 2729  ChangeLog
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.restriction(@var{Id}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.restriction(@var{Id}, @var{VL}, @var{DVL}, @var{W})
 :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B2C72$rJV$9!#(B  :: D $B2C72(B M = D / @var{Id} ($B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id}) $B$KBP$7$F(B,
   $B=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B2C72$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
Line 2746  ChangeLog
Line 2747  ChangeLog
   
 @itemize @bullet  @itemize @bullet
 @item  @item
 @var{W} $B$NMWAG$OHsIi@0?t$G!"(B0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$!#(B  @var{W} $B$NMWAG$OHsIi@0?t$G(B, 0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$(B.
 ($B$9$J$o$A!"(B@code{[1,1,0,0,0]} $B$O(B OK $B$@$,!"(B @code{[1,0,1,0,0]} $B$O%@%a(B)  ($B$9$J$o$A(B, @code{[1,1,0,0,0]} $B$O(B OK $B$@$,!"(B @code{[1,0,1,0,0]} $B$O%@%a(B)
 @item  @item
 $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@)8B$r9T$&!#(B  $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@)8B$r9T$&(B.
 $BNc$($P!"(B@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B  $BNc$($P(B, @var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B,
 x,y $B$K$D$$$F@)8B$r9T$&!#(B  x,y $B$K$D$$$F@)8B$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O!"%$%G%"%k(B  $B0J2<$O(B, $B%$%G%"%k(B
 @iftex  @iftex
 @tex  @tex
 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $  $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $
 @end tex  @end tex
 $B$N(B  $B$H$*$$$?;~(B, D $B2C72(B
 @tex  @tex $M = D / I$ @end tex
 $x$  $B$N(B
 @end tex  @tex $x$ @end tex
 @end iftex  @end iftex
 @ifinfo  @ifinfo
 I = D . @{ x dx -1, y dy - 1 @} $B$N(B x  I = D . @{ x dx -1, y dy - 1 @} $B$H$*$$$?;~(B,
   D $B2C72(B M = D / I $B$N(B x
 @end ifinfo  @end ifinfo
 $B$K$D$$$F$N@)8B2C72$r7W;;$7$?Nc$G$"$k!#(B  $B$K$D$$$F$N@)8B2C72$r7W;;$7$?Nc$G$"$k(B.
 @example  @example
 [1432] nk_restriction.restriction([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]);  [1432] nk_restriction.restriction([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]);
 -- generic_bfct_and_gr :0.001sec(0.001629sec)  -- generic_bfct_and_gr :0.001sec(0.001629sec)
Line 2779  B_@{S0@} length : 2
Line 2781  B_@{S0@} length : 2
 @end example  @end example
 $BJV$jCM$NBh(B 1 $BHVL\$NMWAG(B @code{[[1],[0]]]} $B$O(B,  $BJV$jCM$NBh(B 1 $BHVL\$NMWAG(B @code{[[1],[0]]]} $B$O(B,
 $B@)8B2C72$N4pDl(B  $B@)8B2C72$N4pDl(B
   @iftex
 @tex $\partial_x^1, \partial_x^0$ @end tex  @tex $\partial_x^1, \partial_x^0$ @end tex
 $B$r0UL#$7(B,  $B$r0UL#$7(B,
 $BJV$jCM$NBh(B 0 $BHVL\$NMWAG$+$i(B, $B@)8B2C72$O(B  $BJV$jCM$NBh(B 0 $BHVL\$NMWAG$+$i(B, $B@)8B2C72$O(B
 @tex $(y \partial_y - 1, 0), (0, y\partial_y-1), (-1,0)$ @end tex  @tex $(y \partial_y - 1, 0), (0, y\partial_y-1), (-1,0)$ @end tex
   @end iftex
   @ifinfo
   dx^1, dx^0
   $B$r0UL#$7(B,
   $BJV$jCM$NBh(B 0 $BHVL\$NMWAG$+$i(B, $B@)8B2C72$O(B
   (y dy - 1, 0), (0, ydy-1), (-1,0)
   @end ifinfo
 $B$G@8@.$5$l$k$3$H$,$o$+$k(B.  $B$G@8@.$5$l$k$3$H$,$o$+$k(B.
   
   
 @node nk_restriction.restriction_ideal,,, D $B2C72$N@)8B$K4X$9$k4X?t(B  @node nk_restriction.restriction_ideal,,, D $B2C72$N@)8B$K4X$9$k4X?t(B
 @subsection @code{nk_restriction.restriction_ideal}  @subsection @code{nk_restriction.restriction_ideal}
 @comment --- $B:w0zMQ%-!<%o!<%I(B  @comment --- $B:w0zMQ%-!<%o!<%I(B
Line 2794  B_@{S0@} length : 2
Line 2803  B_@{S0@} length : 2
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.restriction_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.restriction_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W})
 :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B%$%G%"%k$rJV$9!#(B  :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B%$%G%"%k$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
Line 2811  B_@{S0@} length : 2
Line 2820  B_@{S0@} length : 2
   
 @itemize @bullet  @itemize @bullet
 @item  @item
 @var{W} $B$NMWAG$OHsIi@0?t$G!"(B0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$!#(B  @var{W} $B$NMWAG$OHsIi@0?t$G(B, 0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$(B.
 ($B$9$J$o$A!"(B@code{[1,1,0,0,0]} $B$O(B OK $B$@$,!"(B @code{[1,0,1,0,0]} $B$O%@%a(B)  ($B$9$J$o$A(B, @code{[1,1,0,0,0]} $B$O(B OK $B$@$,(B, @code{[1,0,1,0,0]} $B$O%@%a(B)
 @item  @item
 $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@)8B$r9T$&!#(B  $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@)8B$r9T$&(B.
 $BNc$($P!"(B@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B  $BNc$($P(B, @var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B,
 x,y $B$K$D$$$F@)8B$r9T$&!#(B  x,y $B$K$D$$$F@)8B$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O!"%$%G%"%k(B  $B0J2<$O(B, $B%$%G%"%k(B
 @iftex  @iftex
 @tex  @tex $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $ @end tex
 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $  
 @end tex  
 $B$N(B  $B$N(B
 @tex  @tex $x$ @end tex
 $x$  
 @end tex  
 @end iftex  @end iftex
 @ifinfo  @ifinfo
 I = D . @{ x dx -1, y dy - 1 @} $B$N(B x  I = D . @{ x dx -1, y dy - 1 @} $B$N(B x
Line 2852  B_@{S0@} length : 2
Line 2857  B_@{S0@} length : 2
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.integration(@var{Id}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.integration(@var{Id}, @var{VL}, @var{DVL}, @var{W})
 :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,2C72$rJV$9!#(B  :: D $B2C72(B M = D / @var{Id} ($B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id}) $B$KBP$7$F(B, $B=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,2C72$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
Line 2872  B_@{S0@} length : 2
Line 2877  B_@{S0@} length : 2
 @comment --- @bullet $B$O9uE@IU$-(B ---  @comment --- @bullet $B$O9uE@IU$-(B ---
 @itemize @bullet  @itemize @bullet
 @item  @item
 @var{W} $B$NMWAG$OHsIi@0?t$G!"(B0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$!#(B  @var{W} $B$NMWAG$OHsIi@0?t$G(B, 0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$(B.
 ($B$9$J$o$A!"(B@code{[1,1,0,0,0]} $B$O(B OK $B$@$,!"(B @code{[1,0,1,0,0]} $B$O%@%a(B)  ($B$9$J$o$A(B, @code{[1,1,0,0,0]} $B$O(B OK $B$@$,(B, @code{[1,0,1,0,0]} $B$O%@%a(B)
 @item  @item
 $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@QJ,$r9T$&!#(B  $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@QJ,$r9T$&(B.
 $BNc$($P!"(B@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B  $BNc$($P(B, @var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B,
 x,y $B$K$D$$$F@QJ,$r9T$&!#(B  x,y $B$K$D$$$F@QJ,$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O!"%$%G%"%k(B  $B0J2<$O(B, $B%$%G%"%k(B
 @iftex  @iftex
 @tex  @tex $I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\}$ @end tex
 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $  $B$H$*$$$?;~(B, D $B2C72(B
 @end tex  @tex $M = D / I$ @end tex
 $B$N(B  $B$N(B
 @tex  @tex $t$ @end tex
 $t$  
 @end tex  
 @end iftex  @end iftex
 @ifinfo  @ifinfo
 I = D . @{2 t dx + dt, t dt + 2 x dx + 2 @} $B$N(B t  I = D . @{2 t dx + dt, t dt + 2 x dx + 2 @}
   $B$H$*$$$?;~(B, D $B2C72(B M = D / I $B$N(B t
 @end ifinfo  @end ifinfo
 $B$K$D$$$F$N@QJ,2C72$r7W;;$7$?Nc$G$"$k!#(B([SST, Ex5.5.2, Ex5.5.6])  $B$K$D$$$F$N@QJ,2C72$r7W;;$7$?Nc$G$"$k(B. ([SST, Ex5.5.2, Ex5.5.6])
 @example  @example
 [1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x],  [1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x],
 [dt,dx],[1,0]);  [dt,dx],[1,0]);
Line 2906  B_@{S0@} length : 2
Line 2910  B_@{S0@} length : 2
 @end example  @end example
 $BJV$jCM$NBh(B 1 $BHVL\$NMWAG(B @code{[[1],[0]]]} $B$O(B,  $BJV$jCM$NBh(B 1 $BHVL\$NMWAG(B @code{[[1],[0]]]} $B$O(B,
 $B@QJ,2C72$N4pDl(B  $B@QJ,2C72$N4pDl(B
   @iftex
 @tex $t^1, t^0$ @end tex  @tex $t^1, t^0$ @end tex
   @end iftex
   @ifinfo
   t^1, t^0
   @end ifinfo
 $B$r0UL#$7(B,  $B$r0UL#$7(B,
 $BJV$jCM$NBh(B 0 $BHVL\$NMWAG$+$i(B, $B@QJ,2C72$O(B  $BJV$jCM$NBh(B 0 $BHVL\$NMWAG$+$i(B, $B@QJ,2C72$O(B
   @iftex
 @tex $(4 x \partial_x^2 + 6 \partial_x, 0), (0, -4 x \partial_x^2 - 6 \partial_x),  @tex $(4 x \partial_x^2 + 6 \partial_x, 0), (0, -4 x \partial_x^2 - 6 \partial_x),
 (0, -2 x \partial_x), (0, 2 \partial_x)$ @end tex  (0, -2 x \partial_x), (0, 2 \partial_x)$ @end tex
   @end iftex
   @ifinfo
   (4 x dx^2 + 6 dx, 0), (0, -4 x dx^2 - 6 dx),
   (0, -2 x dx), (0, 2 dx)
   @end ifinfo
 $B$G@8@.$5$l$k$3$H$,$o$+$k(B.  $B$G@8@.$5$l$k$3$H$,$o$+$k(B.
   
 @node nk_restriction.integration_ideal,,, D $B2C72$N@)8B$K4X$9$k4X?t(B  @node nk_restriction.integration_ideal,,, D $B2C72$N@)8B$K4X$9$k4X?t(B
Line 2921  B_@{S0@} length : 2
Line 2936  B_@{S0@} length : 2
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.integration_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.integration_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W})
 :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,%$%G%"%k$rJV$9!#(B  :: $B%[%m%N%_%C%/(B D $B%$%G%"%k(B @var{Id} $B$r=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,%$%G%"%k$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
Line 2941  B_@{S0@} length : 2
Line 2956  B_@{S0@} length : 2
 @comment --- @bullet $B$O9uE@IU$-(B ---  @comment --- @bullet $B$O9uE@IU$-(B ---
 @itemize @bullet  @itemize @bullet
 @item  @item
 @var{W} $B$NMWAG$OHsIi@0?t$G!"(B0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$!#(B  @var{W} $B$NMWAG$OHsIi@0?t$G(B, 0 $BHVL\$NMWAG$+$iO"B3$7$F@5$N@0?t$,F~$i$J$1$l$P$J$i$J$$(B.
 ($B$9$J$o$A!"(B@code{[1,1,0,0,0]} $B$O(B OK $B$@$,!"(B @code{[1,0,1,0,0]} $B$O%@%a(B)  ($B$9$J$o$A(B, @code{[1,1,0,0,0]} $B$O(B OK $B$@$,(B, @code{[1,0,1,0,0]} $B$O%@%a(B)
 @item  @item
 $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@QJ,$r9T$&!#(B  $B@5$N=E$_$r;}$DJQ?t$K$D$$$F$N@QJ,$r9T$&(B.
 $BNc$($P!"(B@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B  $BNc$($P(B, @var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} $B$G$"$l$P(B,
 x,y $B$K$D$$$F@QJ,$r9T$&!#(B  x,y $B$K$D$$$F@QJ,$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O!"%$%G%"%k(B  $B0J2<$O(B, $B%$%G%"%k(B
 @iftex  @iftex
 @tex  @tex
 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $  $I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $
 @end tex  @end tex
 $B$N(B  $B$N(B
 @tex  @tex $t$ @end tex
 $t$  
 @end tex  
 @end iftex  @end iftex
 @ifinfo  @ifinfo
 I = D . @{2 t dx + dt, t dt + 2 x dx + 2 @} $B$N(B t  I = D . @{2 t dx + dt, t dt + 2 x dx + 2 @} $B$N(B t
 @end ifinfo  @end ifinfo
 $B$K$D$$$F$N@QJ,%$%G%"%k$r7W;;$7$?Nc$G$"$k!#(B([SST, Ex5.5.2, Ex5.5.6])  $B$K$D$$$F$N@QJ,%$%G%"%k$r7W;;$7$?Nc$G$"$k(B. ([SST, Ex5.5.2, Ex5.5.6])
 @example  @example
 [1431]  nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x],  [1431]  nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x],
 [dt,dx],[1,0]);  [dt,dx],[1,0]);
Line 2973  B_@{S0@} length : 2
Line 2986  B_@{S0@} length : 2
 -- fctr(BF) + base :0.001sec(0.001091sec)  -- fctr(BF) + base :0.001sec(0.001091sec)
 -- integration_ideal_internal :0.002sec(0.001879sec)  -- integration_ideal_internal :0.002sec(0.001879sec)
 [2*x*dx+1]  [2*x*dx+1]
 [1432]  
 @end example  @end example
   
 @node nk_restriction.ann_mul,,, D $B2C72$N@)8B$K4X$9$k4X?t(B  @node nk_restriction.ann_mul,,, D $B2C72$N@)8B$K4X$9$k4X?t(B
Line 3332  B_{S0} length : 1
Line 3344  B_{S0} length : 1
 [[(en-2)*n+en-2],[[[[ek-1,[(-en+1)*n-en+1,1]]],1]]]  [[(en-2)*n+en-2],[[[[ek-1,[(-en+1)*n-en+1,1]]],1]]]
 @end example  @end example
   
   @node nk_restriction.module_restriction,,, D $B2C72$N@)8B$K4X$9$k4X?t(B
 @subsection @code{nk_restriction.module_restriction}  @subsection @code{nk_restriction.module_restriction}
 @comment --- $B:w0zMQ%-!<%o!<%I(B  @comment --- $B:w0zMQ%-!<%o!<%I(B
 @findex nk_restriction.module_restriction  @findex nk_restriction.module_restriction
Line 3339  B_{S0} length : 1
Line 3352  B_{S0} length : 1
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.module_restriction(@var{M}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.module_restriction(@var{M}, @var{VL}, @var{DVL}, @var{W})
 :: D $B2C72(B @var{M} $B$N=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B2C72$rJV$9!#(B  :: D $B2C72(B D^r/@var{M} (@var{M} $B$O(B D^r $B$NItJ,2C72(B) $B$N=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@)8B2C72$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
 @table @var  @table @var
 @item Id  @item M
 D $B2C72$N@8@.85$N%j%9%H(B  D $B<+M32C72(B D^r $B$NItJ,2C72(B
 @item VL  @item VL
 $BJQ?t$N%j%9%H(B  $BJQ?t$N%j%9%H(B
 @item DVL  @item DVL
Line 3366  D $B2C72$N@8@.85$N%j%9%H(B 
Line 3379  D $B2C72$N@8@.85$N%j%9%H(B 
 x $B$K$D$$$F@)8B$r9T$&(B.  x $B$K$D$$$F@)8B$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O(B, D $B2C72(B  $B0J2<$O(B, D $B<+M32C72(B
 @iftex  @iftex
   @tex $D^2$ @end tex
   $B$NItJ,2C72(B
 @tex  @tex
 $M = D \cdot \{(\partial_x, \partial_y), (\partial_y, \partial_x), (x,y) \}$  $M = D \cdot \{(\partial_x, \partial_y), (\partial_y, \partial_x), (x,y) \}$
 @end tex  @end tex
 $B$N(B  $B$r$H$j(B, D $B2C72(B
 @tex  @tex $D^2 / M$ @end tex
 $x$  $B$N(B
 @end tex  @tex $x$ @end tex
   @end iftex
 @ifinfo  @ifinfo
 I = D . @{ (dx, dy), (dy, dx), (x, y) @} $B$N(B x  D^2 $B$NItJ,2C72(B M = D . @{ (dx, dy), (dy, dx), (x, y) @}
   $B$r$H$j(B, D $B2C72(B D^2 / M $B$N(B x
 @end ifinfo  @end ifinfo
 $B$K$D$$$F$N@)8B2C72$r7W;;$7$?Nc$G$"$k!#(B  $B$D$$$F$N@)8B2C72$r7W;;$7$?Nc$G$"$k(B.
 @example  @example
 [2691] nk_restriction.module_restriction([[dx,dy],[dy,dx],[x,y]], [x,y], [dx,dy], [1,0]);  [2691] nk_restriction.module_restriction([[dx,dy],[dy,dx],[x,y]], [x,y], [dx,dy], [1,0]);
 ....  ....
Line 3394  Relations: 
Line 3411  Relations: 
 [[0,-1],[-dy^2,0],[y*dy-1,0]]  [[0,-1],[-dy^2,0],[y*dy-1,0]]
 @end example  @end example
 $B@)8B2C72$O(B  $B@)8B2C72$O(B
   @iftex
 @tex $(0, -1), (-\partial_y^2, 0), (y \partial_y -1 , 0)$ @end tex  @tex $(0, -1), (-\partial_y^2, 0), (y \partial_y -1 , 0)$ @end tex
   @end iftex
   @ifinfo
   (0, -1), (-dy^2, 0), (y, dy-1, 0)
   @end ifinfo
 $B$G@8@.$5$l$k$3$H$,$o$+$k(B.  $B$G@8@.$5$l$k$3$H$,$o$+$k(B.
   
   @node nk_restriction.module_integration,,, D $B2C72$N@)8B$K4X$9$k4X?t(B
 @subsection @code{nk_restriction.module_integration}  @subsection @code{nk_restriction.module_integration}
 @comment --- $B:w0zMQ%-!<%o!<%I(B  @comment --- $B:w0zMQ%-!<%o!<%I(B
 @findex nk_restriction.module_integration  @findex nk_restriction.module_integration
Line 3404  Relations: 
Line 3427  Relations: 
 @comment --- $B4X?t$N4JC1$J@bL@(B ---  @comment --- $B4X?t$N4JC1$J@bL@(B ---
 @table @t  @table @t
 @item nk_restriction.module_integration(@var{M}, @var{VL}, @var{DVL}, @var{W})  @item nk_restriction.module_integration(@var{M}, @var{VL}, @var{DVL}, @var{W})
 :: D $B2C72(B @var{M} $B$N=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,2C72$rJV$9!#(B  :: D $B2C72(B D^r/M (@var{M} $B$O(B D^r $B$NItJ,2C72(B) $B$N=E$_%Y%/%H%k(B @var{W} $B$K$D$$$F$N@QJ,2C72$rJV$9(B.
 @end table  @end table
   
 @comment --- $B0z?t$N4JC1$J@bL@(B ---  @comment --- $B0z?t$N4JC1$J@bL@(B ---
 @table @var  @table @var
 @item Id  @item M
 D $B2C72$N@8@.85$N%j%9%H(B  D $B<+M32C72(B D^r $B$NItJ,2C72(B
 @item VL  @item VL
 $BJQ?t$N%j%9%H(B  $BJQ?t$N%j%9%H(B
 @item DVL  @item DVL
Line 3431  D $B2C72$N@8@.85$N%j%9%H(B 
Line 3454  D $B2C72$N@8@.85$N%j%9%H(B 
 x $B$K$D$$$F@QJ,$r9T$&(B.  x $B$K$D$$$F@QJ,$r9T$&(B.
 @end itemize  @end itemize
   
 $B0J2<$O(B, D $B2C72(B  $B0J2<$O(B, D $B<+M32C72(B
 @iftex  @iftex
 @tex  @tex $D^2$ @end tex
 $M = D \cdot \{(x, y), (y, x), (\partial_x, \partial_y) \}$  $B$NItJ,2C72(B
 @end tex  @tex $M = D \cdot \{(x, y), (y, x), (\partial_x, \partial_y) \}$ @end tex
   $B$r$H$j(B, D $B2C72(B
   @tex $D^2/M$ @end tex
 $B$N(B  $B$N(B
 @tex  @tex $x$ @end tex
 $x$  @end iftex
 @end tex  
 @ifinfo  @ifinfo
 I = D . @{ (x, y), (y, x), (dx, dy) @} $B$N(B x  D^2 $B$NItJ,2C72(B M = D . @{ (x, y), (y, x), (dx, dy) @} $B$r$H$j(B,
   D $B2C72(B D^2 / M $B$N(B x
 @end ifinfo  @end ifinfo
 $B$K$D$$$F$N@QJ,2C72$r7W;;$7$?Nc$G$"$k!#(B  $B$K$D$$$F$N@QJ,2C72$r7W;;$7$?Nc$G$"$k(B.
 @example  @example
 [2702] nk_restriction.module_integration([[x,y],[y,x],[dx,dy]], [x,y], [dx,dy], [1,0]);  [2702] nk_restriction.module_integration([[x,y],[y,x],[dx,dy]], [x,y], [dx,dy], [1,0]);
 ...  ...
Line 3459  Relations: 
Line 3484  Relations: 
 [[0,-1],[y*dy+2,0],[-y^2,0]]  [[0,-1],[y*dy+2,0],[-y^2,0]]
 @end example  @end example
 $B@QJ,2C72$O(B  $B@QJ,2C72$O(B
   @iftex
 @tex $(0, -1), (y \partial_y + 2, 0), (-y^2, 0)$ @end tex  @tex $(0, -1), (y \partial_y + 2, 0), (-y^2, 0)$ @end tex
   @end iftex
   @ifinfo
   (0, -1), (y dy + 2, 0), (-y^2, 0)
   @end ifinfo
 $B$G@8@.$5$l$k$3$H$,$o$+$k(B.  $B$G@8@.$5$l$k$3$H$,$o$+$k(B.
   
 @noindent  @noindent
Legend:
Removed from v.1.51  
changed lines
  Added in v.1.54
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>