=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/asir-doc/parts/intro.texi 2000/01/20 01:44:33 1.3 +++ OpenXM/src/asir-doc/parts/intro.texi 2000/01/26 01:37:32 1.4 @@ -1,4 +1,4 @@ -@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.2 1999/12/21 02:47:31 noro Exp $ +@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.3 2000/01/20 01:44:33 noro Exp $ @node Introduction,,, Top @chapter Introduction @@ -26,103 +26,92 @@ @enumerate \BJP -@item @b{Introduction} - +@item @b{Introduction} @* マニュアルの構成, notation および入手方法 -@item @b{Risa/Asir} - +@item @b{Risa/Asir} @* @b{Asir} の概要, インストレーション -@item @b{型} - +@item @b{型} @* @b{Asir} における型 -@item @b{ユーザ言語 Asir} - +@item @b{ユーザ言語 Asir} @* @b{Asir} のユーザ言語の解説 -@item @b{デバッガ} - +@item @b{デバッガ} @* ユーザ言語のデバッガの解説 -@item @b{組み込み函数} - +@item @b{組み込み函数} @* さまざまな組み込み函数の詳細 -@item @b{分散計算} - +@item @b{分散計算} @* 分散計算機能に関する解説, 関数の詳細 -@item @b{グレブナ基底の計算} - +@item @b{グレブナ基底の計算} @* グレブナ基底に関する函数, 演算の解説 -@item @b{代数的数に関する演算} - +@item @b{代数的数に関する演算} @* 代数的数に関する函数, 演算の解説 -@item @b{有限体に関する演算} - +@item @b{有限体に関する演算} @* 有限体に関する関数, 演算の解説 -@item @b{付録} - +@item @b{付録} @* 文法の詳細, サンプルファイルの紹介, 入力インタフェース, 変更点, 文献 \E \BEG @item @b{Introduction} - +@* Organization of the Manual, notation and how to get Risa/Asir @item @b{Risa/Asir} - +@* Summary of @b{Asir}, Installation @item @b{Types} - +@* Types in @b{Asir} @item @b{Asir user language} - +@* Description of @b{Asir} user language @item @b{Debugger} - +@* Description of the debugger of @b{Asir} user language @item @b{Built-in function} - +@* Detailed description of various built-in functions @item @b{Distributed computation} - +@* Description of functions for distributed computation @item @b{Groebner bases} - +@* Description of functions and operations for Groebner basis computation @item @b{Algebraic numbers} - +@* Description of functions and operations for algebraic numbers @item @b{Finite fields} - +@* Description of functions and operations on finite fields @item @b{Appendix} - +@* Syntax in detail, description of sample files, interfaces for input from keyboard, changes, references \E @@ -139,7 +128,7 @@ sample files, interfaces for input from keyboard, chan @item \JP 函数名は, タイプライタ体で表される. \EG The name of a function is written in a @code{typewriter} type - +@* @code{gcd()}, @code{gr()} @item @@ -154,7 +143,7 @@ For the description of a function, its argument is wri @item \JP ファイル名は, シングルクォートつきのタイプライタ体で表される. \EG A file name is written in a @samp{typewriter type with single quotes} - +@* @samp{dbxinit}, @samp{asir_plot} @item @@ -170,7 +159,7 @@ For the description of a function, its argument is wri @item \JP 文献の参照は, @code{[]} つきのタイプライタ体で表される. \EG References are made by a @code{typewriter type bracketed by []}. - +@* @code{[Boehm,Weiser]} @item @@ -184,7 +173,7 @@ bracketed by @code{[]}'s. The repeatable items (including non-existence of the item) are bracketed by @code{[]*}'s. \E - +@* @code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)} @item