version 1.2, 1999/12/21 02:47:31 |
version 1.6, 2003/04/20 08:01:26 |
|
|
@comment $OpenXM$ |
@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.5 2000/08/23 04:29:12 noro Exp $ |
@node Introduction,,, Top |
@node Introduction,,, Top |
|
|
@chapter Introduction |
@chapter Introduction |
|
|
|
|
@enumerate |
@enumerate |
\BJP |
\BJP |
@item @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 @b{Risa/Asir} |
@item @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 @b{$B7?(B} |
@item @b{$B7?(B} @* |
|
|
@b{Asir} $B$K$*$1$k7?(B |
@b{Asir} $B$K$*$1$k7?(B |
|
|
@item @b{$B%f!<%68@8l(B Asir} |
@item @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 @b{$B%G%P%C%,(B} |
@item @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 @b{$BAH$_9~$_H!?t(B} |
@item @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 @b{$BJ,;67W;;(B} |
@item @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 @b{$B%0%l%V%J4pDl$N7W;;(B} |
@item @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 @b{$BBe?tE*?t$K4X$9$k1i;;(B} |
@item @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 @b{$BM-8BBN$K4X$9$k1i;;(B} |
@item @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} |
@item @b{$BIUO?(B} @* |
|
|
$BJ8K!$N>\:Y(B, $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 |
\E |
\BEG |
\BEG |
@item |
@item |
@b{Introduction} |
@b{Introduction} |
|
@* |
Organization of the Manual, notation and how to get Risa/Asir |
Organization of the Manual, notation and how to get Risa/Asir |
|
|
@item |
@item |
@b{Risa/Asir} |
@b{Risa/Asir} |
|
@* |
Summary of @b{Asir}, Installation |
Summary of @b{Asir}, Installation |
|
|
@item |
@item |
@b{Types} |
@b{Types} |
|
@* |
Types in @b{Asir} |
Types in @b{Asir} |
|
|
@item |
@item |
@b{Asir user language} |
@b{Asir user language} |
|
@* |
Description of @b{Asir} user language |
Description of @b{Asir} user language |
|
|
@item |
@item |
@b{Debugger} |
@b{Debugger} |
|
@* |
Description of the debugger of @b{Asir} user language |
Description of the debugger of @b{Asir} user language |
|
|
@item |
@item |
@b{Built-in function} |
@b{Built-in function} |
|
@* |
Detailed description of various built-in functions |
Detailed description of various built-in functions |
|
|
@item @b{Distributed computation} |
@item @b{Distributed computation} |
|
@* |
Description of functions for distributed computation |
Description of functions for distributed computation |
|
|
@item |
@item |
@b{Groebner bases} |
@b{Groebner bases} |
|
@* |
Description of functions and operations for Groebner basis computation |
Description of functions and operations for Groebner basis computation |
|
|
@item |
@item |
@b{Algebraic numbers} |
@b{Algebraic numbers} |
|
@* |
Description of functions and operations for algebraic numbers |
Description of functions and operations for algebraic numbers |
|
|
@item @b{Finite fields} |
@item @b{Finite fields} |
|
@* |
Description of functions and operations on finite fields |
Description of functions and operations on finite fields |
|
|
@item |
@item |
@b{Appendix} |
@b{Appendix} |
|
@* |
Syntax in detail, description of |
Syntax in detail, description of |
sample files, interfaces for input from keyboard, changes, references |
sample files, interfaces for input from keyboard, changes, references |
\E |
\E |
Line 139 sample files, interfaces for input from keyboard, chan |
|
Line 128 sample files, interfaces for input from keyboard, chan |
|
@item |
@item |
\JP $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 |
\EG The name of a function is written in a @code{typewriter} type |
|
@* |
@code{gcd()}, @code{gr()} |
@code{gcd()}, @code{gr()} |
|
|
@item |
@item |
Line 154 For the description of a function, its argument is wri |
|
Line 143 For the description of a function, its argument is wri |
|
@item |
@item |
\JP $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} |
\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 |
Line 170 For the description of a function, its argument is wri |
|
Line 159 For the description of a function, its argument is wri |
|
@item |
@item |
\JP $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 []}. |
\EG References are made by a @code{typewriter type bracketed by []}. |
|
@* |
@code{[Boehm,Weiser]} |
@code{[Boehm,Weiser]} |
|
|
@item |
@item |
Line 184 bracketed by @code{[]}'s. |
|
Line 173 bracketed by @code{[]}'s. |
|
The repeatable items (including non-existence of the item) |
The repeatable items (including non-existence of the item) |
are bracketed by @code{[]*}'s. |
are bracketed by @code{[]*}'s. |
\E |
\E |
|
@* |
@code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)} |
@code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)} |
|
|
@item |
@item |
Line 232 by @b{Q}, the real number field by @b{R}, and the comp |
|
Line 221 by @b{Q}, the real number field by @b{R}, and the comp |
|
|
|
@noindent |
@noindent |
\BJP |
\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, |
Risa/Asir (@samp{asir2000.tgz}), @b{PARI} $B$N%=!<%9%3!<%I(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, |
(@samp{pari.tgz}) $B$*$h$S(B Windows $BMQ%P%$%J%j(B |
$B5lHG(B (Asir-950831) $B$,(B |
(@samp{asirwin-ja.tgz}, @samp{asirwin-en.tgz}) |
|
$B$O0J2<$+$i(B ftp $B$GF~<j$G$-$k(B. |
\E |
\E |
\BEG |
\BEG |
Binaries for various platforms, documents, sample files, utilities are |
The source code of Risa/Asir (@samp{asir2000.tgz}), @b{PARI} |
available via ftp. The older versions are available from |
(@samp{pari.tgz}) and Windows binary |
|
(@samp{asirwin-ja.tgz}, @samp{asirwin-en.tgz}) |
|
are available via ftp from |
\E |
\E |
|
|
@example |
@example |
ftp://endeavor.fujitsu.co.jp/pub/isis/asir |
ftp://ftp.math.kobe-u.ac.jp/pub/asir |
@end example |
@end example |
|
|
@noindent |
|
\BJP |
|
$B$+$iF~<j$G$-$k$,(B, $B?7HG$O0&I2Bg3X$N(B ftp server $B$KCV$+$l$kM=Dj$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} etc.) $B$H(B, |
|
PostScript $B7A<0$N%^%K%e%"%k$,$"$k(B. |
|
\E |
|
\BEG |
|
The current version will be available from an ftp server at Ehime university. |
|
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%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B |
|
|
|
@example |
|
ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.alpha.tar.gz |
|
@end example |
|
|
|
@noindent |
|
\JP $B$G$"$k(B. |
|
\EG is linked in the binaries. |
|