=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.31 retrieving revision 1.32 diff -u -p -r1.31 -r1.32 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2009/02/23 05:51:23 1.31 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2009/02/23 06:10:42 1.32 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.30 2009/02/23 04:00:53 takayama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.31 2009/02/23 05:51:23 noro Exp $ \input texinfo @iftex @catcode`@#=6 @@ -2675,7 +2675,8 @@ x,y について積分を行う。 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $ @end tex の -@tex $t$ @end tex +@tex $t$ +@end tex についての積分イデアルを計算した例である。([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],