version 1.1, 2012/02/16 00:10:07 |
version 1.4, 2012/02/25 06:07:49 |
|
|
\input texinfo |
\input ../../../../asir-doc/texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
@def@fref#1{@xrefX[#1,,@code{#1},,,]} |
@def@fref#1{@xrefX[#1,,@code{#1},,,]} |
Line 235 generic bfct : [[-1,1],[s,1],[s+a+b+c-1,1]] |
|
Line 235 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 |
[[1],[a+b+c-1,a,b]] |
[Basis,[1],Not integer,[a,b,c],Not non-negative integer,[-a-b-c+1],Not zero,[a,b]] |
@end example |
@end example |
|
|
|
|
|
|
@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]); |