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