=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi,v retrieving revision 1.2 retrieving revision 1.4 diff -u -p -r1.2 -r1.4 --- 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/02/25 06:07:49 1.4 @@ -1,4 +1,4 @@ -\input texinfo +\input ../../../../asir-doc/texinfo @iftex @catcode`@#=6 @def@fref#1{@xrefX[#1,,@code{#1},,,]} @@ -235,7 +235,7 @@ 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