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