Annotation of OpenXM/src/asir-doc/parts/intro.texi, Revision 1.2
1.2 ! noro 1: @comment $OpenXM$
1.1 noro 2: @node Introduction,,, Top
3:
4: @chapter Introduction
5:
6: @menu
1.2 ! noro 7: \JP * $B%^%K%e%"%k$N9=@.(B::
! 8: \EG * Organization of the Manual::
1.1 noro 9: * Notation::
1.2 ! noro 10: \JP * $BF~<jJ}K!(B::
! 11: \EG * How to get Risa/Asir::
1.1 noro 12: @end menu
13:
1.2 ! noro 14: \BJP
1.1 noro 15: @node $B%^%K%e%"%k$N9=@.(B,,, Introduction
16: @section $B%^%K%e%"%k$N9=@.(B
1.2 ! noro 17: \E
! 18: \BEG
! 19: @node Organization of the Manual,,, Introduction
! 20: @section Organization of the Manual
! 21: \E
1.1 noro 22:
23: @noindent
1.2 ! noro 24: \JP $B$3$N%^%K%e%"%k$N9=@.$O<!$NDL$j$G$"$k(B.
! 25: \EG This manual is organized as follows.
1.1 noro 26:
27: @enumerate
1.2 ! noro 28: \BJP
! 29: @item @b{Introduction}
1.1 noro 30:
31: $B%^%K%e%"%k$N9=@.(B, notation $B$*$h$SF~<jJ}K!(B
32:
1.2 ! noro 33: @item @b{Risa/Asir}
1.1 noro 34:
35: @b{Asir} $B$N35MW(B, $B%$%s%9%H%l!<%7%g%s(B
36:
1.2 ! noro 37: @item @b{$B7?(B}
1.1 noro 38:
39: @b{Asir} $B$K$*$1$k7?(B
40:
1.2 ! noro 41: @item @b{$B%f!<%68@8l(B Asir}
1.1 noro 42:
43: @b{Asir} $B$N%f!<%68@8l$N2r@b(B
44:
1.2 ! noro 45: @item @b{$B%G%P%C%,(B}
1.1 noro 46:
47: $B%f!<%68@8l$N%G%P%C%,$N2r@b(B
48:
1.2 ! noro 49: @item @b{$BAH$_9~$_H!?t(B}
1.1 noro 50:
51: $B$5$^$6$^$JAH$_9~$_H!?t$N>\:Y(B
52:
1.2 ! noro 53: @item @b{$BJ,;67W;;(B}
1.1 noro 54:
55: $BJ,;67W;;5!G=$K4X$9$k2r@b(B, $B4X?t$N>\:Y(B
56:
1.2 ! noro 57: @item @b{$B%0%l%V%J4pDl$N7W;;(B}
1.1 noro 58:
59: $B%0%l%V%J4pDl$K4X$9$kH!?t(B, $B1i;;$N2r@b(B
60:
1.2 ! noro 61: @item @b{$BBe?tE*?t$K4X$9$k1i;;(B}
! 62:
! 63: $BBe?tE*?t$K4X$9$kH!?t(B, $B1i;;$N2r@b(B
! 64:
! 65: @item @b{$BM-8BBN$K4X$9$k1i;;(B}
! 66:
! 67: $BM-8BBN$K4X$9$k4X?t(B, $B1i;;$N2r@b(B
! 68:
! 69: @item @b{$BIUO?(B}
! 70:
! 71: $BJ8K!$N>\:Y(B, $B%5%s%W%k%U%!%$%k$N>R2p(B,
! 72: $BF~NO%$%s%?%U%'!<%9(B, $BJQ99E@(B, $BJ88%(B
! 73: \E
! 74: \BEG
! 75: @item
! 76: @b{Introduction}
! 77:
! 78: Organization of the Manual, notation and how to get Risa/Asir
! 79:
! 80: @item
! 81: @b{Risa/Asir}
! 82:
! 83: Summary of @b{Asir}, Installation
! 84:
! 85: @item
! 86: @b{Types}
! 87:
! 88: Types in @b{Asir}
! 89:
1.1 noro 90: @item
1.2 ! noro 91: @b{Asir user language}
! 92:
! 93: Description of @b{Asir} user language
! 94:
! 95: @item
! 96: @b{Debugger}
! 97:
! 98: Description of the debugger of @b{Asir} user language
! 99:
! 100: @item
! 101: @b{Built-in function}
! 102:
! 103: Detailed description of various built-in functions
! 104:
! 105: @item @b{Distributed computation}
1.1 noro 106:
1.2 ! noro 107: Description of functions for distributed computation
1.1 noro 108:
109: @item
1.2 ! noro 110: @b{Groebner bases}
! 111:
! 112: Description of functions and operations for Groebner basis computation
! 113:
! 114: @item
! 115: @b{Algebraic numbers}
! 116:
! 117: Description of functions and operations for algebraic numbers
! 118:
! 119: @item @b{Finite fields}
1.1 noro 120:
1.2 ! noro 121: Description of functions and operations on finite fields
1.1 noro 122:
123: @item
1.2 ! noro 124: @b{Appendix}
1.1 noro 125:
1.2 ! noro 126: Syntax in detail, description of
! 127: sample files, interfaces for input from keyboard, changes, references
! 128: \E
1.1 noro 129: @end enumerate
130:
131: @node Notation,,, Introduction
132: @section Notation
133:
134: @noindent
1.2 ! noro 135: \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.
! 136: \EG In this manual, we shall use several notations, which is described here
1.1 noro 137:
138: @itemize @bullet
139: @item
1.2 ! noro 140: \JP $BH!?tL>$O(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.
! 141: \EG The name of a function is written in a @code{typewriter} type
1.1 noro 142:
143: @code{gcd()}, @code{gr()}
144:
145: @item
1.2 ! noro 146: \JP $BH!?t$N@bL@$K$*$1$kH!?t$N0z?t$O(B, $B<P;zBN$GI=$5$l$k(B.
! 147: \BEG
! 148: For the description of a function, its argument is written in a
! 149: @var{slanted} type.
! 150: \E
1.1 noro 151:
152: @var{int}, @var{poly}
153:
154: @item
1.2 ! noro 155: \JP $B%U%!%$%kL>$O(B, $B%7%s%0%k%/%)!<%H$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.
! 156: \EG A file name is written in a @samp{typewriter type with single quotes}
1.1 noro 157:
158: @samp{dbxinit}, @samp{asir_plot}
159:
160: @item
1.2 ! noro 161: \JP $BNc$O;z2<$2$5$l(B, $B%?%$%W%i%$%?BN$GI=$5$l$k(B.
! 162: \EG An example is indented and written in a @code{typewriter} type.
1.1 noro 163:
164: @example
165: [0] 1;
166: 1
167: [1] quit;
168: @end example
169:
170: @item
1.2 ! noro 171: \JP $BJ88%$N;2>H$O(B, @code{[]} $B$D$-$N%?%$%W%i%$%?BN$GI=$5$l$k(B.
! 172: \EG References are made by a @code{typewriter type bracketed by []}.
1.1 noro 173:
174: @code{[Boehm,Weiser]}
175:
176: @item
1.2 ! noro 177: \BJP
1.1 noro 178: $BH!?t$N0z?t$G(B, $B>JN,2DG=$J$b$N$O(B, @code{[]} $B$G0O$C$F<($5$l$k(B.
179: $B$^$?(B, 0 $B8D0J>e$N7+$jJV$7$O(B, @code{[]*} $B$G<($5$l$k(B.
1.2 ! noro 180: \E
! 181: \BEG
! 182: Arguments (actual parameters) of a function are optional when they are
! 183: bracketed by @code{[]}'s.
! 184: The repeatable items (including non-existence of the item)
! 185: are bracketed by @code{[]*}'s.
! 186: \E
1.1 noro 187:
188: @code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)}
189:
190: @item
1.2 ! noro 191: \BJP
1.1 noro 192: 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
193: $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.
1.2 ! noro 194: \E
! 195: \BEG
! 196: The prompt from the shell (csh) is denoted, as it is, by @code{%}.
! 197: The prompt, however, is denoted by @code{#}, when you are assumed
! 198: to be working as the root, for example, at the installation.
! 199: \E
1.1 noro 200:
201: @example
202: % cat afo
203: afo
204: bfo
205: % su
206: Password:XXXX
207: # cp asir /usr/local/bin
208: # exit
209: %
210: @end example
211:
212: @item
1.2 ! noro 213: \BJP
1.1 noro 214: $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}
215: $BM-8BBN$O(B @b{GF(q)} (@b{q} $B$OAG?tQQ(B) $B$GI=$9(B.
1.2 ! noro 216: \E
! 217: \BEG
! 218: The rational integer ring is denoted by @b{Z}, the rational number field
! 219: by @b{Q}, the real number field by @b{R}, and the complex number field by
! 220: @b{C}.
! 221: \E
1.1 noro 222: @end itemize
223:
1.2 ! noro 224: \BJP
1.1 noro 225: @node $BF~<jJ}K!(B,,, Introduction
226: @section $BF~<jJ}K!(B
1.2 ! noro 227: \E
! 228: \BEG
! 229: @node How to get Risa/Asir,,, Introduction
! 230: @section How to get Risa/Asir
! 231: \E
1.1 noro 232:
233: @noindent
1.2 ! noro 234: \BJP
1.1 noro 235: $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,
236: $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,
237: $B5lHG(B (Asir-950831) $B$,(B
1.2 ! noro 238: \E
! 239: \BEG
! 240: Binaries for various platforms, documents, sample files, utilities are
! 241: available via ftp. The older versions are available from
! 242: \E
1.1 noro 243:
244: @example
245: ftp://endeavor.fujitsu.co.jp/pub/isis/asir
246: @end example
247:
248: @noindent
1.2 ! noro 249: \BJP
1.1 noro 250: $B$+$iF~<j$G$-$k$,(B, $B?7HG$O0&I2Bg3X$N(B ftp server $B$KCV$+$l$kM=Dj$G$"$k(B.
251: $B%H%C%W%G%#%l%/%H%j$N2<$K3F%W%i%C%H%U%)!<%`$NL>A0$N%5(B
1.2 ! noro 252: $B%V%G%#%l%/%H%j(B (@samp{windows}, @samp{linux} etc.) $B$H(B,
! 253: PostScript $B7A<0$N%^%K%e%"%k$,$"$k(B.
! 254: \E
! 255: \BEG
! 256: The current version will be available from an ftp server at Ehime university.
! 257: There are sub-directories whose names denote the name of platforms
! 258: (@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual.
! 259: \E
1.1 noro 260:
261: @noindent
1.2 ! noro 262: \JP $B%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B
1.1 noro 263:
264: @example
1.2 ! noro 265: ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.alpha.tar.gz
1.1 noro 266: @end example
267:
268: @noindent
1.2 ! noro 269: \JP $B$G$"$k(B.
! 270: \EG is linked in the binaries.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[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