=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v retrieving revision 1.1.1.1 retrieving revision 1.5 diff -u -p -r1.1.1.1 -r1.5 --- OpenXM/src/asir-doc/parts/intro.texi 1999/12/08 05:47:44 1.1.1.1 +++ OpenXM/src/asir-doc/parts/intro.texi 2000/08/23 04:29:12 1.5 @@ -1,101 +1,154 @@ +@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.4 2000/01/26 01:37:32 noro Exp $ @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{付録} @* +文法の詳細, サンプルファイルの紹介, +入力インタフェース, 変更点, 文献 +\E +\BEG +@item +@b{Introduction} +@* +Organization of the Manual, notation and how to get Risa/Asir + @item -@b{付録} +@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 -文法の詳細, パソコン版 @b{Risa/Asir}, サンプルファイルの紹介, -入力インタフェース, 変更点, 文献 +@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 +157,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 +199,56 @@ 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) が +サンプルファイル, utility なとが以下より ftp で入手できる. +\E +\BEG +Binaries for various platforms, documents, sample files, utilities are +available via ftp from +\E @example -ftp://endeavor.fujitsu.co.jp/pub/isis/asir +ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/ @end example @noindent -から入手できるが, 新版は愛媛大学の ftp server に置かれる予定である. +\BJP +から入手できる. トップディレクトリの下に各プラットフォームの名前のサ -ブディレクトリ (@samp{windows}, @samp{linux} etc.) と, ドキュメント -(@samp{doc}), サンプルおよびヘルプファイル (@samp{lib}), utility -(@samp{util}) などのサブディレクトリがある. バイナリに関しては, それぞ -れのサブディレクトリにある README を参照のこと. +ブディレクトリ (@samp{windows}, @samp{linux-libc6} etc.) と, +PostScript 形式のマニュアルがある. +\E +\BEG +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} のソースは以下から入手できる. +\EG The @b{PARI} source code is avaiable as @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.beta.tar.gz @end example - -@noindent -である. -