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

Diff for /OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi between version 1.4 and 1.5

version 1.4, 2012/02/25 06:07:49 version 1.5, 2012/02/26 00:07:09
Line 1 
Line 1 
 \input ../../../../asir-doc/texinfo  \input texinfo
 @iftex  @iftex
 @catcode`@#=6  @catcode`@#=6
 @def@fref#1{@xrefX[#1,,@code{#1},,,]}  @def@fref#1{@xrefX[#1,,@code{#1},,,]}
Line 161  dimension : 3
Line 161  dimension : 3
 [3] ns_twistedlog.twisted_log_cohomology([x*z+y,x^4+y^5+x*y^4],[0,0],[x,y,z]);  [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)  -- nd_weyl_gr :0.004sec(0.0028sec)
 weyl_minipoly_by_elim : b-function does not exist  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"  stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/
 378                     error("weyl_minipoly_by_elim : b-function does not exist");  asir-contrib/packages/src/nk_restriction.rr"
   378                  error("weyl_minipoly_by_elim : b-function does not exist");
 (debug)  (debug)
 @end example  @end example
   
 @comment --- »²¾È(¥ê¥ó¥¯)¤ò½ñ¤¯ ---  @comment --- »²¾È(¥ê¥ó¥¯)¤ò½ñ¤¯ ---
 @table @t  @table @t
 @item »²¾È  @item »²¾È
 @fref{ns_twistedlog.twisted_log_cohomology(option)}  ns_twistedlog.twisted_log_cohomology(option)
 @end table  @end table
   
 @node ns_twistedlog.twisted_log_cohomology(option),,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô  @node ns_twistedlog.twisted_log_cohomology(option),,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô
Line 217  B_{S0} length : 3
Line 218  B_{S0} length : 3
 dimension : 2  dimension : 2
 [y,1]  [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  Hilbert polynomial : 1/24*x^4+65/12*x^3-529/24*x^2+727/12*x-51
 holonomic : No  holonomic : No
 -- nd_weyl_gr :0.004001sec(0.002876sec)  -- nd_weyl_gr :0.004001sec(0.002876sec)
 weyl_minipoly_by_elim : b-function does not exist  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"  stopped in weyl_minipoly_by_elim2 at line 378 in file "/usr/local/ox/OpenXM/src/
 378                     error("weyl_minipoly_by_elim : b-function does not exist");  asir-contrib/packages/src/nk_restriction.rr"
   378                 error("weyl_minipoly_by_elim : b-function does not exist");
 (debug)  (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  dimension : 3
 [y,z,1]  [y,z,1]
   
Line 235  generic bfct : [[-1,1],[s,1],[s+a+b+c-1,1]]
Line 239  generic bfct : [[-1,1],[s,1],[s+a+b+c-1,1]]
 S0 : 0  S0 : 0
 B_{S0} length : 1  B_{S0} length : 1
 dimension : 1  dimension : 1
 [Basis,[1],Not integer,[a,b,c],Not non-negative integer,[-a-b-c+1],Not zero,[a,b]]  [[1],[a+b+c-1,a,b]]
 @end example  @end example
   
   
 @table @t  
 @item »²¾È  
 @fref{ns_twistedlog.twisted_log_cohomology}  
 @end table  
   
   
 @node ns_twistedlog.difference_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô  @node ns_twistedlog.difference_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô
 @subsection @code{ns_twistedlog.difference_equation}  @subsection @code{ns_twistedlog.difference_equation}
 @findex ns_twistedlog.difference_equation  @findex ns_twistedlog.difference_equation
Line 310  Order : 1
Line 308  Order : 1
   
 @table @t  @table @t
 @item »²¾È  @item »²¾È
 @fref{ns_twistedlog.difference_equation(option)}  ns_twistedlog.difference_equation(option)
 @end table  @end table
   
   
Line 362  Order : 1
Line 360  Order : 1
 -- nd_weyl_gr :0sec(0.0003991sec)  -- nd_weyl_gr :0sec(0.0003991sec)
 -- weyl_minipoly_by_elim :0sec(0.001058sec)  -- weyl_minipoly_by_elim :0sec(0.001058sec)
 Order : 1  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);  [12] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,c],[x,y]|shift = a);
 -- nd_weyl_gr :0.004sec(0.0004289sec)  -- nd_weyl_gr :0.004sec(0.0004289sec)
Line 371  Order : 1
Line 372  Order : 1
 [(ea-1)*a+ea*b+ea*c]  [(ea-1)*a+ea*b+ea*c]
 @end example  @end example
   
 @table @t  
 @item »²¾È  
 @fref{ns_twistedlog.difference_equation}  
 @end table  
   
   
 @node ns_twistedlog.differential_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô  @node ns_twistedlog.differential_equation,,, Twisted logarithmic cohomology ·²¤Î·×»»¤Ë´Ø¤¹¤ë´Ø¿ô
 @subsection @code{ns_twistedlog.differential_equation}  @subsection @code{ns_twistedlog.differential_equation}
 @findex ns_twistedlog.differential_equation  @findex ns_twistedlog.differential_equation
Line 413  Twisted logarithmic cohomology ·²¤Î´ðÄì¤òÍѤ¤¤Æ, »Ø¿ô´
Line 409  Twisted logarithmic cohomology ·²¤Î´ðÄì¤òÍѤ¤¤Æ, »Ø¿ô´
 °Ê²¼¤Ï @code{f(x_1,x_2) = \int_C exp(x1*t1+x2*t2) t1^@{a-1@}*t2^@{b-1@}dt1dt2} ¤ÎËþ¤¿¤¹ÈùʬÊýÄø¼°·Ï¤ò·×»»¤·¤¿Îã¤Ç¤¢¤ë.  °Ê²¼¤Ï @code{f(x_1,x_2) = \int_C exp(x1*t1+x2*t2) t1^@{a-1@}*t2^@{b-1@}dt1dt2} ¤ÎËþ¤¿¤¹ÈùʬÊýÄø¼°·Ï¤ò·×»»¤·¤¿Îã¤Ç¤¢¤ë.
   
 @example  @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)  -- nd_weyl_gr :0sec(0.0004089sec)
 -- weyl_minipoly_by_elim :0sec(0.000495sec)  -- weyl_minipoly_by_elim :0sec(0.000495sec)
 Order : 1  Order : 1
Line 422  Order : 1
Line 419  Order : 1
   
 @table @t  @table @t
 @item »²¾È  @item »²¾È
 @fref{ns_twistedlog.differential_equation(option)}  ns_twistedlog.differential_equation(option)
 @end table  @end table
   
   
Line 466  Order : 1
Line 463  Order : 1
 @end itemize  @end itemize
   
 @example  @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)  -- nd_weyl_gr :0sec(0.0007901sec)
 -- weyl_minipoly_by_elim :0sec + gc : 0.008sec(0.006175sec)  -- weyl_minipoly_by_elim :0sec + gc : 0.008sec(0.006175sec)
 Order : 1  Order : 1
 [x1*dx1+a]  [x1*dx1+a]
 @end example  @end example
   
 @table @t  
 @item »²¾È  
 @fref{ns_twistedlog.differential_equation}  
 @end table  
   
 @node ¤½¤Î¾¤Î´Ø¿ô,,, ns_twistedlog.rr  @node ¤½¤Î¾¤Î´Ø¿ô,,, ns_twistedlog.rr
 @section ¤½¤Î¾¤Î´Ø¿ô  @section ¤½¤Î¾¤Î´Ø¿ô
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>