version 1.28, 2008/11/19 03:25:38 |
version 1.30, 2009/02/23 04:00:53 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.27 2008/11/11 08:18:50 ohara Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.29 2009/02/23 03:41:26 nakayama Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
$B$3$N4X?t$O(B 2008-9-12 $B$K%3%_%C%H$5$l$?(B. |
$B$3$N4X?t$O(B 2008-9-12 $B$K%3%_%C%H$5$l$?(B. |
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B builtin/time.c (1.6) $B$G$"$k(B. |
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B builtin/time.c (1.6) $B$G$"$k(B. |
@end itemize |
@end itemize |
|
|
|
@node nk_restriction.restriction,,, $B<B83E*;EMM$N4X?t(B |
|
@subsection @code{nk_restriction.restriction} |
|
@comment --- $B:w0zMQ%-!<%o!<%I(B |
|
@findex nk_restriction.restriction |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@table @t |
|
@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 |
|
@end table |
|
|
|
@comment --- $B0z?t$N4JC1$J@bL@(B --- |
|
@table @var |
|
@item Id |
|
$B%$%G%"%k$N@8@.85$N%j%9%H(B |
|
@item VL |
|
$BJQ?t$N%j%9%H(B |
|
@item DVL |
|
$BJQ?t$N%j%9%H(B(@var{VL} $B$KBP1~$9$kHyJ,:nMQAG$NJ}$NJQ?t(B) |
|
@item W |
|
$B=E$_%Y%/%H%k$rI=$9%j%9%H(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@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 |
|
($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 |
|
$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 |
|
x,y $B$K$D$$$F@)8B$r9T$&!#(B |
|
@end itemize |
|
|
|
$B0J2<$O!"%$%G%"%k(B |
|
@tex |
|
$I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $ |
|
@end tex |
|
$B$N(B |
|
@tex $x$ @end tex |
|
$B$K$D$$$F$N@)8B2C72$r7W;;$7$?Nc$G$"$k!#(B |
|
@example |
|
[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 : [[1,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.000999sec(0.0005109sec) |
|
[[y*dy-1,(y*dy-1)*dx,-1],[[1],[0]]] |
|
[1433] |
|
@end example |
|
|
|
@node nk_restriction.restriction_ideal,,, D $B2C72$N@)8B$K4X$9$k4X?t(B |
|
@subsection @code{nk_restriction.restriction_ideal} |
|
@comment --- $B:w0zMQ%-!<%o!<%I(B |
|
@findex nk_restriction.restriction_ideal |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@table @t |
|
@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 |
|
@end table |
|
|
|
@comment --- $B0z?t$N4JC1$J@bL@(B --- |
|
@table @var |
|
@item Id |
|
$B%$%G%"%k$N@8@.85$N%j%9%H(B |
|
@item VL |
|
$BJQ?t$N%j%9%H(B |
|
@item DVL |
|
$BJQ?t$N%j%9%H(B(@var{VL} $B$KBP1~$9$kHyJ,:nMQAG$NJ}$NJQ?t(B) |
|
@item W |
|
$B=E$_%Y%/%H%k$rI=$9%j%9%H(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@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 |
|
($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 |
|
$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 |
|
x,y $B$K$D$$$F@)8B$r9T$&!#(B |
|
@end itemize |
|
|
|
$B0J2<$O!"%$%G%"%k(B |
|
@tex |
|
$I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $ |
|
@end tex |
|
$B$N(B |
|
@tex $x$ @end tex |
|
$B$K$D$$$F$N@)8B%$%G%"%k$r7W;;$7$?Nc$G$"$k!#(B |
|
@example |
|
[1346] nk_restriction.restriction_ideal([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]); |
|
-- generic_bfct_and_gr :0.002sec(0.001652sec) |
|
generic bfct : [[1,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0sec(0.000566sec) |
|
-- restriction_ideal_internal :0.001sec(0.0007441sec) |
|
[-1] |
|
[1347] |
|
@end example |
|
|
|
@node nk_restriction.integration,,, $B<B83E*;EMM$N4X?t(B |
|
@subsection @code{nk_restriction.integration} |
|
@comment --- $B:w0zMQ%-!<%o!<%I(B |
|
@findex nk_restriction.integration |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@table @t |
|
@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 |
|
@end table |
|
|
|
@comment --- $B0z?t$N4JC1$J@bL@(B --- |
|
@table @var |
|
@item Id |
|
$B%$%G%"%k$N@8@.85$N%j%9%H(B |
|
@item VL |
|
$BJQ?t$N%j%9%H(B |
|
@item DVL |
|
$BJQ?t$N%j%9%H(B(@var{VL} $B$KBP1~$9$kHyJ,:nMQAG$NJ}$NJQ?t(B) |
|
@item W |
|
$B=E$_%Y%/%H%k$rI=$9%j%9%H(B |
|
@end table |
|
|
|
@comment --- $B$3$3$G4X?t$N>\$7$$@bL@(B --- |
|
@comment --- @itemize$B!A(B@end itemize $B$O2U>r=q$-(B --- |
|
@comment --- @bullet $B$O9uE@IU$-(B --- |
|
@itemize @bullet |
|
@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 |
|
($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 |
|
$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 |
|
x,y $B$K$D$$$F@QJ,$r9T$&!#(B |
|
@end itemize |
|
|
|
$B0J2<$O!"%$%G%"%k(B |
|
@tex |
|
$I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $ |
|
@end tex |
|
$B$N(B |
|
@tex $t$ @end tex |
|
$B$K$D$$$F$N@QJ,%$%G%"%k$r7W;;$7$?Nc$G$"$k!#(B([SST, Ex5.5.2, Ex5.5.6]) |
|
@example |
|
[1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x], |
|
[dt,dx],[1,0]); |
|
-- generic_bfct_and_gr :0.001sec(0.001796sec) |
|
generic bfct : [[1,1],[s,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.001sec(0.0006731sec) |
|
[[4*x*dx^2+6*dx,-4*t*x*dx^2-6*t*dx,2*x*dx+1,-2*t*x*dx,2*t*dx],[[1],[0]]] |
|
@end example |
|
|
|
@node nk_restriction.integration_ideal,,, $B<B83E*;EMM$N4X?t(B |
|
@subsection @code{nk_restriction.integration_ideal} |
|
@comment --- $B:w0zMQ%-!<%o!<%I(B |
|
@findex nk_restriction.integration_ideal |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@table @t |
|
@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 |
|
@end table |
|
|
|
@comment --- $B0z?t$N4JC1$J@bL@(B --- |
|
@table @var |
|
@item Id |
|
$B%$%G%"%k$N@8@.85$N%j%9%H(B |
|
@item VL |
|
$BJQ?t$N%j%9%H(B |
|
@item DVL |
|
$BJQ?t$N%j%9%H(B(@var{VL} $B$KBP1~$9$kHyJ,:nMQAG$NJ}$NJQ?t(B) |
|
@item W |
|
$B=E$_%Y%/%H%k$rI=$9%j%9%H(B |
|
@end table |
|
|
|
@comment --- $B$3$3$G4X?t$N>\$7$$@bL@(B --- |
|
@comment --- @itemize$B!A(B@end itemize $B$O2U>r=q$-(B --- |
|
@comment --- @bullet $B$O9uE@IU$-(B --- |
|
@itemize @bullet |
|
@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 |
|
($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 |
|
$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 |
|
x,y $B$K$D$$$F@QJ,$r9T$&!#(B |
|
@end itemize |
|
|
|
$B0J2<$O!"%$%G%"%k(B |
|
@tex |
|
$I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $ |
|
@end tex |
|
$B$N(B |
|
@tex $t$ @end tex |
|
$B$K$D$$$F$N@QJ,%$%G%"%k$r7W;;$7$?Nc$G$"$k!#(B([SST, Ex5.5.2, Ex5.5.6]) |
|
@example |
|
[1431] nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x], |
|
[dt,dx],[1,0]); |
|
-- generic_bfct_and_gr :0.002999sec(0.002623sec) |
|
generic bfct : [[1,1],[s,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.001sec(0.001091sec) |
|
-- integration_ideal_internal :0.002sec(0.001879sec) |
|
[2*x*dx+1] |
|
[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 |
|
|
|
|
|
|
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |
@comment **************************************************************** |
@comment **************************************************************** |