=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi,v retrieving revision 1.2 retrieving revision 1.6 diff -u -p -r1.2 -r1.6 --- OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi 2012/02/18 05:48:52 1.2 +++ OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi 2012/03/02 03:49:30 1.6 @@ -10,7 +10,7 @@ @comment %**start of header @comment --- GNU info ¥Õ¥¡¥¤¥ë¤Î̾Á° --- -@setfilename man-ns_twistedlog.rr +@setfilename asir-contrib-ns_twistedlog @comment --- ¥¿¥¤¥È¥ë --- @settitle ns_twistedlog.rr @@ -161,15 +161,16 @@ dimension : 3 [3] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]); -- nd_weyl_gr :0.004sec(0.0028sec) weyl_minipoly_by_elim : b-function does not exist -stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/asir-contrib/packages/src/nk_restriction.rr" -378 error("weyl_minipoly_by_elim : b-function does not exist"); +stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/ +asir-contrib/packages/src/nk_restriction.rr" +378 error("weyl_minipoly_by_elim : b-function does not exist"); (debug) @end example @comment --- »²¾È(¥ê¥ó¥¯)¤ò½ñ¤¯ --- @table @t @item »²¾È -@fref{ns_twistedlog.twisted_log_cohomology(option)} +ns_twistedlog.twisted_log_cohomology(option) @end table @node ns_twistedlog.twisted_log_cohomology(option),,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô @@ -217,16 +218,19 @@ B_{S0} length : 3 dimension : 2 [y,1] -[5] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]|check = 1); +[5] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]|ch +eck = 1); Hilbert polynomial : 1/24*x^4+65/12*x^3-529/24*x^2+727/12*x-51 holonomic : No -- nd_weyl_gr :0.004001sec(0.002876sec) weyl_minipoly_by_elim : b-function does not exist -stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/asir-contrib/packages/src/nk_restriction.rr" -378 error("weyl_minipoly_by_elim : b-function does not exist"); +stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/ +asir-contrib/packages/src/nk_restriction.rr" +378 error("weyl_minipoly_by_elim : b-function does not exist"); (debug) -[6] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]|s0 = 1); +[6] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]|s0 = 1 +); dimension : 3 [y,z,1] @@ -239,12 +243,6 @@ dimension : 1 @end example -@table @t -@item »²¾È -@fref{ns_twistedlog.twisted_log_cohomology} -@end table - - @node ns_twistedlog.difference_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô @subsection @code{ns_twistedlog.difference_equation} @findex ns_twistedlog.difference_equation @@ -310,7 +308,7 @@ Order : 1 @table @t @item »²¾È -@fref{ns_twistedlog.difference_equation(option)} +ns_twistedlog.difference_equation(option) @end table @@ -362,7 +360,10 @@ Order : 1 -- nd_weyl_gr :0sec(0.0003991sec) -- weyl_minipoly_by_elim :0sec(0.001058sec) Order : 1 -[[(-ea+1)*b*a-ea*b^2-ea*c*b,[((y^2-y)*dy+b*x+(b+c)*y-b)*dx+(-y^2+y)*dy^2+((-a-b-c)*y+b)*dy,(-a-b-c)*x+(-b-c)*y]],[eb*a+(eb-1)*b+eb*c,[((y^2-y)*dy+b*x+(b+c)*y-b)*dx+(-y^2+y)*dy^2+((-a-b-c)*y+b)*dy,-y]],[ec*b*a+ec*b^2+(ec-1)*c*b,[((y^2-y)*dy+b*x+(b+c)*y-b)*dx+(-y^2+y)*dy^2+((-a-b-c)*y+b)*dy,(-a-b-c)*x-c*y]]] +[[(-ea+1)*b*a-ea*b^2-ea*c*b,[((y^2-y)*dy+b*x+(b+c)*y-b)*dx+(-y^2+y)*dy^2+((-a-b- +c)*y+b)*dy,(-a-b-c)*x+(-b-c)*y]],[eb*a+(eb-1)*b+eb*c,[((y^2-y)*dy+b*x+(b+c)*y-b) +*dx+(-y^2+y)*dy^2+((-a-b-c)*y+b)*dy,-y]],[ec*b*a+ec*b^2+(ec-1)*c*b,[((y^2-y)*dy+ +b*x+(b+c)*y-b)*dx+(-y^2+y)*dy^2+((-a-b-c)*y+b)*dy,(-a-b-c)*x-c*y]]] [12] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,c],[x,y]|shift = a); -- nd_weyl_gr :0.004sec(0.0004289sec) @@ -371,12 +372,7 @@ Order : 1 [(ea-1)*a+ea*b+ea*c] @end example -@table @t -@item »²¾È -@fref{ns_twistedlog.difference_equation} -@end table - @node ns_twistedlog.differential_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô @subsection @code{ns_twistedlog.differential_equation} @findex ns_twistedlog.differential_equation @@ -413,7 +409,8 @@ Twisted logarithmic cohomology ·²¤Î´ðÄì¤òÍѤ¤¤Æ, »Ø¿ô´ °Ê²¼¤Ï @code{f(x_1,x_2) = \int_C exp(x1*t1+x2*t2) t1^@{a-1@}*t2^@{b-1@}dt1dt2} ¤ÎËþ¤¿¤¹ÈùʬÊýÄø¼°·Ï¤ò·×»»¤·¤¿Îã¤Ç¤¢¤ë. @example -[13] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]); +[13] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]) +; -- nd_weyl_gr :0sec(0.0004089sec) -- weyl_minipoly_by_elim :0sec(0.000495sec) Order : 1 @@ -422,7 +419,7 @@ Order : 1 @table @t @item »²¾È -@fref{ns_twistedlog.differential_equation(option)} +ns_twistedlog.differential_equation(option) @end table @@ -466,17 +463,13 @@ Order : 1 @end itemize @example -[14] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]| diff = x1); +[14] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]| +diff = x1); -- nd_weyl_gr :0sec(0.0007901sec) -- weyl_minipoly_by_elim :0sec + gc : 0.008sec(0.006175sec) Order : 1 [x1*dx1+a] @end example - -@table @t -@item »²¾È -@fref{ns_twistedlog.differential_equation} -@end table @node ¤½¤Î¾¤Î´Ø¿ô,,, ns_twistedlog.rr @section ¤½¤Î¾¤Î´Ø¿ô