[BACK]Return to intro.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-doc / parts

Diff for /OpenXM/src/asir-doc/parts/intro.texi between version 1.1.1.1 and 1.4

version 1.1.1.1, 1999/12/08 05:47:44 version 1.4, 2000/01/26 01:37:32
Line 1 
Line 1 
   @comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.3 2000/01/20 01:44:33 noro Exp $
 @node Introduction,,, Top  @node Introduction,,, Top
   
 @chapter Introduction  @chapter Introduction
   
 @menu  @menu
 * $B%^%K%e%"%k$N9=@.(B::  \JP * $B%^%K%e%"%k$N9=@.(B::
   \EG * Organization of the Manual::
 * Notation::  * Notation::
 * $BF~<jJ}K!(B::  \JP * $BF~<jJ}K!(B::
   \EG * How to get Risa/Asir::
 @end menu  @end menu
   
   \BJP
 @node $B%^%K%e%"%k$N9=@.(B,,, Introduction  @node $B%^%K%e%"%k$N9=@.(B,,, Introduction
 @section $B%^%K%e%"%k$N9=@.(B  @section $B%^%K%e%"%k$N9=@.(B
   \E
   \BEG
   @node Organization of the Manual,,, Introduction
   @section Organization of the Manual
   \E
   
 @noindent  @noindent
 $B$3$N%^%K%e%"%k$N9=@.$O<!$NDL$j$G$"$k(B.  \JP $B$3$N%^%K%e%"%k$N9=@.$O<!$NDL$j$G$"$k(B.
   \EG This manual is organized as follows.
   
 @enumerate  @enumerate
 @item  \BJP
 @b{Introduction}  @item @b{Introduction} @*
   
 $B%^%K%e%"%k$N9=@.(B, notation $B$*$h$SF~<jJ}K!(B  $B%^%K%e%"%k$N9=@.(B, notation $B$*$h$SF~<jJ}K!(B
   
 @item  @item @b{Risa/Asir} @*
 @b{Risa/Asir}  
   
 @b{Asir} $B$N35MW(B, $B%$%s%9%H%l!<%7%g%s(B  @b{Asir} $B$N35MW(B, $B%$%s%9%H%l!<%7%g%s(B
   
 @item  @item @b{$B7?(B} @*
 @b{$B7?(B}  
   
 @b{Asir} $B$K$*$1$k7?(B  @b{Asir} $B$K$*$1$k7?(B
   
 @item  @item @b{$B%f!<%68@8l(B Asir} @*
 @b{$B%f!<%68@8l(B Asir}  
   
 @b{Asir} $B$N%f!<%68@8l$N2r@b(B  @b{Asir} $B$N%f!<%68@8l$N2r@b(B
   
 @item  @item @b{$B%G%P%C%,(B} @*
 @b{$B%G%P%C%,(B}  
   
 $B%f!<%68@8l$N%G%P%C%,$N2r@b(B  $B%f!<%68@8l$N%G%P%C%,$N2r@b(B
   
 @item  @item @b{$BAH$_9~$_H!?t(B} @*
 @b{$BAH$_9~$_H!?t(B}  
   
 $B$5$^$6$^$JAH$_9~$_H!?t$N>\:Y(B  $B$5$^$6$^$JAH$_9~$_H!?t$N>\:Y(B
   
 @item  @item @b{$BJ,;67W;;(B} @*
 @b{$BJ,;67W;;(B}  
   
 $BJ,;67W;;5!G=$K4X$9$k2r@b(B, $B4X?t$N>\:Y(B  $BJ,;67W;;5!G=$K4X$9$k2r@b(B, $B4X?t$N>\:Y(B
   
 @item  @item @b{$B%0%l%V%J4pDl$N7W;;(B} @*
 @b{$B%0%l%V%J4pDl$N7W;;(B}  
   
 $B%0%l%V%J4pDl$K4X$9$kH!?t(B, $B1i;;$N2r@b(B  $B%0%l%V%J4pDl$K4X$9$kH!?t(B, $B1i;;$N2r@b(B
   
 @item  @item @b{$BBe?tE*?t$K4X$9$k1i;;(B} @*
 @b{$BBe?tE*?t$K4X$9$k1i;;(B}  
   
 $BBe?tE*?t$K4X$9$kH!?t(B, $B1i;;$N2r@b(B  $BBe?tE*?t$K4X$9$kH!?t(B, $B1i;;$N2r@b(B
   
 @item  @item @b{$BM-8BBN$K4X$9$k1i;;(B} @*
 @b{$BM-8BBN$K4X$9$k1i;;(B}  
   
 $BM-8BBN$K4X$9$k4X?t(B, $B1i;;$N2r@b(B  $BM-8BBN$K4X$9$k4X?t(B, $B1i;;$N2r@b(B
   
   @item @b{$BIUO?(B} @*
   $BJ8K!$N>\:Y(B, $B%5%s%W%k%U%!%$%k$N>R2p(B,
   $BF~NO%$%s%?%U%'!<%9(B, $BJQ99E@(B, $BJ88%(B
   \E
   \BEG
   @item
   @b{Introduction}
   @*
   Organization of the Manual, notation and how to get Risa/Asir
   
 @item  @item
 @b{$BIUO?(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
   
 $BJ8K!$N>\:Y(B, $B%Q%=%3%sHG(B @b{Risa/Asir}, $B%5%s%W%k%U%!%$%k$N>R2p(B,  @item
 $BF~NO%$%s%?%U%'!<%9(B, $BJQ99E@(B, $BJ88%(B  @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  @end enumerate
   
 @node Notation,,, Introduction  @node Notation,,, Introduction
 @section Notation  @section Notation
   
 @noindent  @noindent
 $B$3$N%^%K%e%"%k$G$O(B, $B$$$/$D$+$N5-K!>e$N47=,$,$"$k(B. $B$=$l$i$K$D$$$F@bL@$9$k(B.  \JP $B$3$N%^%K%e%"%k$G$O(B, $B$$$/$D$+$N5-K!>e$N47=,$,$"$k(B. $B$=$l$i$K$D$$$F@bL@$9$k(B.
   \EG In this manual, we shall use several notations, which is described here
   
 @itemize @bullet  @itemize @bullet
 @item  @item
 $BH!?tL>$O(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.  \JP $BH!?tL>$O(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.
   \EG The name of a function is written in a @code{typewriter} type
   @*
 @code{gcd()}, @code{gr()}  @code{gcd()}, @code{gr()}
   
 @item  @item
 $BH!?t$N@bL@$K$*$1$kH!?t$N0z?t$O(B, $B<P;zBN$GI=$5$l$k(B.  \JP $BH!?t$N@bL@$K$*$1$kH!?t$N0z?t$O(B, $B<P;zBN$GI=$5$l$k(B.
   \BEG
   For the description of a function, its argument is written in a
   @var{slanted} type.
   \E
   
 @var{int}, @var{poly}  @var{int}, @var{poly}
   
 @item  @item
 $B%U%!%$%kL>$O(B, $B%7%s%0%k%/%)!<%H$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.  \JP $B%U%!%$%kL>$O(B, $B%7%s%0%k%/%)!<%H$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.
   \EG A file name is written in a @samp{typewriter type with single quotes}
   @*
 @samp{dbxinit}, @samp{asir_plot}  @samp{dbxinit}, @samp{asir_plot}
   
 @item  @item
 $BNc$O;z2<$2$5$l(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.  \JP $BNc$O;z2<$2$5$l(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.
   \EG An example is indented and written in a @code{typewriter} type.
   
 @example  @example
 [0] 1;  [0] 1;
Line 104 
Line 157 
 @end example  @end example
   
 @item  @item
 $BJ88%$N;2>H$O(B, @code{[]} $B$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.  \JP $BJ88%$N;2>H$O(B, @code{[]} $B$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.
   \EG References are made by a @code{typewriter type bracketed by []}.
   @*
 @code{[Boehm,Weiser]}  @code{[Boehm,Weiser]}
   
 @item  @item
   \BJP
 $BH!?t$N0z?t$G(B, $B>JN,2DG=$J$b$N$O(B, @code{[]} $B$G0O$C$F<($5$l$k(B.  $BH!?t$N0z?t$G(B, $B>JN,2DG=$J$b$N$O(B, @code{[]} $B$G0O$C$F<($5$l$k(B.
 $B$^$?(B, 0 $B8D0J>e$N7+$jJV$7$O(B, @code{[]*} $B$G<($5$l$k(B.  $B$^$?(B, 0 $B8D0J>e$N7+$jJV$7$O(B, @code{[]*} $B$G<($5$l$k(B.
   \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}]*)}  @code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)}
   
 @item  @item
   \BJP
 shell (csh) $B$N%W%m%s%W%H$O(B @code{%} $B$GI=$5$l$k(B. $B$?$@$7(B, $B%$%s%9%H!<%k(B  shell (csh) $B$N%W%m%s%W%H$O(B @code{%} $B$GI=$5$l$k(B. $B$?$@$7(B, $B%$%s%9%H!<%k(B
 $B;~$J$I(B, root $B$H$7$F:n6H$7$F$$$k>l9g$N%W%m%s%W%H$O(B @code{#} $B$GI=$5$l$k(B.  $B;~$J$I(B, root $B$H$7$F:n6H$7$F$$$k>l9g$N%W%m%s%W%H$O(B @code{#} $B$GI=$5$l$k(B.
   \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  @example
 % cat afo  % cat afo
Line 130  Password:XXXX
Line 199  Password:XXXX
 @end example  @end example
   
 @item  @item
   \BJP
 $BM-M}@0?t4D$O(B @b{Z}, $BM-M}?tBN$O(B @b{Q}, $B<B?tBN$O(B @b{R}, $BJ#AG?tBN$O(B @b{C}  $BM-M}@0?t4D$O(B @b{Z}, $BM-M}?tBN$O(B @b{Q}, $B<B?tBN$O(B @b{R}, $BJ#AG?tBN$O(B @b{C}
 $BM-8BBN$O(B @b{GF(q)} (@b{q} $B$OAG?tQQ(B) $B$GI=$9(B.  $BM-8BBN$O(B @b{GF(q)} (@b{q} $B$OAG?tQQ(B) $B$GI=$9(B.
   \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  @end itemize
   
   \BJP
 @node $BF~<jJ}K!(B,,, Introduction  @node $BF~<jJ}K!(B,,, Introduction
 @section $BF~<jJ}K!(B  @section $BF~<jJ}K!(B
   \E
   \BEG
   @node How to get Risa/Asir,,, Introduction
   @section How to get Risa/Asir
   \E
   
 @noindent  @noindent
   \BJP
 $B$5$^$6$^$J%W%i%C%H%U%)!<%`MQ$N%P%$%J%j$*$h$S%^%K%e%"%k$J$I$N%I%-%e%a%s%H(B,  $B$5$^$6$^$J%W%i%C%H%U%)!<%`MQ$N%P%$%J%j$*$h$S%^%K%e%"%k$J$I$N%I%-%e%a%s%H(B,
 $B%5%s%W%k%U%!%$%k(B, utility $B$J$H$,(B ftp $B$GF~<j$G$-$k(B. 1999 $BG/(B 3 $B7n8=:_(B,  $B%5%s%W%k%U%!%$%k(B, utility $B$J$H$,0J2<$h$j(B ftp $B$GF~<j$G$-$k(B.
 $B5lHG(B (Asir-950831) $B$,(B  \E
   \BEG
   Binaries for various platforms, documents, sample files, utilities are
   available via ftp from
   \E
   
 @example  @example
 ftp://endeavor.fujitsu.co.jp/pub/isis/asir  ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/
 @end example  @end example
   
 @noindent  @noindent
 $B$+$iF~<j$G$-$k$,(B, $B?7HG$O0&I2Bg3X$N(B ftp server $B$KCV$+$l$kM=Dj$G$"$k(B.  \BJP
   $B$+$iF~<j$G$-$k(B.
 $B%H%C%W%G%#%l%/%H%j$N2<$K3F%W%i%C%H%U%)!<%`$NL>A0$N%5(B  $B%H%C%W%G%#%l%/%H%j$N2<$K3F%W%i%C%H%U%)!<%`$NL>A0$N%5(B
 $B%V%G%#%l%/%H%j(B (@samp{windows}, @samp{linux} etc.) $B$H(B, $B%I%-%e%a%s%H(B  $B%V%G%#%l%/%H%j(B (@samp{windows}, @samp{linux-libc6} etc.) $B$H(B,
 (@samp{doc}), $B%5%s%W%k$*$h$S%X%k%W%U%!%$%k(B (@samp{lib}), utility  PostScript $B7A<0$N%^%K%e%"%k$,$"$k(B.
 (@samp{util}) $B$J$I$N%5%V%G%#%l%/%H%j$,$"$k(B. $B%P%$%J%j$K4X$7$F$O(B, $B$=$l$>(B  \E
 $B$l$N%5%V%G%#%l%/%H%j$K$"$k(B README $B$r;2>H$N$3$H(B.  \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  @noindent
 $B%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B  \JP $B%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B
   
 @example  @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  @end example
   
 @noindent  @noindent
 $B$G$"$k(B.  \JP $B$G$"$k(B.
   \EG is linked in the binaries.
Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>