OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi - diff

Return to ns_twistedlog-ja.texi CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / doc / ns_twistedlog

version 1.1, 2012/02/16 00:10:07

version 1.3, 2012/02/19 03:46:13

Line 235 generic bfct : [[-1,1],[s,1],[s+a+b+c-1,1]]

S0 : 0

B_{S0} length : 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

Line 510 Order : 1

@var{P} が変数の場合, 係数体に属する整数でない不定元と見なして計算される.

従って, これらの変数に依存する generic @var{b}-関数の根は最大整数根とはならず, またグレブナ基底の計算において, これらの変数を係数に含む先頭項は0にはならない.

このような事情により, パラメータが変数の場合と整数の場合とでは出力結果が異なる場合がある.

@itemize

@end itemize

@example

[15] ns_twistedlog.twisted_deRham(x*y*(1-x-y),a,[x,y]);