version 1.2, 1999/12/21 02:47:31 |
version 1.8, 2017/03/28 22:37:26 |
|
|
@comment $OpenXM$ |
@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.7 2014/12/14 00:53:08 takayama Exp $ |
@node Introduction,,, Top |
@node Introduction,,, Top |
|
|
@chapter Introduction |
@chapter Introduction |
|
|
* Notation:: |
* Notation:: |
\JP * $BF~<jJ}K!(B:: |
\JP * $BF~<jJ}K!(B:: |
\EG * How to get Risa/Asir:: |
\EG * How to get Risa/Asir:: |
|
\JP * Asir-contrib $B%Q%C%1!<%8(B:: |
|
\EG * Asir-contrib packages:: |
@end menu |
@end menu |
|
|
\BJP |
\BJP |
|
|
|
|
@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 130 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 145 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 161 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 175 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 223 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 |
$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$O0J2<$+$i(B http $B$GF~<j$G$-$k(B. |
$B5lHG(B (Asir-950831) $B$,(B |
|
\E |
\E |
\BEG |
\BEG |
Binaries for various platforms, documents, sample files, utilities are |
Risa/Asir |
available via ftp. The older versions are available from |
is available via http from |
\E |
\E |
|
|
@example |
@quotation |
ftp://endeavor.fujitsu.co.jp/pub/isis/asir |
@uref{http://www.math.kobe-u.ac.jp/Asir} |
@end example |
@end quotation |
|
|
@noindent |
|
\BJP |
\BJP |
$B$+$iF~<j$G$-$k$,(B, $B?7HG$O0&I2Bg3X$N(B ftp server $B$KCV$+$l$kM=Dj$G$"$k(B. |
@node Asir-contrib $B%Q%C%1!<%8(B,,, Introduction |
$B%H%C%W%G%#%l%/%H%j$N2<$K3F%W%i%C%H%U%)!<%`$NL>A0$N%5(B |
@section Asir-contrib $B%Q%C%1!<%8(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 |
\E |
\BEG |
\BEG |
The current version will be available from an ftp server at Ehime university. |
@node Asir-contrib packages,,, Introduction |
There are sub-directories whose names denote the name of platforms |
@section Asir-contrib packages |
(@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual. |
|
\E |
\E |
|
|
@noindent |
@noindent |
\JP $B%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B |
\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 |
|
|
@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. |
|