version 1.1, 2012/02/16 00:10:07 |
version 1.5, 2012/02/26 00:07:09 |
|
|
[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] |
|
|
|
|
@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 |
|
|
|
|
@table @t |
@table @t |
@item »²¾È |
@item »²¾È |
@fref{ns_twistedlog.difference_equation(option)} |
ns_twistedlog.difference_equation(option) |
@end table |
@end table |
|
|
|
|
|
|
-- 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) |
|
|
[(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 |
|
|
|
|
@table @t |
@table @t |
@item »²¾È |
@item »²¾È |
@fref{ns_twistedlog.differential_equation(option)} |
ns_twistedlog.differential_equation(option) |
@end table |
@end table |
|
|
|
|
|
|
@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 ¤½¤Î¾¤Î´Ø¿ô |
|
|
|
|
@var{P} ¤¬ÊÑ¿ô¤Î¾ì¹ç, ·¸¿ôÂΤË°¤¹¤ëÀ°¿ô¤Ç¤Ê¤¤ÉÔÄ긵¤È¸«¤Ê¤·¤Æ·×»»¤µ¤ì¤ë. |
@var{P} ¤¬ÊÑ¿ô¤Î¾ì¹ç, ·¸¿ôÂΤË°¤¹¤ëÀ°¿ô¤Ç¤Ê¤¤ÉÔÄ긵¤È¸«¤Ê¤·¤Æ·×»»¤µ¤ì¤ë. |
½¾¤Ã¤Æ, ¤³¤ì¤é¤ÎÊÑ¿ô¤Ë°Í¸¤¹¤ë generic @var{b}-´Ø¿ô¤Îº¬¤ÏºÇÂçÀ°¿ôº¬¤È¤Ï¤Ê¤é¤º, ¤Þ¤¿¥°¥ì¥Ö¥Ê´ðÄì¤Î·×»»¤Ë¤ª¤¤¤Æ, ¤³¤ì¤é¤ÎÊÑ¿ô¤ò·¸¿ô¤Ë´Þ¤àÀèƬ¹à¤Ï0¤Ë¤Ï¤Ê¤é¤Ê¤¤. |
½¾¤Ã¤Æ, ¤³¤ì¤é¤ÎÊÑ¿ô¤Ë°Í¸¤¹¤ë generic @var{b}-´Ø¿ô¤Îº¬¤ÏºÇÂçÀ°¿ôº¬¤È¤Ï¤Ê¤é¤º, ¤Þ¤¿¥°¥ì¥Ö¥Ê´ðÄì¤Î·×»»¤Ë¤ª¤¤¤Æ, ¤³¤ì¤é¤ÎÊÑ¿ô¤ò·¸¿ô¤Ë´Þ¤àÀèƬ¹à¤Ï0¤Ë¤Ï¤Ê¤é¤Ê¤¤. |
¤³¤Î¤è¤¦¤Ê»ö¾ð¤Ë¤è¤ê, ¥Ñ¥é¥á¡¼¥¿¤¬ÊÑ¿ô¤Î¾ì¹ç¤ÈÀ°¿ô¤Î¾ì¹ç¤È¤Ç¤Ï½ÐÎÏ·ë²Ì¤¬°Û¤Ê¤ë¾ì¹ç¤¬¤¢¤ë. |
¤³¤Î¤è¤¦¤Ê»ö¾ð¤Ë¤è¤ê, ¥Ñ¥é¥á¡¼¥¿¤¬ÊÑ¿ô¤Î¾ì¹ç¤ÈÀ°¿ô¤Î¾ì¹ç¤È¤Ç¤Ï½ÐÎÏ·ë²Ì¤¬°Û¤Ê¤ë¾ì¹ç¤¬¤¢¤ë. |
@itemize |
@end itemize |
|
|
@example |
@example |
[15] ns_twistedlog.twisted_deRham(x*y*(1-x-y),a,[x,y]); |
[15] ns_twistedlog.twisted_deRham(x*y*(1-x-y),a,[x,y]); |