=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.24 retrieving revision 1.28 diff -u -p -r1.24 -r1.28 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2007/08/09 04:46:44 1.24 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2008/11/19 03:25:38 1.28 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.23 2006/03/12 07:05:41 takayama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.27 2008/11/11 08:18:50 ohara Exp $ \input texinfo @iftex @catcode`@#=6 @@ -38,7 +38,7 @@ @title 実験的仕様の関数 @subtitle Risa/Asir 実験的仕様関数説明書 @subtitle 1.0 版 -@subtitle 2007 年 8 月 +@subtitle 2008 年 1 月 @author by Risa/Asir committers @page @@ -121,6 +121,8 @@ ChangeLog の項目は www.openxm.org の cvswe * set_print_function:: * small_jacobi:: * flatten_quote:: +* printf:: +* fprintf:: * sprintf:: * quote_to_funargs:: * funargs_to_quote:: @@ -141,7 +143,13 @@ ChangeLog の項目は www.openxm.org の cvswe * qt_is_ceof:: * qt_rewrite:: * asirgui.hnd:: +* noro_matrix.rr: +* f_res:: +* chdir:: +* pwd:: +* dcurrenttime:: + @end menu @comment --- ◯◯◯◯ 関数 quotetotex, quotetotex_env の説明 ◯◯◯◯ @@ -1221,39 +1229,60 @@ ChangeLog @node sprintf,,, 実験的仕様の関数 -@subsection @code{sprintf} +@subsection @code{printf}, @code{fprintf}, @code{sprintf} @findex sprintf @table @t +@item printf(@var{format}[,@var{args}]) +@item fprintf(@var{fd},@var{format}[,@var{args}]) @item sprintf(@var{format}[,@var{args}]) :: C に似たプリント関数 @end table @table @var @item return -文字列 +整数(printf,fprintf), 文字列(sprintf) @item format 文字列 +@item fd +非負整数(ファイル記述子) @item args オブジェクト @end table @itemize @bullet @item -フォーマット文字列 @var{format } にしたがい @var{args} を文字列に変換する. +@code{printf} は書式文字列 @var{format } にしたがい, オブジェクト @var{args} を標準出力に書き出す. @item -フォーマット文字列の中に @code{%a} (any) が利用可能. -@var{args} の個数はフォーマット文字列の中の @code{%a} の個数に等しくすること. +@code{fprintf} は結果を, ファイル記述子 @var{fd} の指すファイルに書き出す. +@item +@code{sprintf} は結果を文字列で返し, 標準出力には書き出さない. +@item +書式文字列の中で @code{%a} (any) が利用可能. +@var{args} の個数は書式文字列の中の @code{%a} の個数に等しくすること. +@item +ファイル記述子は, @code{open_file} 関数を用いて得ること. @end itemize @example -[0] sprintf("%a: rat = %a",10,x^2-1); - 10: rat = x^2-1 +[0] printf("%a: rat = %a\n",10,x^2-1)$ +10: rat = x^2-1 +[1] S=sprintf("%a: rat = %a",20,x^2-1)$ +[2] S; +20: rat = x^2-1 +[3] Fd=open_file("hoge.txt","w"); +0 +[4] fprintf(Fd,"Poly=%a\n",(x-1)^3)$ +[5] close_file(Fd)$ +[6] quit; + +$ cat hoge.txt +Poly=x^3-3*x^2+3*x-1 @end example @table @t @item 参照 -@ref{rtostr} +@ref{rtostr},@ref{open_file},@ref{close_file} @end table @comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため @@ -1262,9 +1291,15 @@ ChangeLog ChangeLog @itemize @bullet @item - この関数は 2004-7-13 にコミットされた. + 関数 sprintfは 2004-7-13 にコミットされた. 変更をうけたソースコードは builtin/strobj (1.50) である. @item + 関数 printfは 2007-11-8 にコミットされた. + 変更をうけたソースコードは builtin/print.c (1.23) である. +@item + 関数 fprintfは 2008-11-18 にコミットされた. + 変更をうけたソースコードは builtin/file.c (1.25) である. +@item @code{%a} は Maple の sprintf の真似か. @end itemize @@ -2277,6 +2312,168 @@ ChangeLog @item @code{OpenXM_contrib2/windows/asir32gui/asir32guiview.cpp} 1.15, 1.1.6 @end itemize @comment **************************************************************** + +@node noro_matrix.rr,,, 実験的仕様の関数 +@subsection @code{noro_matrix.rr} +@findex noro_matrix.rr + +@comment --- 関数の簡単な説明 --- +@comment --- @itemx は複数に対して説明を一つつける場合に使う --- +@table @t +@item linalg.unit_mat(@var{arg1}) +@item linalg.random_rmat(@var{arg1}, @var{arg2}, @var{arg3}) +@item linalg.minipoly_mat(@var{arg1}) +@item linalg.compute_kernel(@var{arg1}) +@item linalg.compute_image(@var{arg1}) +@item linalg.jordan_canonical_form(@var{arg1}) +@end table + + +@itemize @bullet +@item 簡単な解説および実例は http://www.math.kobe-u.ac.jp/HOME/taka/2007/knx/noro_matrix-ja.txt を参照. +@end itemize + +@example +load("noro_matrix.rr"); +A=newmat(4,4,[[2,0,0,0],[3,5,1,0],[-9,-9,-1,0],[-5,0,0,1]]); +B=linalg.jordan_canonical_form(A); +@end example + +@table @t +@item 参照 +@ref{invmat} +@end table + +@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため +@comment --- openxm の外部からの寄与も述べる. Credit. +@noindent +ChangeLog +@itemize @bullet +@item この関数は 2004-04 頃から線形代数III の講義をしながら書かれた. +@item ソース: OpenXM/src/asir-contrib/packages/src/noro_matrix.rr +@end itemize + + +@node f_res,,, 実験的仕様の関数 +@subsection @code{f_res} +@findex f_res + +@comment --- 関数の簡単な説明 --- +@table @t +@item f_res +@end table + + +@itemize @bullet +@item f_res は各種の終結式を計算するモジュールである. ox_grep("f_res"); で online manual を閲覧可能である. +@end itemize + +@table @t +@item 参照 +@ref{} +@end table + +@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため +@comment --- openxm の外部からの寄与も述べる. Credit. +@noindent +ChangeLog +@itemize @bullet +@item このモジュールは Fujiwara 君の修士論文が元になり, それを改造したものである. +@item OpenXM/src/ox_cdd, OpenXM/src/asir-contrib/packages/src/f_res.rr +@end itemize + + +@node chdir,,, 実験的仕様の関数 +@subsection @code{chdir}, @code{pwd} +@findex chdir +@findex pwd + +@comment --- ディレクトリ操作 --- +@table @t +@item chdir(@var{directory}) +@item pwd() +:: シェルコマンド cd と pwd に対応する操作. +@end table + +@table @var +@item return +文字列(@code{pwd}), 整数(@code{chdir}) +@item dirctory +文字列 +@end table + +@itemize @bullet +@item +@code{pwd} はカレントディレクトリを文字列で返す. +@item +@code{chdir} はカレントディレクトリを @var{directory} に変更する. 成功すれば 0 を失敗すれば -1 を返す. +@item +これらの関数は UNIX 版にのみ実装されている. +@end itemize + +@example +[0] S=pwd(); +/home/ohara +[1] chdir(".../taka"); +-1 +[2] chdir("/usr/bin"); +0 +@end example + +@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため +@comment --- openxm の外部からの寄与も述べる. Credit. +@noindent +ChangeLog +@itemize @bullet +@item +これらの関数は 2008-8-27 にコミットされた. +変更をうけたソースコードは builtin/miscf.c (1.27) である. +@end itemize + + +@node dcurrenttime,,, 実験的仕様の関数 +@subsection @code{dcurrenttime} +@findex dcurrenttime + +@comment --- 現在時刻を取得 --- +@table @t +@item dcurrenttime() +:: 現在時刻を取得. +@end table + +@table @var +@item return +浮動小数点数 +@end table + +@itemize @bullet +@item +返り値は1970年1月1日0時0分0秒からの経過秒数である. +@end itemize + +@example +[0] ctrl("real_digit", 16); +16 +[1] dcurrenttime(); +1226390851.34476 +[2] currenttime(); +1226390854 +@end example + +@table @t +@item 参照 +@ref{currenttime} +@end table + +@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため +@comment --- openxm の外部からの寄与も述べる. Credit. +@noindent +ChangeLog +@itemize @bullet +@item +この関数は 2008-9-12 にコミットされた. +変更をうけたソースコードは builtin/time.c (1.6) である. +@end itemize @comment ----------- 以下は見本. 消すな. @comment ****************************************************************