Annotation of OpenXM/src/asir-doc/parts/risa.texi, Revision 1.13
1.13 ! takayama 1: @comment $OpenXM: OpenXM/src/asir-doc/parts/risa.texi,v 1.12 2003/10/19 04:57:00 ohara Exp $
1.1 noro 2: @node Risa/Asir,,, Top
3: @chapter Risa/Asir
4:
5: @menu
1.2 noro 6: \BJP
1.1 noro 7: * Risa $B$*$h$S(B Asir::
8: * Asir $B$NFCD'(B::
1.9 noro 9: * Installation::
1.1 noro 10: * $B%3%^%s%I%i%$%s%*%W%7%g%s(B::
11: * $B4D6-JQ?t(B::
12: * $B5/F0$+$i=*N;$^$G(B::
13: * $B3d$j9~$_(B::
14: * $B%(%i!<=hM}(B::
15: * $B7W;;7k2L$*$h$SFC<l$J?t(B::
1.2 noro 16: \E
17: \BEG
18: * Risa and Asir::
19: * Features of Asir::
20: * Installation::
21: * Command line options::
22: * Environment variable::
23: * Starting and Terminating an Asir session::
24: * Interruption::
25: * Error handling::
26: * Referencing results and special numbers::
27: \E
1.1 noro 28: @end menu
29:
1.2 noro 30: \BJP
1.1 noro 31: @node Risa $B$*$h$S(B Asir,,, Risa/Asir
32: @section Risa $B$*$h$S(B Asir
1.2 noro 33: \E
34: \BEG
35: @node Risa and Asir,,, Risa/Asir
36: @section @b{Risa} and @b{Asir}
37: \E
1.1 noro 38:
39: @noindent
1.2 noro 40: \BJP
1.1 noro 41: @b{Risa} $B$O(B, $BIY;NDL8&$G3+H/Cf$N?t<0=hM}%7%9%F%`(B/$B%i%$%V%i%j$NAm>N$G$"$k(B.
42: @b{Risa} $B$N9=@.$O<!$NDL$j$G$"$k(B.
1.2 noro 43: \E
44: \BEG
45: @b{Risa} is the name of whole libraries of a computer algebra system
46: which is under development at FUJITSU LABORATORIES LIMITED.
47: The structure of @b{Risa} is as follows.
48: \E
1.1 noro 49:
50: @itemize @bullet
51: @item
1.2 noro 52: \JP @code{$B4pK\1i;;It(B}
53: \EG @b{The basic algebraic engine}
1.8 noro 54: @*
1.2 noro 55: \BJP
1.1 noro 56: $B$3$l$O(B, @b{Risa} $B$NFbIt7A<0$KJQ49$5$l$?%*%V%8%'%/%H(B ($B?t(B, $BB?9`<0$J$I(B)
57: $B$N4V$N1i;;$r<B9T$9$kItJ,$G$"$j(B, UNIX $B$N(B @samp{libc.a} $B$J$I$HF1MM$N(B, $B%i%$%V%i(B
58: $B%j$H$7$FB8:_$9$k(B. $B%(%s%8%s$O(B, C $B$*$h$S(B $B%"%;%s%V%i$G5-=R$5$l(B, $B8e=R$9$k(B
1.2 noro 59: $B8@8l%$%s%?%U%'!<%9(B @b{Asir} $B$N4pK\1i;;It$H$7$FMQ$$$i$l$F$$$k(B.
60: @comment $B0lJ}(B, $B?t<07W;;$rI,MW$H$9$k$5$^$6$^$J%W%m%0%i%`Cf$K%j%s%/$7$FMQ$$$k$3$H$,$G$-$k(B.
61: \E
62: \BEG
63: This is the part which performs basic algebraic operations,
64: such as arithmetic operations, to algebraic objects, e.g., numbers and
65: polynomials, which are already converted into internal forms.
66: It exists, like @samp{libc.a} of UNIX, as a library of ordinary UNIX system.
67: The algebraic engine is written mainly in C language and
68: partly in assembler.
69: It serves as the basic operation part of @b{Asir}, a standard
70: language interface of @b{Risa}.
71: @comment It can also be linked to various programs that need some symbolic
72: @comment and algebraic computation.
73: \E
74:
1.1 noro 75: @item
1.2 noro 76: \JP @code{$B%a%b%j4IM}It(B}
77: \EG @b{Memory Manager}
1.8 noro 78: @*
1.2 noro 79: \BJP
1.1 noro 80: @b{Risa} $B$G$O(B, $B%a%b%j4IM}It$H$7$F(B, @code{[Boehm,Weiser]} $B$K$h$k%U%j!<(B
1.11 noro 81: $B%=%U%H%&%'%"(B (@code{gc-6.1alpha5}) $B$rMQ$$$F$$$k(B. $B$3$l$O%,!<%Y%8%3%l%/%7%g%s(B
1.1 noro 82: ($B0J2<(B GC $B$H8F$V(B) $B$r<+F0E*$K9T$&%a%b%j3d$jEv$F5!9=$r;}$A(B, @b{Risa} $B$N3F(B
83: $BItJ,$O$9$Y$F$3$l$K$h$jI,MW$J%a%b%j$rF@$F$$$k(B.
1.2 noro 84: \E
85: \BEG
86: @b{Risa} employs, as its memory management component (the memory
1.11 noro 87: manager), a free software distributed by Boehm (@code{gc-6.1alpha5}).
1.2 noro 88: It is proposed by @code{[Boehm,Weiser]}, and developed by Boehm and
89: his colleagues.
90: The memory manager has a memory allocator which automatically
91: reclaims garbages, i.e., allocated but unused memories,
92: and refreshes them for further use.
93: The algebraic engine gets all its necessary memories through the memory
94: manager.
95: \E
1.1 noro 96:
97: @item
98: @b{Asir}
1.8 noro 99: @*
1.2 noro 100: \BJP
1.1 noro 101: @b{Asir} $B$O(B, @b{Risa} $B$N7W;;%(%s%8%s$N8@8l%$%s%?%U%'!<%9$G(B
102: $B$"$k(B. @b{Risa} $B$G$O(B, $BHf3SE*MF0W$K%f!<%6MQ$N8@8l%$%s%?%U%'!<%9$r:n$k(B
103: $B$3$H$,$G$-$k(B. @b{Asir} $B$O$=$N0l$D$NNc$H$7$F:n$C$?$b$N$G(B, C $B8@8l$K6a(B
104: $B$$J8K!$r$b$D(B. $B$^$?(B, C $B$N%G%P%C%,$H$7$F9-$/MQ$$$i$l$F$$$k(B @code{dbx} $BIw(B
105: $B$N%G%P%C%,$bHw$($F$$$k(B.
1.2 noro 106: \E
107: \BEG
108: @b{Asir} is a standard language interface of @b{Risa}'s algebraic
109: engine. It is one of the possible language interfaces, because
110: one can develop one's own language interface easily on @b{Risa}
111: system.
112: @b{Asir} is an example of such language interfaces.
113: @b{Asir} has very similar syntax and semantics as C language.
114: Furthermore, it has a debugger that provide a subset of commands of
115: @code{dbx}, a widely used debugger of C language.
116: \E
1.1 noro 117: @end itemize
118:
1.2 noro 119: \BJP
1.1 noro 120: @node Asir $B$NFCD'(B,,, Risa/Asir
121: @section Asir $B$NFCD'(B
1.2 noro 122: \E
123: \BEG
124: @node Features of Asir,,, Risa/Asir
125: @section Features of @b{Asir}
126: \E
1.1 noro 127:
128: @noindent
1.2 noro 129: \BJP
1.1 noro 130: @b{Asir} $B$O(B, $BA0=R$NDL$j(B, $B7W;;%(%s%8%s$N8@8l%$%s%?%U%'!<%9$G$"(B
131: $B$k(B. $BDL>o(B @b{Asir} $B$H$$$&L>A0$N<B9T2DG=%U%!%$%k$H$7$FDs6!$5$l$k(B.
132: $B8=:_%5%]!<%H$5$l$F$$$k5!G=$O35$M<!$NDL$j$G$"$k(B.
1.2 noro 133: \E
134: \BEG
135: As mentioned in the previous section, @b{Asir} is a standard language
136: interface for@b{Risa}'s algebraic engine.
137: Usually, it is provided as an executable file named @code{asir}.
138: Main features supported for the current version of Asir is as follows.
139: \E
1.1 noro 140:
141: @itemize @bullet
1.2 noro 142: \BJP
1.1 noro 143: @item
144: C $B8@8lIw$N%f!<%68@8l(B
145:
146: @item
147: $B?t(B, $BB?9`<0(B, $BM-M}<0$N2C8:>h(B($B=|(B)
148:
149: @item
150: $B%Y%/%H%k(B, $B9TNs$N1i;;(B
151:
152: @item
153: $B:G>.8B$N%j%9%H=hM}(B
154:
155: @item
156: $BAH$_9~$_H!?t(B ($B0x?tJ,2r(B, GCD, $B%0%l%V%J4pDl$J$I(B)
157:
158: @item
159: $B%f!<%6Dj5AH!?t$K$h$k%D!<%k(B ($BBe?tBN>e$N0x?tJ,2r$J$I(B)
160:
161: @item
162: @code{dbx} $BIw$N%G%P%C%,(B
163:
164: @item
165: $B1"H!?t$NIA2h(B
166:
167: @item
168: @b{PARI} (@pxref{pari}) $B$K$h$k=iEyD61[H!?t$r4^$`<0$NI>2A(B
169:
170: @item
171: UNIX $B>e$G$NJ,;67W;;5!G=(B (Open XM)
172: @comment @item
173: @comment $B%R%9%H%jCV495!G=$r$b$D(B X11 $B%$%s%?%U%'!<%9(B
1.2 noro 174: \E
175: \BEG
176: @item
177: A C-like programming language
178:
179: @item
180: Arithmetic operations (addition, subtraction, multiplication
181: and division) on numbers, polynomials and rational expressions
182:
183: @item
184: Operations on vectors and matrices
185:
186: @item
187: List processing operations at the minimum
188:
189: @item
190: Several Built-in functions (factorization, GCD computation, Groebner basis
191: computation etc.)
192:
193: @item
194: Useful user defined functions(e.g., factorization over algebraic number fields)
195:
196: @item
197: A @code{dbx}-like debugger
198:
199: @item
200: Plotting of implicit functions
201:
202: @item
203: Numerical evaluation of mathematical expressions including elementary
204: transcendental functions at arbitrary precision. This feature is
205: in force only if @b{PARI} system (@pxref{pari}).
206:
207: @item
208: Distributed computation over UNIX
209: \E
1.1 noro 210: @end itemize
211:
1.2 noro 212: @node Installation,,, Risa/Asir
213: @section Installation
214:
215: \JP $B0J2<$N<jB3$-$GITL@$JE@(B, $BITET9g$JE@$,$"$C$?>l9g$NLd$$9g$o$;$O(B
216: \BEG
1.9 noro 217: Any questions and any comments on this manual are welcome by e-mails
1.2 noro 218: to the following address.
219: \E
1.1 noro 220:
221: @example
1.11 noro 222: noro@@math.kobe-u.ac.jp
1.1 noro 223: @end example
224:
225: @noindent
1.2 noro 226: \JP $B08$K(B e-mail $B$G$*4j$$$7$^$9(B.
1.1 noro 227:
228: @menu
1.9 noro 229: * UNIX binary version::
230: * UNIX source code version::
1.2 noro 231: * Windows version::
1.1 noro 232: @end menu
233:
1.9 noro 234: @node UNIX binary version,,, Installation
235: @subsection UNIX binary version
1.1 noro 236:
237: @noindent
1.2 noro 238: \BJP
1.9 noro 239: $B%?!<%2%C%H(B CPU/OS $B$KBP1~$9$k(B @samp{asir.tgz} $B$,I,MW$G$"$k(B.
1.1 noro 240: $B$3$l$i$OA4$F(B @code{gzip} $B$G05=L$7$F$"$k$N$G(B, $BF~<j8e(B @code{gzip} $B$G(B
241: $BE83+$9$k(B. $B$^$:(B, $B%$%s%9%H!<%k$9$k%G%#%l%/%H%j$r7h$a$k(B. $B%G%U%)%k%H$G$O(B
242: @samp{/usr/local/lib} $B$K(B @samp{asir} $B$H$$$&%G%#%l%/%H%j$H$7$F(B
243: $B%$%s%9%H!<%k$5$l$k$3$H$r2>Dj$7$F$$$k(B. $B0J2<$3$N%G%#%l%/%H%j$r%i%$%V%i%j(B
244: $B%G%#%l%/%H%j$H8F$V(B.
1.2 noro 245: \E
246: \BEG
1.9 noro 247: A file @samp{asir.tgz} suitable for the target machine/architecture
1.2 noro 248: is required. After getting it,
249: you have to unpack it by @code{gzip}. First of all, determine
250: a derectory where binaries and library files are installed.
251: We call the directory the @b{library directory}.
252: The following installs the files in @samp{/usr/local/lib/asir}.
253: \E
1.1 noro 254:
255: @example
256: # gzip -dc asir.tgz | ( cd /usr/local/lib; tar xf - )
257: @end example
258:
1.2 noro 259: \JP $B8D?ME*$K;HMQ$9$k>l9g$K$O(B, @samp{$HOME}$B$J$I$KCV$$$F$b$h$$(B.
260: \BEG
261: In this case you don't have to set any environment variable.
1.1 noro 262:
1.2 noro 263: You can install them elsewhere.
264: \E
1.1 noro 265: @example
266: % gzip -dc asir.tgz | ( cd $HOME; tar xf - )
267: @end example
268:
269: @noindent
1.2 noro 270: \BJP
1.1 noro 271: $B$3$N>l9g(B, $B%i%$%V%i%j%G%#%l%/%H%j$NL>A0$r4D6-JQ?t(B
272: @code{ASIR_LIBDIR} $B$K@_Dj$9$kI,MW$,$"$k(B.
1.2 noro 273: \E
274: \BEG
275: In this case you have to set the name of the library directory
276: to the environment variable @code{ASIR_LIBDIR}.
277: \E
1.1 noro 278:
279: @example
280: % setenv ASIR_LIBDIR $HOME/asir
281: @end example
282:
283: @noindent
1.2 noro 284: \BJP
1.1 noro 285: Asir $BK\BN$O(B, $B%i%$%V%i%j%G%#%l%/%H%j$N(B @samp{asir} $B$G$"$k(B.
286: @samp{/usr/local/bin} $B$"$k$$$O%f!<%6$N<B9T%U%!%$%k%5!<%A%Q%9(B
287: $B$N$I$3$+$K%7%s%\%j%C%/%j%s%/$r:n$k$HJXMx$G$"$k(B.
1.2 noro 288: \E
289: \BEG
290: @b{Asir} itself is in the library directory. It will be convenient
291: to create a symbolic link to it from @samp{/usr/local/bin} or
292: the user's search path.
293: \E
1.1 noro 294:
295: @example
296: # ln -s /usr/local/lib/asir/asir /usr/local/bin/asir
297: @end example
298:
299: @noindent
1.9 noro 300: \JP $B$3$l$G(B @samp{asir} $B$,5/F0$G$-$k(B.
1.2 noro 301: \BEG
1.9 noro 302: Then you can start @samp{asir}.
1.2 noro 303: \E
1.1 noro 304:
305: @example
306: % /usr/local/bin/asir
1.9 noro 307: This is Risa/Asir, Version 20000821.
308: Copyright (C) FUJITSU LABORATORIES LIMITED.
309: 1994-2000. All rights reserved.
310: [0]
1.1 noro 311: @end example
312:
1.9 noro 313: @node UNIX source code version,,, Installation
314: @subsection UNIX source code version
1.1 noro 315:
1.9 noro 316: \BEG
1.11 noro 317: First of all you have to determine the install directory.
318: In the install directory, the following subdirectories are put:
319: \E
320:
321: \BJP
322: $B$^$:(B, $B%$%s%9%H!<%k@h$N%G%#%l%/%H%j$r7h$a$kI,MW$,$"$k(B.
323: $B$3$3$K$O(B, $B0J2<$N%5%V%G%#%l%/%H%j$,CV$+$l$k(B.
324: \E
325:
326: @itemize @bullet
327: @item bin
328:
329: \EG executables of PARI and Asir
330: \JP PARI $B$*$h$S(B Asir $B$N<B9T2DG=%U%!%$%k(B
331:
332: @item lib
333:
334: \EG library files of PARI and Asir
335: \JP PARI $B$*$h$S(B Asir $B$N%i%$%V%i%j(B
336: @item include
337:
338: \EG header files of PARI
339: \JP PARI $B$N%X%C%@%U%!%$%k(B
340: @end itemize
341:
342: \BEG
343: These subdirectories are created automatically if they does not exist.
344: If you can be a root, it is recommended to set the install directory
345: to @samp{/usr/local}. In the following the directory is denoted by TARGETDIR.
346: \E
347: \BJP
348: $B$3$l$i$N%5%V%G%#%l%/%H%j$OL5$1$l$P<+F0E*$K:n$i$l$k(B.
349: root $B8"8B$,$"$k>l9g$K$O(B, @samp{/usr/local} $B$K%$%s%9%H!<%k$9$k$3$H$r(B
350: $B$*4+$a$9$k(B. $B0J2<(B, $B$3$N%G%#%l%/%H%j$r(B TARGETDIR $B$H=q$/(B.
351: \E
352:
353: \BEG
354: Then, install PARI library. After getting @samp{pari.tgz},
355: unpack and install it as follows:
1.2 noro 356: \E
1.9 noro 357: \BJP
1.11 noro 358: $B$^$:(B PARI $B%i%$%V%i%j$r%$%s%9%H!<%k$9$kI,MW$,$"$k(B.
359: @samp{pari.tgz} $B$rF~<j8e(B, $BE,Ev$J%G%#%l%/%H%j$GE83+(B, $B%$%s%9%H!<%k$9$k(B.
1.2 noro 360: \E
1.1 noro 361:
362: @example
1.11 noro 363: % gzip -dc pari.tgz | tar xvf -
364: % cd pari
365: % ./Configure --prefix=TARGETDIR
366: % make all
367: % su
1.9 noro 368: # make install
369: # make install-lib-sta
1.1 noro 370: @end example
371:
1.2 noro 372: \BJP
1.11 noro 373: make $BCf$K%(%i!<$G;_$^$C$?$i(B, $B0J2<$r<B9T$9$k(B.
1.9 noro 374: \E
1.11 noro 375:
1.9 noro 376: \BEG
1.11 noro 377: While executing 'make install', the procedure may stop due to
378: some error. Then try the following:
379: \E
380:
381: @example
382: % cd Oxxx
383: % make lib-sta
384: % su
385: # make install-lib-sta
386: # make install-include
387: # exit
388: %
389: @end example
390:
391: \BEG
392: In the above example, xxx denotes the name of the target operating system.
393: Although GP is not built, the library necessary for building asir2000
394: will be generated.
395:
396: After getting @samp{asir2000.tgz}, unpack it
1.9 noro 397: and install necessary files as follows.
1.2 noro 398: \E
1.1 noro 399:
1.11 noro 400: \BJP
401: $B>e$NNc$G(B, xxx $B$O8=:_%?!<%2%C%H$H$J$C$F$$$k(B OS $B$NL>A0$r<($9(B.
402: GP $B$O%$%s%9%H!<%k$5$l$J$$$,(B, asir2000 $B$N:n@.$KI,MW$J%U%!%$%k$O%$%s%9%H!<%k(B
403: $B$5$l$k(B.
404:
405: @samp{asir2000.tgz} $B$rF~<j8e(B, $BE,Ev$J%G%#%l%/%H%j$G(B
406: $B$GE83+$7(B, $B0J2<$N<j=g$G%$%s%9%H!<%k$9$k(B.
407: \E
408:
1.1 noro 409: @example
1.9 noro 410: % gzip -dc asir.tgz | tar xf -
411: % cd asir2000
1.11 noro 412: % ./configure --prefix=TARGETDIR --with-pari --enable-plot
1.9 noro 413: % make
414: % su
415: # make install
416: # make install-lib
417: # make install-doc
1.11 noro 418: # exit
1.1 noro 419: @end example
420:
1.2 noro 421: @node Windows version,,, Installation
422: @subsection Windows version
1.1 noro 423:
424: @noindent
1.2 noro 425: \BJP
1.11 noro 426: $BI,MW$J%U%!%$%k$O(B @samp{asirwin-ja.tgz} $B$G$"$k(B. $BB>$K(B, @samp{gzip.exe},
427: @samp{tar.exe} $B$,I,MW$@$,(B, @samp{asirwin-ja.tgz} $B$HF1$8%G%#%l%/%H%j$KMQ0U$7$F(B
428: $B$"$k(B. $B$3$l$i(B 3 $B$D$N%U%!%$%k$rF10l%G%#%l%/%H%j$K$*$-(B, $B%3%^%s%I%W%m%s%W%H(B
429: (DOS $B%W%m%s%W%H(B)
1.1 noro 430: $B$+$i(B
1.2 noro 431: \E
432: \BEG
1.11 noro 433: The necessary file is @samp{asirwin-en.tgz}. To unpack it @samp{gzip.exe}
1.2 noro 434: and @samp{tar.exe} are necessary. They are in the same
1.11 noro 435: directory as @samp{asirwin-en.tgz} on the ftp server.
1.2 noro 436: Putting them in the same directory, execute the following:
437: \E
1.1 noro 438:
439: @example
1.2 noro 440: \JP C:\...> tar xzf asirwin.tgz
441: \EG C:\...> tar xzf asirwin.tgz
1.1 noro 442: @end example
443:
444: @noindent
1.2 noro 445: \BJP
1.1 noro 446: $B$r<B9T$9$l$P(B, @samp{Asir} $B$H$$$&%G%#%l%/%H%j(B (Asir $B%k!<%H%G%#%l%/%H%j(B)
1.11 noro 447: $B$,$G$-$k(B.
448: @comment 990831 $BHG$G$O(B, GUI $B$HK\BN$,J,N%$5$l(B, $B$^$?%G%P%C%0%&%#%s%I%&$b(B
449: @comment $BJL%W%m%;%9$H$7$F(B GUI $B$,8F$S=P$5$l$k$?$a(B, Asir $B%k!<%H%G%#%l%/%H%j$,@5$7$/(B
450: @comment $BEPO?$5$l$F$$$k$3$H$,I,MW$G$"$k(B.
451: Asir $B%k!<%H%G%#%l%/%H%j$N%5%V%G%#%l%/%H(B
452: @samp{bin} $B$K(B @samp{asirgui.exe} (GUI), @samp{engine.exe} ($BK\BN(B) $B$,(B
453: $BCV$+$l$F$$$k(B.
454: @samp{asirgui.exe} $B$r%@%V%k%/%j%C%/$9$l$P(B Asir $B$,N)$A>e$,$k(B.
455: @comment @samp{asirgui.exe} $B$N=i2s$NN)$A>e$2$O(B, $B%(%/%9%W%m!<%i$+$i9T(B
456: @comment $B$&(B. $B$3$l$K$h$j(B
1.2 noro 457: \E
458:
459: \BEG
460: Then a directory @samp{Asir} (@b{Asir root directory}) is created,
1.11 noro 461: which has subdirectories named @samp{bin} and @samp{lib}.
462: Asir can be invoked by double-clicking @samp{asirgui.exe}.
463: @comment To set up it,
464: @comment invoke @samp{bin\asirgui.exe} from Explorer and
465: @comment click @code{OK}. Then the name of @b{Asir root directory} is set to the
466: @comment following registries.
1.2 noro 467: \E
1.1 noro 468:
1.11 noro 469: @comment @example
470: @comment \JP HKEY_LOCAL_MACHINE\SOFTWARE\FUJITSU\Asir\99.03.31\Directory
471: @comment \EG HKEY_LOCAL_MACHINE\SOFTWARE\FUJITSU\Asir\99.03.31\Directory
472: @comment @end example
1.1 noro 473:
1.11 noro 474: @comment @noindent
475: @comment \JP $B$H$$$&%l%8%9%H%j$K(B Asir $B%k!<%H%G%#%l%/%H%j$,@5$7$/EPO?$5$l$k(B.
1.1 noro 476:
1.2 noro 477: \BJP
1.1 noro 478: @node $B%3%^%s%I%i%$%s%*%W%7%g%s(B,,, Risa/Asir
479: @section $B%3%^%s%I%i%$%s%*%W%7%g%s(B
1.2 noro 480: \E
481: \BEG
482: @node Command line options,,, Risa/Asir
483: @section Command line options
484: \E
1.1 noro 485:
486: @noindent
1.2 noro 487: \JP $B%3%^%s%I%i%$%s%*%W%7%g%s$O<!$NDL$j(B.
488: \EG Command-line options for the command @samp{asir} are as follows.
1.1 noro 489:
490: @table @code
491:
492: @item -heap @var{number}
1.2 noro 493: \BJP
1.1 noro 494: @code{Risa/Asir} $B$G$O(B, 4KB $B$N%V%m%C%/$r%a%b%j3d$jEv$F$NC10L$H$7$FMQ$$$F$$$k(B.
495: $B%G%U%)%k%H$G$O(B, $B=i4|(B heap $B$H$7$F(B, 16 $B%V%m%C%/(B (64KB) $B3d$jEv$F$k$,(B, $B$=$l(B
496: $B$rJQ99$9$k>l9g(B, @code{-heap} $B$rMQ$$$k(B. $BC10L$O%V%m%C%/$G$"$k(B.
497: heap $B$NBg$-$5$O(B, @code{heap()} $BH!?t$GD4$Y$k$3$H$,$G$-$k(B ($BC10L$O%P%$%H(B).
1.2 noro 498: \E
499: \BEG
500: In @b{Risa/Asir}, 4KB is used as an unit, called block,
501: for memory allocation.
502: By default, 16 blocks (64KB) are allocated initially.
503: This value can be changed by giving an option @code{-heap}
504: a number parameter in unit block.
505: Size of the heap area is obtained by a Built-in function heap(),
506: the result of which is a number in Bytes.
507: \E
1.1 noro 508:
509: @item -adj @var{number}
1.2 noro 510: \BJP
1.1 noro 511: $B$3$NCM$,Bg$-$$$[$I(B, $B;HMQ%a%b%jNL$OBg$-$/$J$k$,(B, GC $B;~4V$,>/$J$/$J(B
512: $B$k(B. @var{number} $B$H$7$F(B 1 $B0J>e$N@0?t$,;XDj$G$-$k(B. $B%G%U%)%k%H$G$O(B 3 $B$G$"(B
513: $B$k(B. $B$3$NCM$,(B 1 $B0J2<$K$J$k$H(B GC $B$r$7$J$$@_Dj$K$J$k$N$GMWCm0U$G$"$k(B. heap
514: $B$r$J$k$Y$/?-$P$5$:$K(B, GC $B$r<gBN$K$7$F%a%b%j4IM}$7$?$$>l9g$K$O(B, $B$3$NCM$r(B
515: $BBg$-$/(B ($BNc$($P(B 8) $B@_Dj$9$k(B.
1.2 noro 516: \E
517: \BEG
518: Heap area will be stretched by the memory manager,
519: if the size of reclaimed memories is less than 1/@var{number}
520: of currently allocated heap area.
521: The default value for @var{number} is 3.
522: If you do not prefer to stretch heap area by some reason, perhaps by
523: restriction of available memories, but if prefer to resort to
524: reclaiming garbages as far as possible,
525: then a large value should be chosen for @var{number}, e.g., 8.
526: \E
1.1 noro 527:
528: @item -norc
1.2 noro 529: \JP $B=i4|2=%U%!%$%k(B @samp{$HOME/.asirrc} $B$rFI$^$J$$(B.
530: \BEG
531: When this option is specified, @b{Asir} does not read the
532: initial file @samp{$HOME/.asirrc}.
1.12 ohara 533: \E
534:
535: @item -quiet
536: \JP $B5/F0;~$NCx:n8"I=<($r9T$o$J$$(B.
537: \BEG Be quiet at boot time.
1.2 noro 538: \E
1.1 noro 539:
540: @item -f @var{file}
1.2 noro 541: \BJP
1.1 noro 542: $BI8=`F~NO$NBe$o$j$K(B, @var{file} $B$+$iF~NO$rFI$_9~$s$G<B9T$9$k(B.
543: $B%(%i!<$N:]$K$O$?$@$A$K=*N;$9$k(B.
1.2 noro 544: \E
545: \BEG
546: Instead of the standard input, @var{file} is used as the input.
547: Upon an error, the execution immediately terminates.
548: \E
1.1 noro 549:
550: @item -paristack @var{number}
1.2 noro 551: \BJP
1.1 noro 552: @b{PARI} (@pxref{pari}) $B@lMQ$NNN0h$NBg$-$5$r;XDj$9$k(B. $BC10L$O%P%$%H(B. $B%G%U%)(B
553: $B%k%H$G$O(B 1 MB.
1.2 noro 554: \E
555: \BEG
556: This option specifies the private memory size for @code{PARI} (@pxref{pari}).
557: The unit is Bytes. By default, it is set to 1 MB.
558: \E
1.1 noro 559:
560: @item -maxheap @var{number}
1.2 noro 561: \BJP
1.1 noro 562: heap $BNN0h$N>e8B$r;XDj$9$k(B. $BC10L$O%P%$%H(B. $B%G%U%)%k%H$G$OL5@)8B(B. UNIX $B$N(B
563: $B>l9g(B, $B<B:]$K$O(B @code{limit} $B%3%^%s%I$GI=<($5$l$k(B @code{datasize} $B$NCM(B
564: $B$K@)8B$5$l$F$$$k$?$a(B, @code{-maxheap} $B$N;XDj$,$J$/$F$b0lDjNL0J>e$K(B
565: heap $B$r3MF@$G$-$J$$>l9g$,$"$k$N$GCm0U(B.)
1.2 noro 566: \E
567: \BEG
568: This option sets an upper limit of the heap size. The unit is Bytes.
569: Note that the size is already limited by the value of @code{datasize}
570: displayed by the command @code{limit} on UNIX.
571: \E
1.1 noro 572: @end table
573:
1.2 noro 574: \BJP
1.1 noro 575: @node $B4D6-JQ?t(B,,, Risa/Asir
576: @section $B4D6-JQ?t(B
1.2 noro 577: \E
578: \BEG
579: @node Environment variable,,, Risa/Asir
580: @section Environment variable
581: \E
1.1 noro 582:
583: @noindent
1.2 noro 584: \BJP
1.1 noro 585: @b{Asir} $B$N<B9T$K4X$9$k$$$/$D$+$N4D6-JQ?t$,B8:_$9$k(B. UNIX $B>e$G$O4D6-JQ?t(B
586: $B$O(B shell $B$N%3%^%s%I%i%$%s$+$iD>@\@_Dj$9$k$+(B, shell $B$N(B rc $B%U%!%$%k$G@_Dj(B
587: $B$9$k(B. Windows NT $B$G$O(B, [$B@_Dj(B]->[$B%7%9%F%`(B]->[$B4D6-(B] $B$G@_Dj$9$k(B. Windows 95/98
588: $B$G$O(B, @samp{c:\autoexec.bat} $B$K=q$$$F(B reboot $B$9$k(B.
1.2 noro 589: \E
590: \BEG
591: There exist several environment variables concerning with an execution
592: of @b{Asir}. On UNIX, an environment variable is set from shells, or
593: in rc files of shells. On Windows NT, it can be set from [Control Panel]
594: ->[Environment]. On Windows 95/98, it can be set in @samp{c:\autoexec.bat}.
595: Note that the setting takes effect after rebooting the machine on Windows
596: 95/98.
597: \E
1.1 noro 598: @itemize @bullet
599: @item
600: @code{ASIR_LIBDIR}
1.8 noro 601: @*
1.2 noro 602: \BJP
1.1 noro 603: @b{Asir} $B$N%i%$%V%i%j%G%#%l%/%H%j(B, $B$9$J$o$A%f!<%68@8l$G=q$+$l$?%U%!%$%k(B
604: $B$J$I$,$*$+$l$k%G%#%l%/%H%j(B. $B;XDj$,$J$$>l9g(B UNIX $BHG$G$O(B
605: @samp{/usr/local/lib/asir}, Windows $BHG$G$O(B Asir $B%a%$%s%G%#%l%/%H%j$N2<$N(B
606: @samp{lib} $B%G%#%l%/%H%j$,MQ$$$i$l$k(B.
1.2 noro 607: \E
608: \BEG
609: The library directory of @b{Asir}, i.e., the directory where
610: , for example, files containing programs written in @b{Asir}.
611: If not specified, on UNIX, @samp{/usr/local/lib/asir} is used by default.
612: On Windows, @samp{lib} in @b{Asir root directory} is used by default.
1.13 ! takayama 613: This environment will be useful in a case where @b{Asir} binaries
! 614: are installed on a private directory of the user.
! 615: \E
! 616: @item
! 617: @code{ASIR_CONTRIB_DIR}
! 618: @*
! 619: \BJP
! 620: @b{Asir} $B$N(B asir-contrib $B%G%#%l%/%H%j(B, $B$9$J$o$A(B OpenXM/asir-contrib
! 621: $B%W%m%8%'%/%H$G=q$+$l$?%Q%C%1!<%8$d%G!<%?$J$I$,$*$+$l$k%G%#%l%/%H%j(B.
! 622: $B;XDj$,$J$$>l9g(B UNIX $BHG$G$O(B
! 623: @samp{/usr/local/lib/asir-contrib},
! 624: Windows $BHG$G$O(B Asir $B%a%$%s%G%#%l%/%H%j$N2<$N(B @samp{lib-asir-contrib}
! 625: $B%G%#%l%/%H%j$,MQ$$$i$l$k(B.
! 626: \E
! 627: \BEG
! 628: The asir-contrib library directory of @b{Asir}, i.e., the directory where
! 629: packages and data developed by the OpenXM/asir-contrib project files are put.
! 630: If not specified, on UNIX, @samp{/usr/local/lib/asir-contrib}
! 631: is used by default.
! 632: On Windows, @samp{lib-asir-contrib} in @b{Asir root directory}
! 633: is used by default.
1.2 noro 634: This environment will be useful in a case where @b{Asir} binaries
635: are installed on a private directory of the user.
636: \E
1.1 noro 637:
638: @item
639: @code{ASIRLOADPATH}
1.8 noro 640: @*
1.2 noro 641: \BJP
1.1 noro 642: $B%m!<%I$5$l$k%U%!%$%k$,$"$k%G%#%l%/%H%j$r(B UNIX $B$N>l9g(B ':',
643: Windows$B$N>l9g(B ';' $B$G6h@Z$C$FJB$Y$k(B. $B%G%#%l(B
644: $B%/%H%j$O:8$+$i=g$K%5!<%A$5$l$k(B. $B$3$N;XDj$,$J$$>l9g(B, $B$*$h$S;XDj$5$l$?(B
645: $B%U%!%$%k$,(B @code{ASIRLOADPATH} $B$K$J$+$C$?>l9g(B, $B%i%$%V%i%j%G%#%l%/%H%j(B
646: $B$b%5!<%A$5$l$k(B.
1.2 noro 647: \E
648: \BEG
649: This environment specifies directories which contains files to be
650: loaded by @b{Asir} command @code{load()}.
651: Directories are separated by a `:' on UNIX, a ';' on Windows respectively.
652: The search order is from the left to the right.
653: After searching out all directories in @code{ASIRLOADPATH},
654: or in case of no specification at all,
655: the library directory will be searched.
656: \E
1.1 noro 657: @item
658: @code{HOME}
1.8 noro 659: @*
1.2 noro 660: \BJP
1.1 noro 661: @var{-norc} $B%*%W%7%g%s$D$-$G5/F0$7$J$$>l9g(B, @samp{$HOME/.asirrc}$B$,$"$l$P(B,
662: $BM=$a$3$N%U%!%$%k$r<B9T$9$k(B. @code{HOME} $B$,@_Dj$5$l$F$$$J$$>l9g(B, UNIX $BHG(B
663: $B$G$O$J$K$bFI$^$J$$$,(B, Windows $BHG$G$O(B Asir $B%a%$%s%G%#%l%/%H%j(B
664: (@code{get_rootdir()} $B$GJV$5$l$k%G%#%l%/%H%j(B) $B$N(B @samp{.asirrc} $B$rC5$7(B,
665: $B$"$l$P$=$l$r<B9T$9$k(B.
1.2 noro 666: \E
667: \BEG
668: If @b{Asir} is invoked without @var{-norc}, @samp{$HOME/.asirrc}, if exists,
669: is executed. If @code{HOME} is not set, nothing is done on UNIX. On Windows,
670: @samp{.asirrc} in @b{Asir root directory} is executed if it exists.
671: \E
1.1 noro 672: @end itemize
673:
1.2 noro 674: \BJP
1.1 noro 675: @node $B5/F0$+$i=*N;$^$G(B,,, Risa/Asir
676: @section $B5/F0$+$i=*N;$^$G(B
1.2 noro 677: \E
678: \BEG
679: @node Starting and Terminating an Asir session,,, Risa/Asir
680: @section Starting and Terminating an @b{Asir} session
681: \E
1.1 noro 682:
683: @noindent
1.2 noro 684: \JP @b{Asir} $B$r5/F0$9$k$H(B,
685: \BEG
686: Run @b{Asir}, then the copyright notice and the first prompt
687: will appear on your screen,
688: and a new @b{Asir} session will be started.
689: \E
690:
1.1 noro 691: @example
692: [0]
693: @end example
694:
695: @noindent
1.2 noro 696: \BJP
1.1 noro 697: $B$J$k%W%m%s%W%H$,I=<($5$l(B, $B%;%C%7%g%s$,3+;O$9$k(B. @samp{$HOME/.asirrc}
698: (Windows $BHG$N>l9g(B, @code{HOME} $B@_Dj$5$l$F$$$J$$>l9g$K$O(B @code{get_rootdir()}
699: $B$GJV$5$l$k%G%#%l%/%H%j$K$"$k(B @samp{.asirrc})
700: $B$,B8:_$7$F$$$k>l9g(B, $B$3$N%U%!%$%k$r(B @b{Asir} $B%f!<%68@8l$G$+$+$l$?(B
701: $B%U%!%$%k$H8+$J$7(B, $B2r<a<B9T$9$k(B.
1.2 noro 702: \E
703: \BEG
704: When initialization file @samp{$HOME/.asirrc} exists,
705: @b{Asir} interpreter executes it at first taking it as a program
706: file written in @b{Asir}.
707: \E
1.1 noro 708:
709: @noindent
1.2 noro 710: \BJP
1.1 noro 711: $B%W%m%s%W%H$OF~NO$NHV9f$rI=$9(B. $B%;%C%7%g%s$O(B, @code{end;} $B$^$?$O(B
712: @code{quit;} $B$rF~NO$9$k$3$H$K$h$j=*N;$9$k(B. $BF~NO$O(B, @samp{;} $B$^$?$O(B
713: @samp{$} $B$^$G$r0l6h@Z$j$H$7$FI>2A$5$l$k(B. @samp{;} $B$N$H$-7k2L$OI=<($5$l(B,
714: @samp{$} $B$N$H$-I=<($5$l$J$$(B.
1.2 noro 715: \E
716: \BEG
717: The prompt indicates the sequential number of your input commands to
718: @b{Asir}.
719: The session will terminate when you input @code{end;} or @code{quit;}
720: to @b{Asir}.
721: Input commands are evaluated statement by statement.
722: A statement normally ends with its terminator
723: @samp{;} or @samp{$}.
724: (There are some exceptions. See, syntax of @b{Asir}.)
725: The result will be displayed when the command, i.e. statement,
726: is terminated by a @samp{;},
727: and will not when terminated by a @samp{$}.
728: \E
1.1 noro 729:
730: @example
731: % asir
732: [0] A;
733: 0
734: [1] A=(x+y)^5;
735: x^5+5*y*x^4+10*y^2*x^3+10*y^3*x^2+5*y^4*x+y^5
736: [2] A;
737: x^5+5*y*x^4+10*y^2*x^3+10*y^3*x^2+5*y^4*x+y^5
738: [3] a=(x+y)^5;
739: evalpv : invalid assignment
740: return to toplevel
741: [3] a;
742: a
743: [4] fctr(A);
744: [[1,1],[x+y,5]]
745: [5] quit;
746: %
747: @end example
748:
749: @noindent
1.2 noro 750: \BJP
1.1 noro 751: $B$3$NNc$G$O(B, @code{A}, @code{a}, @code{x}, @code{y} $B$J$kJ8;z$,;HMQ$5$l$F$$$k(B.
752: @code{A} $B$O%W%m%0%i%`$K$*$1$kJQ?t$G(B, @code{a}, @code{x}, @code{y} $B$O?t3XE*(B
753: $B$J0UL#$G$NITDj85$G$"$k(B. $B0lHL$K%W%m%0%i%`JQ?t$OBgJ8;z$G;O$^$j(B,
754: $BITDj85$O>.J8;z$G;O$^$k(B. $B$3$NNc$G$o$+$k$h$&$K(B, $B%W%m%0%i%`JQ?t$O(B,
755: $B?t(B, $B<0$J$I$r3JG<$7$F$*$/$?$a$N$b$N$G$"$j(B, C $B8@8l$J$I$K$*$1$kJQ?t$KBP1~$9$k(B.
756: $B0lJ}(B, $BITDj85$O$=$l<+?H$GCM$r;}$D$3$H$O$G$-$:(B, $B=>$C$F(B, $BITDj85$KBP$9$k(B
757: $BBeF~$O5v$5$l$J$$(B. $B8e$K<($9$,(B, $BITDj85$KBP$9$kBeF~$O(B, $BAH$_9~$_H!?t(B @code{subst()}
758: $B$K$h$jL@<(E*$K9T$o$l$k(B.
1.2 noro 759: \E
760: \BEG
761: In the above example, names @code{A}, @code{a}, @code{x} and @code{y}
762: are used to identify mathematical and programming objects.
763: There, the name @code{A} denotes a program variable
764: (some times called simply as a program variable.)
765: while the other names, @code{a}, @code{x} and @code{y}, denote
766: mathematical objects, that is, indeterminates.
767: In general, program variables have names which begin with
768: capital letters, while names of indeterminates begin with
769: small letters.
770: As you can see in the example, program variables are used to hold and
771: keep objects, such as numbers and expressions, as their values,
772: just like variables in C programming language.
773: Whereas, indeterminates cannot have values so that assignment to
774: indeterminates are illegal.
775: If one wants to get a result by substituting a value for an indeterminate
776: in an expression, it is achieved by the function @code{subst} as the
777: value of the function.
778: \E
1.1 noro 779:
1.2 noro 780: \BJP
1.1 noro 781: @node $B3d$j9~$_(B,,, Risa/Asir
782: @section $B3d$j9~$_(B
1.2 noro 783: \E
784: \BEG
785: @node Interruption,,, Risa/Asir
786: @section Interruption
787: \E
1.1 noro 788:
789: @noindent
1.2 noro 790: \BJP
1.1 noro 791: $B7W;;$r<B9TCf$K3d$j9~$_$r$+$1$?$$>l9g(B, $B3d$j9~$_%-%c%i%/%?(B($BDL>o$O(B
1.10 noro 792: @kbd{C-c}, Windows, DOS $BHG$G$O(B @kbd{C-x} $B$rF~NO$9$k(B.
1.2 noro 793: \E
794: \BEG
795: To interrupt the @b{Asir} execution, input an interrupt character
796: from the keyboard. A @kbd{C-c} is usually used for it.
1.10 noro 797: (Notice: @kbd{C-x} on Windows and DOS.)
1.2 noro 798: \E
1.1 noro 799:
800: @example
801: @@ (x+y)^1000;
802: @kbd{C-c}interrupt ?(q/t/c/d/u/w/?)
803: @end example
804:
805: @noindent
1.2 noro 806: \JP $B3FA*Br;h$N0UL#$O<!$NDL$j(B.
807: \EG Here, the meaning of options are as follows.
1.1 noro 808:
809: @table @code
1.2 noro 810: \BJP
1.1 noro 811: @item q
812: @b{Asir} $B$r=*N;$9$k(B. ($B3NG'$"$j(B)
813: @item t
814: $B%H%C%W%l%Y%k$KLa$k(B. ($B3NG'$"$j(B)
815: @item c
816: $B<B9T$r7QB3$9$k(B.
817: @item d
818: $B%G%P%C%0%b!<%I$KF~$k(B. $B%G%P%C%,$K4X$7$F$O(B @xref{$B%G%P%C%,(B}.
819: @item u
1.3 noro 820: @code{register_handler()} (@pxref{ox_reset ox_intr register_handler}) $B$GEPO?$5$l$?(B
1.1 noro 821: $B4X?t$r<B9T8e%H%C%W%l%Y%k$KLa$k(B. ($B3NG'$"$j(B)
822: @item w
823: $BCfCGE@$^$G$NH!?t$N8F$S=P$7Ns$rI=<($9$k(B.
824: @item ?
825: $B3FA*Br;h$N0UL#$r@bL@$9$k(B.
1.2 noro 826: \E
827: \BEG
828: @item q
829: Terminates @b{Asir} session. (Confirmation requested.)
830: @item t
831: Returns to toplevel. (Confirmation requested.)
832: @item c
833: Resumes to continue the execution.
834: @item d
835: Enters debugging mode at the next statement of the @b{Asir} program,
836: if @b{Asir} has been executing a program loaded from a file.
837: Note that it will sometimes take a long time before entering
838: debugging mode when @b{Asir} is executing basic functions in the
839: algebraic engine, (e.g., arithmetic operation, factorization etc.)
840: Detailed description about the debugger will be given in @ref{Debugger}.
841: @item u
842: After executing a function registered by @code{register_handler()}
1.3 noro 843: (@pxref{ox_reset ox_intr register_handler}), returns to toplevel. A confirmation
1.2 noro 844: is prompted.
845: @item w
846: Displays the calling sequence up to the interruption.
847: @item ?
848: Show a brief description of options.
849: \E
1.1 noro 850: @end table
851:
1.2 noro 852: \BJP
1.1 noro 853: @node $B%(%i!<=hM}(B,,, Risa/Asir
854: @section $B%(%i!<=hM}(B
1.2 noro 855: \E
856: \BEG
857: @node Error handling,,, Risa/Asir
858: @section Error handling
859: \E
1.1 noro 860:
861: @noindent
1.2 noro 862: \BJP
1.1 noro 863: $BAH$_9~$_H!?t$KIT@5$J7?$N0z?t$rEO$7$?>l9g$J$I$K$O<B9T$,CfCG$5$l$k$,(B,
864: $B%f!<%6H!?t$NCf$G%(%i!<$,5/$-$?>l9g$K$O%H%C%W%l%Y%k$KLa$kA0$K<+F0E*$K%G%P%C%0(B
865: $B%b!<%I$KF~$k(B. $B$3$N>uBV$G(B
866: $B%(%i!<$N>l=j(B, $BD>A0$N0z?t$NCM$J$I$rD4$Y$k$3$H$,$G$-$k(B.
867: $BI=<($5$l$k%(%i!<%a%C%;!<%8$O$5$^$6$^$G$"$j(B, $BFbIt$NH!?tL>$K0z$-B3$$$F(B
868: $B%a%C%;!<%8$,I=<($5$l$k(B. $B$3$l$O(B, $B8F$S=P$5$l$?AH$_9~$_H!?t(B
869: $B$HI,$:$7$bBP1~$O$7$J$$(B.
1.2 noro 870: \E
871: \BEG
872: When arguments with illegal types are given to a built-in function,
873: an error will be detected and the execution will be quit.
874: In many cases, when an error is detected in a built-in function,
875: @b{Asir} automatically enters debugging mode before coming back
876: to toplevel.
877: At that time, one can examine the state of the program,
878: for example, inspect argument values just before the error occurred.
879: Messages reported there are various depending on cases. They are
880: reported after the internal function name. The internal function name
881: sometimes differs from the built-in function name that is specified by
882: the user program.
883: \E
1.1 noro 884:
885: @noindent
1.2 noro 886: \BJP
1.1 noro 887: $B$=$NB>(B, $B$5$^$6$^$J860x$K$h$jFbIt1i;;H!?t$K$*$$$F%(%i!<$,@8$:$k$3$H$,(B
888: $B$"$k(B. UNIX $BHG$N>l9g(B, $B$3$l$O<!$N$$$:$l$+$N(B
889: @code{internal error} $B$H$7$FJs9p$5$l(B, $BDL>o$N%(%i!<$HF1MM$K07$C$F(B,
890: $B%G%P%C%0%b!<%I$KF~$k(B.
1.2 noro 891: \E
892: \BEG
893: In the execution of internal functions, errors may happen by various
894: reasons. The UNIX version of @b{Asir} will report those errors as one of
895: the following @code{internal error}'s, and enters debugging mode just
896: like normal errors.
897: \E
1.1 noro 898:
899: @table @code
900: @item SEGV
901: @itemx BUS ERROR
1.8 noro 902: @*
1.2 noro 903: \BJP
1.1 noro 904: $BAH$_9~$_H!?t$K$h$C$F$O(B, $B0z?t$N7?$r87L)$K%A%'%C%/$;$:$K1i;;%k!<%A%s$K0z(B
905: $B$-EO$7$F$7$^$&$b$N$bB8:_$7$F$$$k(B. $B$3$N$h$&$J>u67$K$*$$$F(B,
906: $BIT@5$J%]%$%s%?(B, $B$"$k$$$O(B NULL $B%]%$%s%?$K$h$k%"%/%;%90cH?$,$"$C$?>l9g(B, $B$3$l$i(B
907: $B$N%(%i!<$H$J$k(B.
1.2 noro 908: \E
909: \BEG
910: Some of the built-in functions transmit their arguments to internal
911: operation routines without strict type-checking. In such cases,
912: one of these two errors will be reported
913: when an access violation caused by an illegal pointer or a NULL pointer
914: is detected.
915: \E
1.1 noro 916:
917: @item BROKEN PIPE
1.8 noro 918: @*
1.2 noro 919: \BJP
1.1 noro 920: $B%W%m%;%94VDL?.$K$*$$$F(B, $BAj<j@h$N%W%m%;%9$H$N4V$N%9%H%j!<%`(B
921: $B$,4{$KB8:_$7$F$$$J$$>l9g(B ($BNc$($P4{$KAj<j@h$N%W%m%;%9$,=*N;$7$F$$$k>l9g$J$I(B)
922: $B$K(B, $B$=$N%9%H%j!<%`$KF~=PNO$7$h$&$H$7$?>l9g$K$3$N%(%i!<$H$J$k(B.
1.2 noro 923: \E
924: \BEG
925: In the process communication, this error will be reported if a process
926: attempts to read from or to write onto the partner process when the
927: stream to the partner process does not already exist, (e.g., terminated
928: process.)
929: \E
1.1 noro 930: @end table
931:
932: @noindent
1.2 noro 933: \BJP
1.1 noro 934: $B$3$l$i$O<B:]$K$O(B, $BAH$_9~$_H!?t$NF~8}$K$*$$$F(B, $B0z?t$r40A4$K%A%'%C%/(B
935: $B$9$k$3$H$K$h$jBgItJ,$OKI$2$k$,(B, $B<j4V$,B?$/$+$+$k$3$H$H(B, $B>l9g$K(B
936: $B$h$C$F$O8zN($rMn$9$3$H$K$b$J$k$?$a(B, $B$"$($F0z?t%A%'%C%/$O%f!<%6(B
937: $BG$$;$K$7$F$"$k(B.
1.2 noro 938: \E
939: \BEG
940: For UNIX version, even in such a case, the process itself does not
941: terminate because such an error can be caught by @code{signal()} and
942: recovered.
943: To remove this weak point, complete type
944: checking of all arguments are indispensable at the entry of a built-in
945: function, which requires an enormous amount of re-making efforts.
946: \E
1.1 noro 947:
1.2 noro 948: \BJP
1.1 noro 949: @node $B7W;;7k2L$*$h$SFC<l$J?t(B,,, Risa/Asir
950: @section $B7W;;7k2L(B, $BFC<l$J?t(B
1.2 noro 951: \E
952: \BEG
953: @node Referencing results and special numbers,,, Risa/Asir
954: @section Referencing results and special numbers
955: \E
1.1 noro 956:
957: @noindent
1.2 noro 958: \JP @code{@@} $B$O%(%9%1!<%WJ8;z$H$7$F;HMQ$5$l$k(B. $B8=:_<!$N$h$&$J5,Dj$,$"$k(B.
959: \BEG
960: An @code{@@} used for an escape character; rules currently in force
961: are as follows.
962: \E
1.1 noro 963: @table @code
1.2 noro 964: \BJP
1.1 noro 965: @item @@@var{n}
966: @var{n} $BHVL\$N7W;;7k2L(B.
967: @item @@@@
968: $BD>A0$N7W;;7k2L(B.
969: @item @@i
970: $B5u?tC10L(B.
971: @item @@pi
972: $B1_<~N((B.
973: @item @@e
974: $B<+A3BP?t$NDl(B.
975: @item @@
976: 2 $B85BN(B GF(2) $B>e$N0lJQ?tB?9`<0$NJQ?t(B ($BITDj85(B).
977: @item @@>, @@<, @@>=, @@<=, @@==, @@&&, @@||
978: quantifier elimination $B$K$*$1$k(B, $B0l3,=R8lO@M}1i;;;R(B
1.2 noro 979: \E
980: \BEG
981: @item @@@var{n}
982: The evaluated result of @var{n}-th input command
983: @item @@@@
984: The evaluated result of the last command
985: @item @@i
986: The unit of imaginary number, square root of -1.
987: @item @@pi
988: The number pi,
989: the ratio of a circumference of the circle and its diameter.
990: @item @@e
991: Napier's number, the base of natural logarithm.
992: @item @@
993: A generator of GF(2^m), a finite field of characteristic 2, over GF(2).
994: It is a root of an irreducible univariate polynomial over GF(2)
995: which is set as the defining polynomial of GF(2^m).
996: @item @@>, @@<, @@>=, @@<=, @@==, @@&&, @@||
997: Fist order logical operators. They are used in quantifier elimination.
998: \E
1.1 noro 999: @end table
1000:
1001: @example
1002: [0] fctr(x^10-1);
1003: [[1,1],[x-1,1],[x+1,1],[x^4+x^3+x^2+x+1,1],[x^4-x^3+x^2-x+1,1]]
1004: [1] @@@@[3];
1005: [x^4+x^3+x^2+x+1,1]
1006: [2] eval(sin(@@pi/2));
1007: 1.000000000000000000000000000000000000000000000000000000000
1008: [3] eval(log(@@e),20);
1009: 0.99999999999999999999999999998
1010: [4] @@0[4][0];
1011: x^4-x^3+x^2-x+1
1012: [5] (1+@@i)^5;
1013: (-4-4*@@i)
1014: [6] eval(exp(@@pi*@@i));
1015: -1.0000000000000000000000000000
1016: [7] (@@+1)^9;
1017: (@@^9+@@^8+@@+1)
1018: @end example
1019:
1020: @noindent
1.2 noro 1021: \BJP
1.1 noro 1022: $B%H%C%W%l%Y%k$G7W;;$5$l$?CM$O$3$N$h$&$K%R%9%H%j$H$7$F<h$j=P$72DG=$G$"$k$,(B,
1023: $B$3$N$3$H$O(B, $B%,%Y!<%8%3%l%/%?$K$H$C$F$OIiC4$r$b$?$i$92DG=@-$,$"$k(B. $BFC$K(B,
1024: $BBg$-$J<0$r%H%C%W%l%Y%k$G7W;;$7$?>l9g(B, $B$=$N8e$N(B GC $B;~4V$,5^B.$KA}Bg$9$k2D(B
1025: $BG=@-$,$"$k(B. $B$3$N$h$&$J>l9g(B, @code{delete_history()}
1026: (@pxref{delete_history,,@code{delete_history}}) $B$,M-8z$G$"$k(B.
1.2 noro 1027: \E
1028: \BEG
1029: As you can see in the above example,
1030: results of toplevel computation can be referred to
1031: by @code{@@} convention.
1032: This is convenient for users, while it sometimes imposes a heavy
1033: burden to the garbage collector.
1034: It may happen that GC time will rapidly increase after computing
1035: a very large expression at the toplevel.
1036: In such cases @code{delete_history()}
1037: (@pxref{delete_history,,@code{delete_history}}) takes effect.
1038: \E
1.1 noro 1039:
1040:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to risa.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