Return to intro.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts

Removed descriptions about asir key.
Added instruction for making Asir from the source.

@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.5 2000/08/23 04:29:12 noro Exp $
@node Introduction,,, Top

@chapter Introduction

@menu
\JP * $B%^%K%e%"%k$N9=@.(B::
\EG * Organization of the Manual::
* Notation::
\JP * $BF~<jJ}K!(B::
\EG * How to get Risa/Asir::
@end menu

\BJP
@node $B%^%K%e%"%k$N9=@.(B,,, Introduction
@section $B%^%K%e%"%k$N9=@.(B
\E
\BEG
@node Organization of the Manual,,, Introduction
@section Organization of the Manual
\E

@noindent
\JP $B$3$N%^%K%e%"%k$N9=@.$O<!$NDL$j$G$"$k(B. 
\EG This manual is organized as follows.

@enumerate
\BJP
@item @b{Introduction} @*
$B%^%K%e%"%k$N9=@.(B, notation $B$*$h$SF~<jJ}K!(B

@item @b{Risa/Asir} @*
@b{Asir} $B$N35MW(B, $B%$%s%9%H%l!<%7%g%s(B

@item @b{$B7?(B} @*
@b{Asir} $B$K$*$1$k7?(B

@item @b{$B%f!<%68@8l(B Asir} @*
@b{Asir} $B$N%f!<%68@8l$N2r@b(B

@item @b{$B%G%P%C%,(B} @*
$B%f!<%68@8l$N%G%P%C%,$N2r@b(B

@item @b{$BAH$_9~$_H!?t(B} @*
$B$5$^$6$^$JAH$_9~$_H!?t$N>\:Y(B

@item @b{$BJ,;67W;;(B} @*
$BJ,;67W;;5!G=$K4X$9$k2r@b(B, $B4X?t$N>\:Y(B

@item @b{$B%0%l%V%J4pDl$N7W;;(B} @*
$B%0%l%V%J4pDl$K4X$9$kH!?t(B, $B1i;;$N2r@b(B

@item @b{$BBe?tE*?t$K4X$9$k1i;;(B} @*
$BBe?tE*?t$K4X$9$kH!?t(B, $B1i;;$N2r@b(B

@item @b{$BM-8BBN$K4X$9$k1i;;(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
@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 $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
@item
\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()}

@item
\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}

@item
\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}

@item
\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
[0] 1;
1
[1] quit;
@end example

@item
\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]}

@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. 
$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}]*)}

@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
$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
% cat afo
afo
bfo
% su
Password:XXXX
# cp asir /usr/local/bin
# exit
%
@end example

@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-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

\BJP
@node $BF~<jJ}K!(B,,, Introduction
@section $BF~<jJ}K!(B
\E
\BEG
@node How to get Risa/Asir,,, Introduction
@section How to get Risa/Asir
\E

@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%s%W%k%U%!%$%k(B, utility $B$J$H$,0J2<$h$j(B ftp $B$GF~<j$G$-$k(B.
\E
\BEG
Binaries for various platforms, documents, sample files, utilities are
available via ftp from
\E

@example
ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/
@end example

@noindent
\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%V%G%#%l%/%H%j(B (@samp{windows}, @samp{linux-libc6} etc.) $B$H(B, 
PostScript $B7A<0$N%^%K%e%"%k$,$"$k(B. 
\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
\JP @b{PARI} $B$N%=!<%9$O0J2<$+$iF~<j$G$-$k(B. 
\EG The @b{PARI} source code is avaiable as

@example
ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.beta.tar.gz
@end example