Annotation of OpenXM/src/asir-doc/parts/intro.texi, Revision 1.3
1.3 ! noro 1: @comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.2 1999/12/21 02:47:31 noro Exp $
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,
1.3 ! noro 236: $B%5%s%W%k%U%!%$%k(B, utility $B$J$H$,0J2<$h$j(B ftp $B$GF~<j$G$-$k(B.
1.2 noro 237: \E
238: \BEG
239: Binaries for various platforms, documents, sample files, utilities are
1.3 ! noro 240: available via ftp from
1.2 noro 241: \E
1.1 noro 242:
243: @example
1.3 ! noro 244: ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/
1.1 noro 245: @end example
246:
247: @noindent
1.2 noro 248: \BJP
1.3 ! noro 249: $B$+$iF~<j$G$-$k(B.
1.1 noro 250: $B%H%C%W%G%#%l%/%H%j$N2<$K3F%W%i%C%H%U%)!<%`$NL>A0$N%5(B
1.3 ! noro 251: $B%V%G%#%l%/%H%j(B (@samp{windows}, @samp{linux-libc6} etc.) $B$H(B,
1.2 noro 252: PostScript $B7A<0$N%^%K%e%"%k$,$"$k(B.
253: \E
254: \BEG
255: There are sub-directories whose names denote the name of platforms
256: (@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual.
257: \E
1.1 noro 258:
259: @noindent
1.2 noro 260: \JP $B%P%$%J%j$KAH$_9~$^$l$F$$$k(B @b{PARI} $B$N%=!<%9$O(B
1.1 noro 261:
262: @example
1.3 ! noro 263: ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.beta.tar.gz
1.1 noro 264: @end example
265:
266: @noindent
1.2 noro 267: \JP $B$G$"$k(B.
268: \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