File: [local] / OpenXM / src / asir-doc / parts / intro.texi (download)
Revision 1.8, Tue Mar 28 22:37:26 2017 UTC (7 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD Changes since 1.7: +37 -4
lines
Added an explanation on asir-contrib and the link to documents.
|
@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.8 2017/03/28 22:37:26 takayama 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::
\JP * Asir-contrib $B%Q%C%1!<%8(B::
\EG * Asir-contrib packages::
@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
Risa/Asir
$B$O0J2<$+$i(B http $B$GF~<j$G$-$k(B.
\E
\BEG
Risa/Asir
is available via http from
\E
@quotation
@uref{http://www.math.kobe-u.ac.jp/Asir}
@end quotation
\BJP
@node Asir-contrib $B%Q%C%1!<%8(B,,, Introduction
@section Asir-contrib $B%Q%C%1!<%8(B
\E
\BEG
@node Asir-contrib packages,,, Introduction
@section Asir-contrib packages
\E
@noindent
\BJP
Asir-contrib $B$O%f!<%6%3%_%e%K%F%#$,3+H/$7$?%Q%C%1!<%8=8$G$"$k(B.
@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-ja.html}
$B$KJ8=q$,$^$H$a$F$"$k(B.
$B$3$N%Z!<%8$K$O<B83E*5!G=$N%^%K%e%"%k!"FbIt9=B$$K$D$$$F$NJ8=q$X$N%j%s%/$b$"$k(B.
Asir-contrib $B$N%P%0$K$D$$$F$O3+H/<T$KD>@\O"Mm$r$H$C$F$[$7$$!#(B
$B3+H/<T$,ITL@$G$"$C$?$j8=:_%a%s%F%J!<$,IT:_$N%Q%C%1!<%8$K$D$$$F$O(B
asir2005@@math.kobe-u.ac.jp $B$XO"Mm$7$F$[$7$$(B.
\E
\BEG
Asir-contrib is a collection of packages developed by user communities.
Documents can be found at
@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc.html}
This page also contains links to a manual on experimental functions
of Risa/Asir and documents on the internal structure of Risa/Asir.
As for bugs on Asir-contrib, please contact directly to the developper
of the package.
If you do not know who developes the package or there is no maintener on the package now, please send a mail to asir2005@@math.kobe-u.ac.jp.
\E