=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/appendix.texi,v retrieving revision 1.6 retrieving revision 1.10 diff -u -p -r1.6 -r1.10 --- OpenXM/src/asir-doc/parts/appendix.texi 2000/03/17 08:27:28 1.6 +++ OpenXM/src/asir-doc/parts/appendix.texi 2002/09/10 01:40:01 1.10 @@ -1,4 +1,4 @@ -@comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.5 2000/03/17 02:17:03 noro Exp $ +@comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.9 2002/09/03 01:50:57 noro Exp $ \BJP @node 付録,,, Top @appendix 付録 @@ -80,8 +80,8 @@ \E @end example -\JP (@xref{さまざまな式}) -\EG (@xref{various expressions}) +\JP (@xref{さまざまな式}.) +\EG (@xref{various expressions}.) @example \BJP @@ -174,8 +174,8 @@ (X,Y,Japan etc.) \E @end example -\JP (@xref{変数および不定元}) -\EG (@xref{variables and indeterminates}) +\JP (@xref{変数および不定元}.) +\EG (@xref{variables and indeterminates}.) @example \BJP @@ -215,8 +215,8 @@ (a,bCD,c1_2 etc.) \E @end example -\JP (@xref{変数および不定元}) -\EG (@xref{variables and indeterminates}) +\JP (@xref{変数および不定元}.) +\EG (@xref{variables and indeterminates}.) @example \BJP @@ -234,8 +234,8 @@ \E @end example -\JP (@xref{数の型}) -\EG (@xref{Types of numbers}) +\JP (@xref{数の型}.) +\EG (@xref{Types of numbers}.) @example \JP <有理数>: @@ -254,8 +254,8 @@ \EG : newalg(x^2+1), alg(0)^2+1 @end example -\JP (@xref{代数的数に関する演算}) -\EG (@xref{Algebraic numbers}) +\JP (@xref{代数的数に関する演算}.) +\EG (@xref{Algebraic numbers}.) @example \JP <複素数>: @@ -284,8 +284,8 @@ @samp{<<} @samp{>>} \E @end example -\JP (@xref{グレブナ基底の計算}) -\EG (@xref{Groebner basis computation}) +\JP (@xref{グレブナ基底の計算}.) +\EG (@xref{Groebner basis computation}.) @example \BJP @@ -321,8 +321,8 @@ @samp{end(quit)} \E @end example -\JP (@xref{文}) -\EG (@xref{statements}) +\JP (@xref{文}.) +\EG (@xref{statements}.) @example \JP <終端>: @@ -386,14 +386,14 @@ Here, we explain some of them. @table @samp @item fff -\JP 大標数素体および標数 2 の有限体上の一変数多項式因数分解 (@xref{有限体に関する演算}) -\EG Univariate factorizer over large finite fields (@xref{Finite fields}) +\JP 大標数素体および標数 2 の有限体上の一変数多項式因数分解 (@xref{有限体に関する演算}.) +\EG Univariate factorizer over large finite fields (@xref{Finite fields}.) @item gr -\JP グレブナ基底計算パッケージ. (@xref{グレブナ基底の計算}) -\EG Groebner basis package. (@xref{Groebner basis computation}) +\JP グレブナ基底計算パッケージ. (@xref{グレブナ基底の計算}.) +\EG Groebner basis package. (@xref{Groebner basis computation}.) @item sp -\JP 代数的数の演算および因数分解, 最小分解体. (@xref{代数的数に関する演算}) -\EG Operations over algebraic numbers and factorization, Splitting fields. (@xref{Algebraic numbers}) +\JP 代数的数の演算および因数分解, 最小分解体. (@xref{代数的数に関する演算}.) +\EG Operations over algebraic numbers and factorization, Splitting fields. (@xref{Algebraic numbers}.) @item alpi @itemx bgk @itemx cyclic @@ -401,10 +401,10 @@ Here, we explain some of them. @itemx kimura \JP グレブナ基底計算において, ベンチマークその他で用いられる例. \EG Example polynomial sets for benchmarks of Groebner basis computation. -(@xref{katsura hkatsura cyclic hcyclic}) +(@xref{katsura hkatsura cyclic hcyclic}.) @item defs.h -\JP いくつかのマクロ定義. (@xref{プリプロセッサ}) -\EG Macro definitions. (@xref{preprocessor}) +\JP いくつかのマクロ定義. (@xref{プリプロセッサ}.) +\EG Macro definitions. (@xref{preprocessor}.) @item fctrtest \BJP 整数上の多項式の因数分解のテスト. REDUCE の @samp{factor.tst} および @@ -423,13 +423,13 @@ correctly. @item fctrdata \BJP @samp{fctrtest} で使われている例を含む, 因数分解テスト用の例. -@code{Alg[]} に収められている例は, @code{af()} (@xref{asq af af_noalg}) 用の例である. +@code{Alg[]} に収められている例は, @code{af()} (@ref{asq af af_noalg}) 用の例である. \E \BEG This contains example polynomials for factorization. It includes polynomials used in @samp{fctrtest}. Polynomials contained in vector @code{Alg[]} is for the algebraic -factorization @code{af()} (@xref{asq af af_noalg}). +factorization @code{af()}. (@xref{asq af af_noalg}.) \E @example [45] load("sp")$ @@ -448,12 +448,12 @@ x^9-15*x^6-87*x^3-125 @end example @item ifplot \BJP -描画 (@xref{ifplot conplot plot plotover}) のための例. @code{IS[]} には有名な +描画 (@ref{ifplot conplot plot polarplot plotover}) のための例. @code{IS[]} には有名な 曲線の例, 変数 @code{H, D, C, S} にはトランプのハート, ダイヤ, クラブ, スペード (らしき) 曲線の例が入っている. \E \BEG -Examples for plotting (@xref{ifplot conplot plot plotover}). +Examples for plotting. (@xref{ifplot conplot plot polarplot plotover}.) Vector @code{IS[]} contains several famous algebraic curves. Variables @code{H, D, C, S} contains something like the suits (Heart, Diamond, Club, and Spade) of cards. @@ -532,18 +532,35 @@ of radicals (@pxref{primadec primedec}). \E \BJP -既に述べたように, DOS 版, Windows 版, Macintosh 版では入力インタフェースと +DOS 版, Windows 版では入力インタフェースと してコマンドライン編集およびヒストリ置き換えが組み込まれている. UNIX 版では このような機能は組み込まれていないが, 以下で述べるような入力インタフェース が用意されている. これらは @b{Asir} バイナリとともに ftp 可能である. ftp server に関しては @xref{入手方法}. + +Windows 版 @samp{asirgui.exe} は, 通常の Windows における慣習とは異なる +形のコピーペースト機能を提供している. Window 上に表示されている文字列 +に対しマウス左ボタンを押しながらドラッグすると文字列が選択される. +ボタンを離すと反転表示が元に戻るが, その文字列はコピーバッファに +取り込まれている. マウス右ボタンを押すと, コピーバッファ内の文字列が +現在のカーソル位置に挿入される. 既に表示された部分は readonly +であり, その部分を改変できないことに注意して欲しい. \E \BEG -As already mentioned a command line editing facility and a history -substitution facility are built-in for DOS, Windows Macintosh version +A command line editing facility and a history +substitution facility are built-in for DOS, Windows version of @b{Asir}. UNIX versions of @b{Asir} do not have such built-in facilites. Instead, the following input interfaces are prepared. This are also available from our ftp server. As for our ftp server @xref{How to get Risa/Asir}. + +On Windows, @samp{asirgui.exe} has a copy and paste functionality +different from Windows convention. Press the left button of the mouse +and drag the mouse cursor on a text, then the text is selected and is +highlighted. When the button is released, highlighted text returns to +the normal state and it is saved in the copy buffer. If the right +button is pressed, the text in the copy buffer is inserted at the +current text cursor position. Note that the existing text is read-only and +one cannot modify it. \E @menu @@ -662,6 +679,9 @@ distribution (@code{http://www.math.kobe-u.ac.jp/OpenX It is possible to link an @b{Asir} library to use the functionalities of @b{Asir} from other programs. The necessary libraries are included in the @b{OpenXM} distribution +@ifhtml +(OpenXM ) +@end ifhtml (@code{http://www.math.kobe-u.ac.jp/OpenXM}). At present only the @b{OpenXM} interfaces are available. Here we assume that @b{OpenXM} is already installed. In the following