=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/asir-doc/parts/intro.texi 1999/12/08 05:47:44 1.1 +++ OpenXM/src/asir-doc/parts/intro.texi 1999/12/21 02:47:31 1.2 @@ -1,101 +1,165 @@ +@comment $OpenXM$ @node Introduction,,, Top @chapter Introduction @menu -* マニュアルの構成:: +\JP * マニュアルの構成:: +\EG * Organization of the Manual:: * Notation:: -* 入手方法:: +\JP * 入手方法:: +\EG * How to get Risa/Asir:: @end menu +\BJP @node マニュアルの構成,,, Introduction @section マニュアルの構成 +\E +\BEG +@node Organization of the Manual,,, Introduction +@section Organization of the Manual +\E @noindent -このマニュアルの構成は次の通りである. +\JP このマニュアルの構成は次の通りである. +\EG This manual is organized as follows. @enumerate -@item -@b{Introduction} +\BJP +@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{付録} -文法の詳細, パソコン版 @b{Risa/Asir}, サンプルファイルの紹介, +文法の詳細, サンプルファイルの紹介, 入力インタフェース, 変更点, 文献 +\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 @end enumerate @node Notation,,, Introduction @section Notation @noindent -このマニュアルでは, いくつかの記法上の慣習がある. それらについて説明する. +\JP このマニュアルでは, いくつかの記法上の慣習がある. それらについて説明する. +\EG In this manual, we shall use several notations, which is described here @itemize @bullet @item -函数名は, タイプライタ体で表される. +\JP 函数名は, タイプライタ体で表される. +\EG The name of a function is written in a @code{typewriter} type @code{gcd()}, @code{gr()} @item -函数の説明における函数の引数は, 斜字体で表される. +\JP 函数の説明における函数の引数は, 斜字体で表される. +\BEG +For the description of a function, its argument is written in a +@var{slanted} type. +\E @var{int}, @var{poly} @item -ファイル名は, シングルクォートつきのタイプライタ体で表される. +\JP ファイル名は, シングルクォートつきのタイプライタ体で表される. +\EG A file name is written in a @samp{typewriter type with single quotes} @samp{dbxinit}, @samp{asir_plot} @item -例は字下げされ, タイプライタ体で表される. +\JP 例は字下げされ, タイプライタ体で表される. +\EG An example is indented and written in a @code{typewriter} type. @example [0] 1; @@ -104,19 +168,35 @@ @end example @item -文献の参照は, @code{[]} つきのタイプライタ体で表される. +\JP 文献の参照は, @code{[]} つきのタイプライタ体で表される. +\EG References are made by a @code{typewriter type bracketed by []}. @code{[Boehm,Weiser]} @item +\BJP 函数の引数で, 省略可能なものは, @code{[]} で囲って示される. また, 0 個以上の繰り返しは, @code{[]*} で示される. +\E +\BEG +Arguments (actual parameters) of a function are optional when they are +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 +\BJP shell (csh) のプロンプトは @code{%} で表される. ただし, インストール 時など, root として作業している場合のプロンプトは @code{#} で表される. +\E +\BEG +The prompt from the shell (csh) is denoted, as it is, by @code{%}. +The prompt, however, is denoted by @code{#}, when you are assumed +to be working as the root, for example, at the installation. +\E @example % cat afo @@ -130,37 +210,61 @@ Password:XXXX @end example @item +\BJP 有理整数環は @b{Z}, 有理数体は @b{Q}, 実数体は @b{R}, 複素数体は @b{C} 有限体は @b{GF(q)} (@b{q} は素数冪) で表す. +\E +\BEG +The rational integer ring is denoted by @b{Z}, the rational number field +by @b{Q}, the real number field by @b{R}, and the complex number field by +@b{C}. +\E @end itemize +\BJP @node 入手方法,,, Introduction @section 入手方法 +\E +\BEG +@node How to get Risa/Asir,,, Introduction +@section How to get Risa/Asir +\E @noindent +\BJP さまざまなプラットフォーム用のバイナリおよびマニュアルなどのドキュメント, サンプルファイル, utility なとが ftp で入手できる. 1999 年 3 月現在, 旧版 (Asir-950831) が +\E +\BEG +Binaries for various platforms, documents, sample files, utilities are +available via ftp. The older versions are available from +\E @example ftp://endeavor.fujitsu.co.jp/pub/isis/asir @end example @noindent +\BJP から入手できるが, 新版は愛媛大学の ftp server に置かれる予定である. トップディレクトリの下に各プラットフォームの名前のサ -ブディレクトリ (@samp{windows}, @samp{linux} etc.) と, ドキュメント -(@samp{doc}), サンプルおよびヘルプファイル (@samp{lib}), utility -(@samp{util}) などのサブディレクトリがある. バイナリに関しては, それぞ -れのサブディレクトリにある README を参照のこと. +ブディレクトリ (@samp{windows}, @samp{linux} etc.) と, +PostScript 形式のマニュアルがある. +\E +\BEG +The current version will be available from an ftp server at Ehime university. +There are sub-directories whose names denote the name of platforms +(@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual. +\E @noindent -バイナリに組み込まれている @b{PARI} のソースは +\JP バイナリに組み込まれている @b{PARI} のソースは @example -ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.14.alpha.tar.gz +ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.alpha.tar.gz @end example @noindent -である. - +\JP である. +\EG is linked in the binaries.