| version 1.1.1.1, 1999/12/08 05:47:44 |
version 1.3, 2000/01/20 01:44:33 |
|
|
| |
@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.2 1999/12/21 02:47:31 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 |
@item @b{$BIUO?(B} |
| @b{$BIUO?(B} |
|
| |
|
| $BJ8K!$N>\:Y(B, $B%Q%=%3%sHG(B @b{Risa/Asir}, $B%5%s%W%k%U%!%$%k$N>R2p(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 |
$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 |
@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; |
|
|
| @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 |
|
|
| @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. |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to intro.texi CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-doc / parts