=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.9 retrieving revision 1.10 diff -u -p -r1.9 -r1.10 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2004/06/27 10:08:56 1.9 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2004/06/27 17:44:55 1.10 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.8 2004/06/23 08:52:18 takayama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.9 2004/06/27 10:08:56 takayama Exp $ \input texinfo @iftex @catcode`@#=6 @@ -575,7 +575,7 @@ parse/parse.h 1.23--1.26 @itemize @bullet @item asir-port.sh は knoppix 専用である. -このコマンドは asir のバイナリおよび FFL で配布できない部分を +このコマンドは asir のバイナリおよび FLL で配布できない部分を ftp.math.kobe-u.ac.jp よりダウンロードして /home/knoppix/.asir-tmp へセーブして, 実行する. .asirrc および .TeXmacs/plugins/ox/progs/init-ox.scm もダウンロードする. @@ -921,8 +921,8 @@ builtin/dp.c 1.49 @example [219] mapat(deg,1,x^2+y^3+x+y,[x,y]); [2,3] -[220] mapat(subst,1,x+y+z,[x,y,z],2) -[y+z+1,x+z+1,x+y+1] +[220] mapat(subst,1,x+y+z,[x,y,z],2); +[y+z+2,x+z+2,x+y+2] @end example @table @t