Parent Directory | Revision Log

Revision **5** -
(**show annotations**)
(**download**)
(**as text**)

*Thu Oct 6 23:27:41 2016 UTC*
(7 years, 7 months ago)
by *dashley*

File MIME type: application/x-tex

File size: 74604 byte(s)

File MIME type: application/x-tex

File size: 74604 byte(s)

Initial commit after migrating from CVS.

1 | %$Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/dtaipubs/esrgubka/c_xtn0/c_xtn0.tex,v 1.11 2003/04/03 19:49:36 dtashley Exp $ |

2 | |

3 | \chapter[\cxtnzeroshorttitle{}]{\cxtnzerolongtitle{}} |

4 | |

5 | \label{cxtn0} |

6 | |

7 | \beginchapterquote{``One way to prevent progress is by arguing that any first |

8 | step is unfair to somebody.''} |

9 | {Unknown} |

10 | |

11 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

12 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

13 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

14 | \section{Introduction} |

15 | %Section Tag: INT0 |

16 | \label{cxtn0:sint0} |

17 | |

18 | The Tcl scripting language provides for \emph{extensions}, which are |

19 | compiled-in commands added to the language. These extensions have advantages |

20 | for performance, because they allow the high-frequency interactions to occur |

21 | in compiled code, and the lower-frequency interactions to occur in |

22 | a Tcl script. |

23 | |

24 | This chapter describes the extensions that have been added to the Tcl |

25 | interpreters which are part of \emph{The Iju Tool Set}. |

26 | |

27 | Many of the parameter formats are common between the Tcl extensions |

28 | (described in this chapter) and the DOS command-line |

29 | utilities (described in Chapter |

30 | \cdcmzeroxrefhyphen{}\ref{cdcm0}). For this reason, to avoid |

31 | redundancy of documentation, the parameter formats described |

32 | in Section \ctinzeroxrefhyphen{}\ref{ctin0:sccl0} apply both to the |

33 | Tcl extensions |

34 | and the DOS command-line utilities. |

35 | |

36 | |

37 | |

38 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

39 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

40 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

41 | \section{Version Control Extensions} |

42 | |

43 | |

44 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

45 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

46 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

47 | \subsection{vcinfo} |

48 | |

49 | \index{vcinfo@\emph{vcinfo}} |

50 | \begin{tclcommandname}{vcinfo}% |

51 | retrieves embedded static version and version control information for |

52 | IjuScripter or IjuConsole. |

53 | This allows a script to determine which version of script interpreter it is |

54 | running under. |

55 | \end{tclcommandname} |

56 | |

57 | \begin{tclcommandsynopsis} |

58 | \tclcommandsynopsisline{vcinfo}{-ijutoolsversion} |

59 | \tclcommandsynopsisline{vcinfo}{?-crconly? -fileversion filename} |

60 | \tclcommandsynopsisline{vcinfo}{?-crconly? -extensionversion extensionname} |

61 | \tclcommandsynopsisline{vcinfo}{-buildmanifest} |

62 | \end{tclcommandsynopsis} |

63 | |

64 | \begin{tclcommanddescription} |

65 | The \emph{vcinfo} command returns information about the version of the |

66 | IjuScripter or IjuConsole executable program, about the version of |

67 | a specific source file, or [collectively] about the version of all files |

68 | which [directly] contribute to the behavior of an embedded Tcl/Tk extension. |

69 | This command can be used to |

70 | inquire about the version of the executable program or certain of its |

71 | components. |

72 | |

73 | Most commonly, this command is used to help assure reproducibility |

74 | of a script's behavior by coding a script so that it will |

75 | run only under a specific version(s) of executable. |

76 | |

77 | \tclcommanddescsynopsisline{vcinfo}{-ijutoolsversion} |

78 | \begin{tclcommandinternaldescription} |

79 | Returns a string identifying the version number of the IjuScripter or IjuConsole |

80 | executable. The string will be of the form ``vm.nx'', where \emph{v} is the letter |

81 | ``v'', \emph{m} is the major version number, \emph{n} is the minor version number, and |

82 | \emph{x} is an optional lower-case letter identifying a service release which fixes defects |

83 | but adds no new functionality. |

84 | |

85 | For example, a return value of ``v1.03'' would identify version 1.03. A return |

86 | value of ``v1.03c'' would identify the third service release to version 1.03; with |

87 | the service release designed to correct defects present in version 1.03b, but adding |

88 | no new functionality. |

89 | \end{tclcommandinternaldescription} |

90 | |

91 | \tclcommanddescsynopsisline{vcinfo}{-fileversion filename} |

92 | \begin{tclcommandinternaldescription} |

93 | (Not yet implemented.) Returns a string with version control information for the file |

94 | \emph{filename}, which must be part of the IjuScripter or IjuConsole build. |

95 | An error is generated if a \emph{filename} which is not part of the build |

96 | is supplied. This form of the \emph{vcinfo} command is not normally used from a script. |

97 | \end{tclcommandinternaldescription} |

98 | |

99 | \tclcommanddescsynopsisline{vcinfo}{-crconly -fileversion filename} |

100 | \begin{tclcommandinternaldescription} |

101 | (Not yet implemented.) Returns the CRC32 of the the string result of the command above. |

102 | Note that the value returned is the CRC of the version control information embedded in the file |

103 | rather than the CRC of the file. |

104 | \emph{filename} must be part of the IjuScripter or IjuConsole build, and |

105 | an error is generated if a \emph{filename} which is not part of the build is supplied. |

106 | This form is |

107 | useful because it supplies a terse result of eight hexadecimal digits which can easily |

108 | establish with a probability of about $1-2^{-32}$ that two versions of IjuScripter or IjuConsole |

109 | have the same file component; or establish with unity probability that they do not. |

110 | \end{tclcommandinternaldescription} |

111 | |

112 | \tclcommanddescsynopsisline{vcinfo}{-extensionversion extensionname} |

113 | \begin{tclcommandinternaldescription} |

114 | (Not yet implemented.) Returns a string with version control information for all |

115 | files which contribute directly to the behavior of the Tcl extension \emph{extensionname}, |

116 | which must be part of the IjuScripter or IjuConsole static build. |

117 | An error is generated if an \emph{extensionname} which is not part of the build |

118 | is supplied. |

119 | \end{tclcommandinternaldescription} |

120 | |

121 | \tclcommanddescsynopsisline{vcinfo}{-crconly -extensionversion extensionname} |

122 | \begin{tclcommandinternaldescription} |

123 | (Not yet implemented.) Returns the CRC32 of the the string result of the command above. |

124 | Note that the value returned is the CRC of the version control information embedded in the file(s) |

125 | rather than the CRC(s) of the file(s). |

126 | \emph{extensionname} must be part of the IjuScripter or IjuConsole build, and |

127 | an error is generated if an \emph{extensionname} which is not part of the build is supplied. |

128 | This form is |

129 | useful because it supplies a terse result of eight hexadecimal digits which can easily |

130 | establish with a probability of about $1-2^{-32}$ that two versions of IjuScripter or IjuConsole |

131 | have the same extension component(s); or establish with unity probability that they do not. |

132 | \end{tclcommandinternaldescription} |

133 | |

134 | \tclcommanddescsynopsisline{vcinfo}{-crconly -buildmanifest} |

135 | \begin{tclcommandinternaldescription} |

136 | (Not yet implemented.) Returns the full combined build manifest of IjuScripter and IjuConsole. |

137 | This includes size and CRC information for every file involved in the build. This form |

138 | of \emph{vcinfo} is provided for assistance in defect diagnosis. |

139 | \end{tclcommandinternaldescription} |

140 | |

141 | \end{tclcommanddescription} |

142 | |

143 | |

144 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

145 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

146 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

147 | \section{File Transformation Extensions} |

148 | |

149 | |

150 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

151 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

152 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

153 | \section{CRC, Checksum, And Hash Extensions} |

154 | %Section Tag: CRC0 |

155 | |

156 | |

157 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

158 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

159 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

160 | \subsection{crc32} |

161 | %Subsection Tag: CRC0 |

162 | \label{cxtn0:scrc0:scrc0} |

163 | |

164 | |

165 | \index{crc32@\emph{crc32}} |

166 | \begin{tclcommandname}{crc32}% |

167 | generates the CRC-32 of a file or string. This CRC can be reliably used to obtain |

168 | digital signatures of files or data. |

169 | \end{tclcommandname} |

170 | |

171 | \begin{tclcommandsynopsis} |

172 | \tclcommandsynopsisline{crc32}{filename} |

173 | \tclcommandsynopsisline{crc32}{-string binarystringval} |

174 | |

175 | Note: as of 01/01/01, the ``stateful'' forms below are not yet implemented. |

176 | |

177 | \tclcommandsynopsisline{crc32}{-initialstate} |

178 | \tclcommandsynopsisline{crc32}{-advancestate state filename} |

179 | \tclcommandsynopsisline{crc32}{-advancestate -string state binarystringval} |

180 | \tclcommandsynopsisline{crc32}{-crcfromstate state} |

181 | \end{tclcommandsynopsis} |

182 | |

183 | \begin{tclcommanddescription} |

184 | The \emph{crc32} command forms the CRC-32 of the binary contents of a file |

185 | or of the binary contents of a string. The CRC-32 is useful as a digital |

186 | signature, and can be used with unity probability to determine that two |

187 | files are different, or with a probability of about $1-2^{-32}$ to determine |

188 | that two files are almost certainly identical. |

189 | |

190 | In the invocations below, the CRC-32 is always returned as a 10-character ASCII string |

191 | of the form \emph{``0xDDDDDDDD''}, where \emph{``DDDDDDDD''} is the hexadecimal representation |

192 | of the 32-bit CRC-32, and \emph{``0x''} is a constant 2-character prefix |

193 | (the ``zero'' digit followed by ``x'') which is included for |

194 | aesthetics. It is guaranteed that: |

195 | |

196 | \begin{itemize} |

197 | \item The string returned will be exclusively ASCII. |

198 | \item The string will have a length of exactly 10 characters. |

199 | \item The first two characters of the string will be \emph{``0x''}. |

200 | \item The hexadecimal representation |

201 | will be exactly 8 characters, and any letters |

202 | in the hexadecimal representation will be upper-case. |

203 | \end{itemize} |

204 | |

205 | \tclcommanddescsynopsisline{crc32}{filename} |

206 | \begin{tclcommandinternaldescription} |

207 | Returns the CRC-32 of \emph{filename}, treated as an ordered collection of bytes (i.e. |

208 | newline characters and file termination characters are not processed---the file is |

209 | treated as a binary file). \emph{filename} must be specified in the form accepted by |

210 | the Tcl internals (forward slashes only). |

211 | \end{tclcommandinternaldescription} |

212 | |

213 | \tclcommanddescsynopsisline{crc32}{-string binarystringval} |

214 | \begin{tclcommandinternaldescription} |

215 | Returns the CRC-32 of \emph{binarystringval}, treated as an ordered collection of bytes (i.e. |

216 | newline characters and string termination characters are not honored---the string is |

217 | treated as a binary string).\footnote{For an ASCII string, the \emph{crc32} extension will |

218 | behave as expected, and will process all characters up to but not including the zero |

219 | terminator. However, the \emph{crc32} extension will also correctly process non-ASCII strings.} |

220 | \end{tclcommandinternaldescription} |

221 | |

222 | \tclcommanddescsynopsisline{crc32}{-initialstate} |

223 | \tclcommanddescsynopsisline{crc32}{-advancestate state filename} |

224 | \tclcommanddescsynopsisline{crc32}{-advancestate -string state filename} |

225 | \tclcommanddescsynopsisline{crc32}{-crcfromstate state} |

226 | \begin{tclcommandinternaldescription} |

227 | The four forms above are designed to allow ``running CRCs'' to be calculated; in which |

228 | the CRC is calculated piecemeal. These forms allow the caller to retain the internal |

229 | state vector of the CRC calculation algorithm. |

230 | |

231 | The first form, \emph{crc32 -initialstate}, returns an ASCII representation of the |

232 | correct initial state vector of the CRC-32 state machine. The client is required |

233 | to obtain this initial state before beginning a piecemeal CRC calculation. Although the |

234 | returned string is a constant (it will always be the same), representational details |

235 | may change in future versions of the \emph{crc32} extension, and so a caller should never |

236 | make assumptions about what this invocation will return, as these assumptions may |

237 | render a script incompatible with future versions of \emph{crc32}. |

238 | |

239 | The second and third forms, \emph{crc32 -advancestate state filename} |

240 | and \emph{crc32 -advancestate -string state filename}, apply a file or a binary string |

241 | to \emph{state} to produce a new \emph{state}, which is returned. This new \emph{state} |

242 | must be retained by the caller and used in subsequent calls. |

243 | |

244 | The final form, \emph{crc32 -crcfromstate state}, maps from the state vector to the |

245 | calculated CRC, and will return a 10-character ASCII string as described above. |

246 | \end{tclcommandinternaldescription} |

247 | \end{tclcommanddescription} |

248 | |

249 | \begin{tclcommandusagenotes} |

250 | (1) The ``piecemeal'' forms are as efficient as the file and string forms---there is no difference |

251 | in the internal algorithms. The primary cost of the piecemeal forms is in importing and |

252 | exporting the algorithm state vector to/from an ASCII string. |

253 | Thus, the piecemeal forms become less efficient when |

254 | small files or strings are processed, as there are more exports and imports |

255 | of the state vector. When using the piecemeal forms, processing the data in |

256 | larger chunks will give better performance. |

257 | |

258 | (2) If the \emph{crc32} command is used to signature files, it is recommended that |

259 | the \texttt{file size} command also be used to lower the probability of falsely |

260 | assuming two non-identical files are identical yet further. Two files might be |

261 | assumed identical if they have the same size and the same CRC-32. |

262 | \end{tclcommandusagenotes} |

263 | |

264 | \begin{tclcommandacknowledgements} |

265 | The \emph{crc32} command was implemented using ideas and C-language |

266 | code from a website (\cite{bibref:w:ellingsoncrc32pages}) |

267 | provided by Richard A. Ellingson\index{Ellingson, Richard A.} |

268 | \cite{bibref:i:richardaellingson}. I am especially |

269 | grateful to Mr. Ellingson for providing these materials publicly |

270 | and free of charge. |

271 | \end{tclcommandacknowledgements} |

272 | |

273 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

274 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

275 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

276 | \section{Random Number Generation Extensions} |

277 | |

278 | |

279 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

280 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

281 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

282 | \subsection{rngPwrResRndA} |

283 | |

284 | \index{rngPwrResRndA@\emph{rngPwrResRndA}} |

285 | \begin{tclcommandname}{rngPwrResRndA}% |

286 | generates pseudo-random integers using the power residue |

287 | method with $\alpha = 7^5 = 16,807$ and |

288 | $M = 2^{31}-1 = 2,147,483,647$, providing a period of $M - 1 = 2^{31}-2 = 2,147,483,646$ |

289 | (\cite{bibref:b:LeonGarciaProb}, pp. 69-71). |

290 | \end{tclcommandname} |

291 | |

292 | \begin{tclcommandsynopsis} |

293 | \tclcommandsynopsisline{rngPwrResRndA}{} |

294 | \tclcommandsynopsisline{rngPwrResRndA}{$N$} |

295 | \end{tclcommandsynopsis} |

296 | |

297 | \begin{tclcommanddescription} |

298 | The \emph{rngPwrResRndA} command generates pseudo-random positive integers |

299 | using the [power residue] recursive formula |

300 | |

301 | \begin{equation} |

302 | \label{cxtn0:rngPwrResRndA:eq00} |

303 | Z_i = \alpha Z_{i-1} mod M, |

304 | \end{equation} |

305 | |

306 | with $(\alpha, M)$ chosen as $(\alpha = 7^5=16,807, M = 2^{31}-1 = 2,147,483,647)$, as |

307 | indicated above. With these choices of $(\alpha, M)$, the sequence has a period |

308 | of $M - 1 = 2^{31}-2 = 2,147,483,646$ and good statistical properties. |

309 | |

310 | The basis for choosing $(\alpha, M)$ has its origins in number theory, and won't |

311 | be discussed here. We refer the reader to \cite{bibref:b:LeonGarciaProb} |

312 | and to mathematical papers on the power residue method. |

313 | |

314 | This extension maintains one internal seed value, which is initialized to |

315 | 1,578,127,215 at Tcl/Tk startup.\footnote{There is no scientific |

316 | reason for the choice of the integer 1,578,127,215 as the |

317 | startup value. It was chosen arbitrarily with no rationale.} |

318 | It is not possible to set the internal |

319 | seed to an arbitrary desired value. The single internal seed value is adequate |

320 | for most applications which simply require random numbers. If an |

321 | application requires control over the seed or requires multiple seeds, the ability |

322 | of this extension to generate the successor of an integer using |

323 | (\ref{cxtn0:rngPwrResRndA:eq00}) can be used to achieve this functionality in a |

324 | script. |

325 | |

326 | |

327 | \tclcommanddescsynopsisline{rngPwrResRndA}{} |

328 | \begin{tclcommandinternaldescription} |

329 | Buffers the current seed for a return value, then advances this seed using |

330 | (\ref{cxtn0:rngPwrResRndA:eq00}). Note that the ``old'' value is the value |

331 | returned, so that after Tcl/Tk startup the first value |

332 | returned will be 1,578,127,215. |

333 | \end{tclcommandinternaldescription} |

334 | |

335 | \tclcommanddescsynopsisline{rngPwrResRndA}{$N$} |

336 | \begin{tclcommandinternaldescription} |

337 | Forms the successor of $N$ using (\ref{cxtn0:rngPwrResRndA:eq00}) and |

338 | returns this successor. The single internal seed value is not affected. |

339 | \end{tclcommandinternaldescription} |

340 | |

341 | \end{tclcommanddescription} |

342 | |

343 | |

344 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

345 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

346 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

347 | \section{Arbitrary-Length Integer Extensions} |

348 | %Section Tag: SARB0 |

349 | \label{cxtn0:sarb0} |

350 | |

351 | Starting with Version 1.05 of \emph{The Iju Tool Set}, \emph{IjuScripter} and |

352 | \emph{IjuConsole} contain a limited\footnote{By \emph{limited} we mean that |

353 | the library was consolidated and simplified. The GNU MP library has as its |

354 | explicit design goal speed over clarity, and uses many advanced algorithms, |

355 | such as Karatsuba multiplication and special algorithms for the |

356 | greatest common divisor of integers. The library was simplified to regain |

357 | clarity at the expense of efficiency before its incorporation into |

358 | \emph{The Iju Tool Set}.} version of the |

359 | \index{GNU!Multiple Precision Arithmetic Library (GMP)}\emph{GNU Multiple Precision |

360 | Library} \cite{bibref:s:gnumultipleprecisionarithmeticlibrary}. |

361 | The version of the library incorporated into the tools has been |

362 | modified not to process integers larger than about 100,000 decimal digits. |

363 | We feel that this limit is sufficiently high for any practical applications, |

364 | and also that the computational speed will become unbearable long before the |

365 | data size limit is approached. |

366 | |

367 | |

368 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

369 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

370 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

371 | \subsection{Error And Overflow Behavior Of Arbitrary-Length Integer Extensions} |

372 | %Subsection Tag: EAB0 |

373 | \label{cxtn0:sarb0:seab0} |

374 | |

375 | The underlying data structure of arbitrary-length integers includes flags |

376 | to indicate that an arithmetic error has occured. Essentially, these flags are |

377 | ``NAN'', or ``not-a-number'' flags. They indicate that the result is not |

378 | an integer. These error flags propagate. Combining a NAN value with a |

379 | valid integer through a binary operation always results in a NAN value. Naturally, |

380 | the result of a unary operation on a NAN value is also a NAN value. |

381 | The nature of NAN propagation is that the first arithmetic operation that |

382 | creates an error using valid integers as input will generate an overflow error (one of |

383 | the first two flags listed below). |

384 | Subsequent operations that use these original errors as input will generate |

385 | outputs which are ``taint'' errors (the second set of two flags listed below). |

386 | |

387 | At the lowest level (in the innards of the `C' code), these flags are |

388 | bits within an integer. However, for use within Tcl (where all data is string data), these |

389 | error flags are assigned symbolic strings to indicate the nature of the error. Note that the |

390 | error flags are only approximate---they don't \emph{precisely} indicate the |

391 | nature of the error. However, combined with propagation mechanisms, |

392 | they are adequate to prevent the interpretation |

393 | of invalid data as valid data. Any result that is predicated on an invalid |

394 | result will itself be invalid. |

395 | |

396 | The four possible error strings are enumerated below. If any Tcl long integer |

397 | function creates an erroneous result, the result will be assigned one of these |

398 | four symbolic error strings rather than a string of digits. |

399 | |

400 | \begin{itemize} |

401 | \item \index{GMP\_INTS\_EF\_INTOVF\_POS@\texttt{GMP\_INTS\_EF\_INTOVF\_POS}} |

402 | \texttt{GMP\_INTS\_EF\_INTOVF\_POS}---the result is too positive (i.e. too |

403 | large in a positive direction). This error flag is also produced |

404 | by an attempted division by zero, regardless of the sign of the |

405 | dividend. |

406 | \item \index{GMP\_INTS\_EF\_INTOVF\_NEG@\texttt{GMP\_INTS\_EF\_INTOVF\_NEG}} |

407 | \texttt{GMP\_INTS\_EF\_INTOVF\_NEG}---the result is too negative (i.e. too |

408 | large in a negative direction). |

409 | \item \index{GMP\_INTS\_EF\_INTOVF\_TAINT\_POS@\texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_POS}} |

410 | \texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_POS}---the result has been ``tainted'' |

411 | by combination with an integer which has the |

412 | \texttt{GMP\_INTS\_EF\_INTOVF\_POS} flag set. |

413 | \item \index{GMP\_INTS\_EF\_INTOVF\_TAINT\_NEG@\texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_NEG}} |

414 | \texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_NEG}---the result has been |

415 | ``tainted'' by combination with an integer which has the |

416 | \texttt{GMP\_INTS\_EF\_INTOVF\_NEG} flag set. |

417 | \end{itemize} |

418 | |

419 | Note that the functions which operate on arbitrary length integers will |

420 | never produce an exception or a fatal error. Instead, they will mark |

421 | results as NAN, and these NAN results will propagate. |

422 | This mechanism provides for graceful failures, and also allows complex |

423 | calculations to be performed without the necessity of checking for |

424 | errors after every calculation step. |

425 | |

426 | Note also that each of the separate arbitrary-length integer extensions described |

427 | in this section are a ``sub-extension'' to the \texttt{arbint} extension. It |

428 | should also be noted |

429 | that many of these extensions perform the same function as a DOS |

430 | utility with the same name (see Chapter \cdcmzeroxrefhyphen{}\ref{cdcm0}). |

431 | |

432 | |

433 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

434 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

435 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

436 | \subsection{The \texttt{arbint iseflag} Extension} |

437 | |

438 | \index{arbint iseflag@\emph{arbint iseflag}} |

439 | \index{iseflag@\emph{iseflag}} |

440 | \begin{tclcommandname}{arbint iseflag}% |

441 | identifies a string as an arbitrary integer error flag (or not) and |

442 | returns an integer value categorizing the string. |

443 | \end{tclcommandname} |

444 | |

445 | \begin{tclcommandsynopsis} |

446 | \tclcommandsynopsisline{arbint iseflag }{stringarg} |

447 | \end{tclcommandsynopsis} |

448 | |

449 | \begin{tclcommanddescription} |

450 | This extension returns: |

451 | \begin{itemize} |

452 | \item ``0'' if the string argument supplied is not a recognized |

453 | error flag. |

454 | \item ``1'' if the string argument supplied is recognized as the\\ |

455 | \texttt{GMP\_INTS\_EF\_INTOVF\_POS} |

456 | error flag. |

457 | \item ``2'' if the string argument supplied is recognized as the\\ |

458 | \texttt{GMP\_INTS\_EF\_INTOVF\_NEG} |

459 | error flag. |

460 | \item ``3'' if the string argument supplied is recognized as the\\ |

461 | \texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_POS} |

462 | error flag. |

463 | \item ``4'' if the string argument supplied is recognized as the\\ |

464 | \texttt{GMP\_INTS\_EF\_INTOVF\_TAINT\_NEG} |

465 | error flag. |

466 | \end{itemize} |

467 | |

468 | This extension is most often used to classify the output of an |

469 | arbitrary-length integer operation. All valid integers will create |

470 | a value of zero if passed to this extension as an argument. |

471 | \end{tclcommanddescription} |

472 | |

473 | \begin{tclcommandsampleinvocations} |

474 | \begin{scriptsize} |

475 | \begin{verbatim} |

476 | % arbint iseflag GMP_INTS_EF_INTOVF_NEG |

477 | 2 |

478 | % arbint iseflag 249,422 |

479 | 0 |

480 | \end{verbatim} |

481 | \end{scriptsize} |

482 | \end{tclcommandsampleinvocations} |

483 | |

484 | \begin{tclcommandseealso} |

485 | See also Section \ref{cxtn0:sarb0:seab0}. |

486 | \end{tclcommandseealso} |

487 | |

488 | |

489 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

490 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

491 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

492 | \subsection{The \texttt{arbint commanate} Extension} |

493 | %Subsection Tag: COM0 |

494 | \label{cxtn0:sarb0:scom0} |

495 | |

496 | \index{arbint commanate@\emph{arbint commanate}} |

497 | \index{commanate@\emph{commanate}} |

498 | \begin{tclcommandname}{arbint commanate}% |

499 | inserts comma characters (`,') into a string as necessary to |

500 | make it a properly formatted integer with commas. |

501 | \end{tclcommandname} |

502 | |

503 | \begin{tclcommandsynopsis} |

504 | \tclcommandsynopsisline{arbint commanate}{sint} |

505 | \end{tclcommandsynopsis} |

506 | |

507 | \begin{tclcommanddescription} |

508 | This extension adds commas to an integer to make it a properly |

509 | formatted integer with commas. This extension is normally used to |

510 | format a string for more ``human-friendly'' output. The input to this extension |

511 | must be either: |

512 | |

513 | \begin{itemize} |

514 | \item A integer with no commas, as a string of digits (i.e. |

515 | scientific notation is not allowed). The only valid representation |

516 | for zero is ``0''. |

517 | \item An integer with all commas properly placed (i.e. it is |

518 | allowed to ``recommanate'' an integer that is already |

519 | ``commanated''). |

520 | \item One of the four symbolic NAN strings described in |

521 | Section \ref{cxtn0:sarb0:seab0}. (Such a string |

522 | will not be modified and will be returned unmodified from |

523 | this extension.) |

524 | \end{itemize} |

525 | |

526 | Any string that cannot be parsed as described above will result in |

527 | an error. |

528 | \end{tclcommanddescription} |

529 | |

530 | \begin{tclcommandsampleinvocations} |

531 | \begin{scriptsize} |

532 | \begin{verbatim} |

533 | % arbint intfac 129 |

534 | 4974504222477287440390234150412680963965661113713884314596886402265216893219635 |

535 | 5119328515747917449637889876686464600208839390308261862352651828829226610077151 |

536 | 044469167497022952331930501120000000000000000000000000000000 |

537 | % arbint commanate [arbint intfac 129] |

538 | 49,745,042,224,772,874,403,902,341,504,126,809,639,656,611,137,138,843,145,968, |

539 | 864,022,652,168,932,196,355,119,328,515,747,917,449,637,889,876,686,464,600,208 |

540 | ,839,390,308,261,862,352,651,828,829,226,610,077,151,044,469,167,497,022,952,33 |

541 | 1,930,501,120,000,000,000,000,000,000,000,000,000,000 |

542 | % arbint commanate GMP_INTS_EF_INTOVF_POS |

543 | GMP_INTS_EF_INTOVF_POS |

544 | \end{verbatim} |

545 | \end{scriptsize} |

546 | \end{tclcommandsampleinvocations} |

547 | |

548 | |

549 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

550 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

551 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

552 | \subsection{The \texttt{arbint decommanate} Extension} |

553 | %Subsection Tag: dco0 |

554 | \label{cxtn0:sarb0:sdco0} |

555 | |

556 | \index{arbint decommanate@\emph{arbint decommanate}} |

557 | \index{decommanate@\emph{decommanate}} |

558 | \begin{tclcommandname}{arbint decommanate}% |

559 | removes comma characters (`,') from a properly |

560 | formatted integer. |

561 | \end{tclcommandname} |

562 | |

563 | \begin{tclcommandsynopsis} |

564 | \tclcommandsynopsisline{arbint decommanate}{sint} |

565 | \end{tclcommandsynopsis} |

566 | |

567 | \begin{tclcommanddescription} |

568 | This extension removes commas from a properly formatted integer. |

569 | The input to this extension |

570 | must be either: |

571 | |

572 | \begin{itemize} |

573 | \item A integer with no commas, as a string of digits (i.e. |

574 | scientific notation is not allowed). The only valid representation |

575 | for zero is ``0''. (Note that it is allowed to ``decommanate'' |

576 | an integer that contains no commas.) |

577 | \item An integer with all commas properly placed. |

578 | \item One of the four symbolic NAN strings described in |

579 | Section \ref{cxtn0:sarb0:seab0}. (Such a string |

580 | will not be modified and will be returned unmodified from |

581 | this extension.) |

582 | \end{itemize} |

583 | |

584 | Any string that cannot be parsed as described above will result in |

585 | an error. |

586 | \end{tclcommanddescription} |

587 | |

588 | \begin{tclcommandsampleinvocations} |

589 | \begin{scriptsize} |

590 | \begin{verbatim} |

591 | % arbint intfac 129 |

592 | 4974504222477287440390234150412680963965661113713884314596886402265216893219635 |

593 | 5119328515747917449637889876686464600208839390308261862352651828829226610077151 |

594 | 044469167497022952331930501120000000000000000000000000000000 |

595 | % arbint commanate [arbint intfac 129] |

596 | 49,745,042,224,772,874,403,902,341,504,126,809,639,656,611,137,138,843,145,968, |

597 | 864,022,652,168,932,196,355,119,328,515,747,917,449,637,889,876,686,464,600,208 |

598 | ,839,390,308,261,862,352,651,828,829,226,610,077,151,044,469,167,497,022,952,33 |

599 | 1,930,501,120,000,000,000,000,000,000,000,000,000,000 |

600 | % set number [arbint commanate [arbint intfac 129]] |

601 | 49,745,042,224,772,874,403,902,341,504,126,809,639,656,611,137,138,843,145,968, |

602 | 864,022,652,168,932,196,355,119,328,515,747,917,449,637,889,876,686,464,600,208 |

603 | ,839,390,308,261,862,352,651,828,829,226,610,077,151,044,469,167,497,022,952,33 |

604 | 1,930,501,120,000,000,000,000,000,000,000,000,000,000 |

605 | % arbint decommanate $number |

606 | 4974504222477287440390234150412680963965661113713884314596886402265216893219635 |

607 | 5119328515747917449637889876686464600208839390308261862352651828829226610077151 |

608 | 044469167497022952331930501120000000000000000000000000000000 |

609 | % arbint decommanate GMP_INTS_EF_INTOVF_POS |

610 | GMP_INTS_EF_INTOVF_POS |

611 | \end{verbatim} |

612 | \end{scriptsize} |

613 | \end{tclcommandsampleinvocations} |

614 | |

615 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

616 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

617 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

618 | \subsection{The \texttt{arbint intcmp} Extension} |

619 | %Subsection Tag: add0 |

620 | \label{cxtn0:sarb0:scmp0} |

621 | |

622 | \index{arbint intcmp@\emph{arbint intcmp}} |

623 | \index{intcmp@\emph{intcmp}} |

624 | \begin{tclcommandname}{arbint intcmp}% |

625 | compares two arbitrary integers and returns a result indicating their relative |

626 | ordering. |

627 | \end{tclcommandname} |

628 | |

629 | \begin{tclcommandsynopsis} |

630 | \tclcommandsynopsisline{arbint intcmp}{sint\_a sint\_b} |

631 | \end{tclcommandsynopsis} |

632 | |

633 | \begin{tclcommanddescription} |

634 | This extension compares \emph{sint\_a} and \emph{sint\_b} and |

635 | returns $\{-1, 0, 1\}$ if |

636 | \emph{sint\_a} $\{ <, =, > \}$ \emph{sint\_b}. This extension |

637 | is used to compare arbitrarily large integers in Tcl scripts. |

638 | Because NAN tags (see Section \ref{cxtn0:sarb0:seab0}) |

639 | cannot be logically compared, |

640 | this extension will signal an error if either parameter is |

641 | a NAN tag. |

642 | \end{tclcommanddescription} |

643 | |

644 | \begin{tclcommandsampleinvocations} |

645 | \begin{scriptsize} |

646 | \begin{verbatim} |

647 | % arbint intcmp -5 -3 |

648 | -1 |

649 | % arbint intcmp -5 -5 |

650 | 0 |

651 | % arbint intcmp 7 5 |

652 | 1 |

653 | \end{verbatim} |

654 | \end{scriptsize} |

655 | \end{tclcommandsampleinvocations} |

656 | |

657 | \begin{tclcommandseealso} |

658 | See also the \emph{arbint rncmp} Tcl extension, |

659 | Section \ref{cxtn0:srne0:srcm0}, which performs a similar |

660 | function for arbitrary rational numbers. |

661 | \end{tclcommandseealso} |

662 | |

663 | |

664 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

665 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

666 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

667 | \subsection{The \texttt{arbint intadd} Extension} |

668 | %Subsection Tag: add0 |

669 | \label{cxtn0:sarb0:sadd0} |

670 | |

671 | \index{arbint intadd@\emph{arbint intadd}} |

672 | \index{intadd@\emph{intadd}} |

673 | \begin{tclcommandname}{arbint intadd}% |

674 | calculates and returns as a string the sum of two integers. |

675 | \end{tclcommandname} |

676 | |

677 | \begin{tclcommandsynopsis} |

678 | \tclcommandsynopsisline{arbint intadd}{sint sint} |

679 | \end{tclcommandsynopsis} |

680 | |

681 | \begin{tclcommanddescription} |

682 | This extension returns the sum of two integer |

683 | arguments, or one of the NAN tags described in |

684 | Section \ref{cxtn0:sarb0:seab0} if an overflow occurs. |

685 | \end{tclcommanddescription} |

686 | |

687 | \begin{tclcommandsampleinvocations} |

688 | \begin{scriptsize} |

689 | \begin{verbatim} |

690 | % arbint intadd 1e20 21643215482123164 |

691 | 100021643215482123164 |

692 | \end{verbatim} |

693 | \end{scriptsize} |

694 | \end{tclcommandsampleinvocations} |

695 | |

696 | \begin{tclcommandseealso} |

697 | See also the \emph{intadd} DOS command-line utility, |

698 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:sadd0}. |

699 | \end{tclcommandseealso} |

700 | |

701 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

702 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

703 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

704 | \subsection{The \texttt{arbint intsub} Extension} |

705 | %Subsection Tag: mod0 |

706 | \label{cxtn0:sarb0:ssub0} |

707 | |

708 | \index{arbint intsub@\emph{arbint intsub}} |

709 | \index{intsub@\emph{intsub}} |

710 | \begin{tclcommandname}{arbint intsub}% |

711 | calculates and returns as a string the difference of two integers. |

712 | \end{tclcommandname} |

713 | |

714 | \begin{tclcommandsynopsis} |

715 | \tclcommandsynopsisline{arbint intsub}{sint sint} |

716 | \end{tclcommandsynopsis} |

717 | |

718 | \begin{tclcommanddescription} |

719 | This extension returns the difference of two integer |

720 | arguments, or one of the NAN tags described in |

721 | Section \ref{cxtn0:sarb0:seab0} if an overflow occurs. |

722 | \end{tclcommanddescription} |

723 | |

724 | \begin{tclcommandsampleinvocations} |

725 | \begin{scriptsize} |

726 | \begin{verbatim} |

727 | % arbint intsub 123846129436219 1e25 |

728 | -9999999999876153870563781 |

729 | \end{verbatim} |

730 | \end{scriptsize} |

731 | \end{tclcommandsampleinvocations} |

732 | |

733 | \begin{tclcommandseealso} |

734 | See also the \emph{intsub} DOS command-line utility, |

735 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:ssub0}. |

736 | \end{tclcommandseealso} |

737 | |

738 | |

739 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

740 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

741 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

742 | \subsection{The \texttt{arbint intmul} Extension} |

743 | %Subsection Tag: mul0 |

744 | \label{cxtn0:sarb0:smul0} |

745 | |

746 | \index{arbint intmul@\emph{arbint intmul}} |

747 | \index{intmul@\emph{intmul}} |

748 | \begin{tclcommandname}{arbint intmul}% |

749 | calculates and returns as a string the product of two integers. |

750 | \end{tclcommandname} |

751 | |

752 | \begin{tclcommandsynopsis} |

753 | \tclcommandsynopsisline{arbint intmul}{sint sint} |

754 | \end{tclcommandsynopsis} |

755 | |

756 | \begin{tclcommanddescription} |

757 | This extension returns the product of two integer arguments. |

758 | The result of this |

759 | extension will always be either a NAN tag |

760 | (see Section \ref{cxtn0:sarb0:seab0}) |

761 | or an integer. |

762 | \end{tclcommanddescription} |

763 | |

764 | \begin{tclcommandsampleinvocations} |

765 | \begin{scriptsize} |

766 | \begin{verbatim} |

767 | % arbint intmul -329749813264962165493214963541976325 4.36463214521843123e38 |

768 | -143923663485602892702423181098245942606484617030062975000000000000000000000 |

769 | \end{verbatim} |

770 | \end{scriptsize} |

771 | \end{tclcommandsampleinvocations} |

772 | |

773 | \begin{tclcommandseealso} |

774 | See also the \emph{intmul} DOS command-line utility, |

775 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:smul0}. |

776 | \end{tclcommandseealso} |

777 | |

778 | |

779 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

780 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

781 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

782 | \subsection{The \texttt{arbint intdiv} Extension} |

783 | %Subsection Tag: div0 |

784 | \label{cxtn0:sarb0:sdiv0} |

785 | |

786 | \index{arbint intdiv@\emph{arbint intdiv}} |

787 | \index{intdiv@\emph{intdiv}} |

788 | \begin{tclcommandname}{arbint intdiv}% |

789 | calculates and returns as a string the quotient of two integers. |

790 | \end{tclcommandname} |

791 | |

792 | \begin{tclcommandsynopsis} |

793 | \tclcommandsynopsisline{arbint intdiv}{sint\_dividend sint\_divisor} |

794 | \end{tclcommandsynopsis} |

795 | |

796 | \begin{tclcommanddescription} |

797 | This extension returns the quotient of two integer arguments. |

798 | The first integer argument is interpreted to be the dividend, |

799 | and the second the divisor. The quotient is without remainder, |

800 | i.e. what is actually returned is |

801 | |

802 | \begin{equation} |

803 | sgn(dividend \cdot divisor) |

804 | \left\lfloor{\frac{|dividend|}{|divisor|}}\right\rfloor , |

805 | \end{equation} |

806 | |

807 | or one of the NAN tags described in |

808 | Section \ref{cxtn0:sarb0:seab0} |

809 | if division by zero is attempted. Note that division |

810 | by zero is not an error (as far as a Tcl script is concerned): |

811 | the only outcome is that the result will be assigned a symbolic |

812 | NAN tag rather than a string of digits representing an integer. |

813 | \end{tclcommanddescription} |

814 | |

815 | \begin{tclcommandsampleinvocations} |

816 | \begin{scriptsize} |

817 | \begin{verbatim} |

818 | % arbint intdiv 2364832165653218648321543215848236458124 2854871354812543821 |

819 | 828349817467869034672 |

820 | % arbint intdiv 2364832165653218648321543215848236458124 0 |

821 | GMP_INTS_EF_INTOVF_POS |

822 | \end{verbatim} |

823 | \end{scriptsize} |

824 | \end{tclcommandsampleinvocations} |

825 | |

826 | \begin{tclcommandseealso} |

827 | See also the \emph{intdiv} DOS command-line utility, |

828 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:sdiv0}. |

829 | \end{tclcommandseealso} |

830 | |

831 | |

832 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

833 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

834 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

835 | \subsection{The \texttt{arbint intmod} Extension} |

836 | %Subsection Tag: mod0 |

837 | \label{cxtn0:sarb0:smod0} |

838 | |

839 | \index{arbint intmod@\emph{arbint intmod}} |

840 | \index{intmod@\emph{intmod}} |

841 | \begin{tclcommandname}{arbint intmod}% |

842 | calculates and returns as a string the modulo of two integers. |

843 | \end{tclcommandname} |

844 | |

845 | \begin{tclcommandsynopsis} |

846 | \tclcommandsynopsisline{arbint intmod}{sint\_dividend sint\_divisor} |

847 | \end{tclcommandsynopsis} |

848 | |

849 | \begin{tclcommanddescription} |

850 | This extension returns the remainder resulting from the |

851 | division of two integer arguments. |

852 | The first integer argument is interpreted to be the dividend, |

853 | and the second the divisor. The sign of the remainder is always |

854 | chosen so that the following relationship holds: |

855 | |

856 | \begin{equation} |

857 | dividend \; div \; divisor + \frac{dividend \; mod \; divisor}{divisor} |

858 | = \frac{dividend}{divisor}, |

859 | \end{equation} |

860 | |

861 | where the \emph{div} operator is as explained in Section |

862 | \ref{cxtn0:sarb0:sdiv0} for the \emph{arbint intdiv} extension. |

863 | If division by zero is attempted, this extension |

864 | returns one of the NAN tags described in |

865 | Section \ref{cxtn0:sarb0:seab0}. Note that division |

866 | by zero is not an error (as far as a Tcl script is concerned): |

867 | the only outcome is that the result will be assigned a symbolic |

868 | NAN tag rather than a string of digits representing an integer. |

869 | \end{tclcommanddescription} |

870 | |

871 | \begin{tclcommandsampleinvocations} |

872 | \begin{scriptsize} |

873 | \begin{verbatim} |

874 | % arbint intmod 264321654632432421 2175438321654 |

875 | 1547674828113 |

876 | % arbint intmod 264321654632432421 0 |

877 | GMP_INTS_EF_INTOVF_POS |

878 | \end{verbatim} |

879 | \end{scriptsize} |

880 | \end{tclcommandsampleinvocations} |

881 | |

882 | \begin{tclcommandseealso} |

883 | See also the \emph{intmod} DOS command-line utility, |

884 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:smod0}. |

885 | \end{tclcommandseealso} |

886 | |

887 | |

888 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

889 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

890 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

891 | \subsection{The \texttt{arbint intexp} Extension} |

892 | %Subsection Tag: exp0 |

893 | \label{cxtn0:sarb0:sixp0} |

894 | |

895 | \index{arbint intexp@\emph{arbint intexp}} |

896 | \index{intexp@\emph{intexp}} |

897 | \begin{tclcommandname}{arbint intexp}% |

898 | computes and returns as a string one integer |

899 | exponentiated to the power of another, |

900 | $base^{exponent}$. |

901 | |

902 | \end{tclcommandname} |

903 | |

904 | \begin{tclcommandsynopsis} |

905 | \tclcommandsynopsisline{arbint intexp}{sint\_base uint32\_exponent} |

906 | \end{tclcommandsynopsis} |

907 | |

908 | \begin{tclcommanddescription} |

909 | This extension exponentiates an integer to a non-negative |

910 | power. For |

911 | simplicity and convenience, $0^0$ will return 1, although |

912 | this is inconsistent with the mathematical definition. |

913 | All other exponentiations are as expected. |

914 | |

915 | The method used to exponentiate is simple squaring and multiplying |

916 | based on the bit pattern of the exponent, as discussed |

917 | in \cite{bibref:b:knuthclassic2ndedvol2}, pp. 461-462. |

918 | \end{tclcommanddescription} |

919 | |

920 | \begin{tclcommandsampleinvocations} |

921 | \begin{scriptsize} |

922 | \begin{verbatim} |

923 | % arbint intexp 47 69 |

924 | 2370021018513446695324337468306899241173950476009917473665218657220346081293500 |

925 | 4143894985892600403244809901800125167 |

926 | % arbint intexp 1 0 |

927 | 1 |

928 | % arbint intexp 0 0 |

929 | 1 |

930 | % arbint intexp 0 1 |

931 | 0 |

932 | % arbint intexp 0 19237498 |

933 | 0 |

934 | % arbint intexp -47 69 |

935 | -237002101851344669532433746830689924117395047600991747366521865722034608129350 |

936 | 04143894985892600403244809901800125167 |

937 | % arbint intexp -47 -69 |

938 | arbint intexp: "-69" is not a recognized unsigned 32-bit integer. |

939 | % arbint intexp 193461926436214 99999999 |

940 | GMP_INTS_EF_INTOVF_TAINT_POS |

941 | \end{verbatim} |

942 | \end{scriptsize} |

943 | \end{tclcommandsampleinvocations} |

944 | |

945 | \begin{tclcommandseealso} |

946 | See also the \emph{intexp} DOS command-line utility, |

947 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:sixp0}. |

948 | \end{tclcommandseealso} |

949 | |

950 | |

951 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

952 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

953 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

954 | \subsection{The \texttt{arbint intfac} Extension} |

955 | %Subsection Tag: fac0 |

956 | \label{cxtn0:sarb0:sfac0} |

957 | |

958 | \index{arbint intfac@\emph{arbint intfac}} |

959 | \index{intfac@\emph{intfac}} |

960 | \begin{tclcommandname}{arbint intfac}% |

961 | computes and returns as a string the factorial ($!$) of |

962 | the integer argument supplied. |

963 | \end{tclcommandname} |

964 | |

965 | \begin{tclcommandsynopsis} |

966 | \tclcommandsynopsisline{arbint intfac}{uint32} |

967 | \end{tclcommandsynopsis} |

968 | |

969 | \begin{tclcommanddescription} |

970 | This extension returns the factorial of an integer argument. |

971 | Any of the symbolic NAN strings described in |

972 | Section \ref{cxtn0:sarb0:seab0} will cause a return |

973 | value of an appropriate symbolic NAN string. |

974 | Strings that cannot be parsed as integers or |

975 | NAN strings, strings |

976 | that represent negative integers, and strings that represent |

977 | non-negative integers that will not fit in 32 bits will generate |

978 | an error. |

979 | |

980 | As of this writing, 200! requires about 1 second to compute on a |

981 | 600MHz PC. Although this function will calculate factorials of any size |

982 | up to 100,000 digits, it is not recommended to use this function above |

983 | about 200! as the increase in computation time appears to be exponential |

984 | with respect to the argument. This may improve in the future as algorithmic |

985 | enhancements are made. |

986 | \end{tclcommanddescription} |

987 | |

988 | \begin{tclcommandsampleinvocations} |

989 | \begin{scriptsize} |

990 | \begin{verbatim} |

991 | % arbint intfac 129 |

992 | 4974504222477287440390234150412680963965661113713884314596886402265216893219635 |

993 | 5119328515747917449637889876686464600208839390308261862352651828829226610077151 |

994 | 044469167497022952331930501120000000000000000000000000000000 |

995 | \end{verbatim} |

996 | \end{scriptsize} |

997 | \end{tclcommandsampleinvocations} |

998 | |

999 | \begin{tclcommandseealso} |

1000 | See also the \emph{intfac} DOS command-line utility, |

1001 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:sifc0}. |

1002 | \end{tclcommandseealso} |

1003 | |

1004 | |

1005 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1006 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1007 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1008 | \subsection{The \texttt{arbint intgcd} Extension} |

1009 | %Subsection Tag: gcd0 |

1010 | \label{cxtn0:sarb0:sgcd0} |

1011 | |

1012 | \index{arbint intgcd@\emph{arbint intgcd}} |

1013 | \index{intgcd@\emph{intgcd}} |

1014 | \begin{tclcommandname}{arbint intgcd}% |

1015 | calculates and returns as a string the g.c.d. |

1016 | (greatest common divisor) of two integers. |

1017 | \end{tclcommandname} |

1018 | |

1019 | \begin{tclcommandsynopsis} |

1020 | \tclcommandsynopsisline{arbint intgcd}{sint sint} |

1021 | \end{tclcommandsynopsis} |

1022 | |

1023 | \begin{tclcommanddescription} |

1024 | This extension returns the g.c.d. of two integer arguments. |

1025 | If either argument is 0, the result will be 1. If either |

1026 | argument is negative, the absolute value of the argument |

1027 | will be used in its place. The result of this |

1028 | extension will always be either a NAN tag |

1029 | (see Section \ref{cxtn0:sarb0:seab0}) |

1030 | or an integer greater than or equal to 1. |

1031 | |

1032 | The algorithm employed is the |

1033 | \emph{Modern Euclidian Algorithm} as |

1034 | described in \cite{bibref:b:knuthclassic2ndedvol2}, p. 337. |

1035 | Although faster algorithms for computer |

1036 | implementation do exist, this is the simplest |

1037 | and most direct algorithm. |

1038 | \end{tclcommanddescription} |

1039 | |

1040 | \begin{tclcommandsampleinvocations} |

1041 | \begin{scriptsize} |

1042 | \begin{verbatim} |

1043 | % arbint intgcd 263130836933693530167218012160000000 503580 |

1044 | 4620 |

1045 | \end{verbatim} |

1046 | \end{scriptsize} |

1047 | \end{tclcommandsampleinvocations} |

1048 | |

1049 | \begin{tclcommandseealso} |

1050 | See also the \emph{intgcd} DOS command-line utility, |

1051 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:sgcd0}. |

1052 | \end{tclcommandseealso} |

1053 | |

1054 | |

1055 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1056 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1057 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1058 | \subsection{The \texttt{arbint intlcm} Extension} |

1059 | %Subsection Tag: lcm0 |

1060 | \label{cxtn0:sarb0:slcm0} |

1061 | |

1062 | \index{arbint intgcd@\emph{arbint intlcm}} |

1063 | \index{intlcm@\emph{intlcm}} |

1064 | \begin{tclcommandname}{arbint intlcm}% |

1065 | calculates and returns as a string the l.c.m. |

1066 | (least common multiple) of two integers. |

1067 | \end{tclcommandname} |

1068 | |

1069 | \begin{tclcommandsynopsis} |

1070 | \tclcommandsynopsisline{arbint intlcm}{sint sint} |

1071 | \end{tclcommandsynopsis} |

1072 | |

1073 | \begin{tclcommanddescription} |

1074 | This extension returns the l.c.m. of two integer arguments. |

1075 | If either argument is 0, the argument will be treated as if it |

1076 | were 1. If either |

1077 | argument is negative, the absolute value of the argument |

1078 | will be used in its place. The result of this |

1079 | extension will always be either a NAN tag |

1080 | (see Section \ref{cxtn0:sarb0:seab0}) |

1081 | or an integer greater than or equal to 1. |

1082 | |

1083 | The algorithm employed is to calculate |

1084 | the g.c.d. of the arguments using the |

1085 | \emph{Modern Euclidian Algorithm} as |

1086 | described in \cite{bibref:b:knuthclassic2ndedvol2}, p. 337; |

1087 | then to divide the product of the arguments by their |

1088 | g.c.d., as implied by \cite{bibref:b:knuthclassic2ndedvol2}, |

1089 | p. 334, Equation 10. Both sides of this equation can be |

1090 | divided by $\gcd(u,v)$ to yield |

1091 | |

1092 | \begin{equation} |

1093 | lcm(u,v) = \frac{uv}{\gcd(u,v)}, |

1094 | \end{equation} |

1095 | |

1096 | and this is the relationship used to calculated the l.c.m. |

1097 | \end{tclcommanddescription} |

1098 | |

1099 | \begin{tclcommandsampleinvocations} |

1100 | \begin{scriptsize} |

1101 | \begin{verbatim} |

1102 | % arbint intlcm 64 100 |

1103 | 1600 |

1104 | \end{verbatim} |

1105 | \end{scriptsize} |

1106 | \end{tclcommandsampleinvocations} |

1107 | |

1108 | \begin{tclcommandseealso} |

1109 | See also the \emph{intlcm} DOS command-line utility, |

1110 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:sali0:slcm0}. |

1111 | \end{tclcommandseealso} |

1112 | |

1113 | |

1114 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1115 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1116 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1117 | \section{Rational Number Extensions} |

1118 | %Section Tag: RNE0 |

1119 | |

1120 | This section describes extensions that implement |

1121 | rational number arithmetic. |

1122 | |

1123 | In most cases, the rational number extensions described in |

1124 | this section are liberal in the representations of rational numbers |

1125 | they accept, but always produce results as integer components |

1126 | separated by the forward slash character. This means that the |

1127 | rational number extensions described in this section can exchange data |

1128 | freely---the output of any of the extensions is suitable as input |

1129 | for another extension. |

1130 | |

1131 | |

1132 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1133 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1134 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1135 | \subsection{The \texttt{arbint rnred} Extension} |

1136 | %Subsection Tag: RNR0 |

1137 | \label{cxtn0:srne0:srnr0} |

1138 | |

1139 | \index{arbint rnred@\emph{arbint rnred}} |

1140 | \index{rnred@\emph{rnred}} |

1141 | \begin{tclcommandname}{arbint rnred}% |

1142 | reduces a rational number to lowest terms and normalizes it. |

1143 | \end{tclcommandname} |

1144 | |

1145 | \begin{tclcommandsynopsis} |

1146 | \tclcommandsynopsisline{arbint rnred}{srn} |

1147 | \end{tclcommandsynopsis} |

1148 | |

1149 | \begin{tclcommanddescription} |

1150 | The \emph{arbint rnred} extension reduces a rational number to its lowest terms |

1151 | and normalizes it. By \emph{reducing} a rational number and |

1152 | normalizing it, we mean the application of the following rules. |

1153 | |

1154 | \begin{enumerate} |

1155 | \item Any number with a numerator of zero is given the |

1156 | representation 0/1, i.e. 0/1 is the canonical |

1157 | representation of zero. |

1158 | \item Any number with a denominator of zero is given |

1159 | the representation 1/0, i.e. 1/0 is the canonical |

1160 | representation of ``division by zero''. |

1161 | \item Rational numbers which are effectively positive |

1162 | are normalized to have a positve numerator and positive |

1163 | denominator. |

1164 | \item Rational numbers which are effectively negative are |

1165 | normalized to have a negative numerator and positive |

1166 | denominator. |

1167 | \item Any common factors are removed from the numerator and |

1168 | denominator, i.e. the numerator and denominator are |

1169 | made coprime. |

1170 | \end{enumerate} |

1171 | |

1172 | Note that one behavior above may be unexpected---the |

1173 | \emph{arbint rnred} extension \emph{will} accept a rational number |

1174 | specified with a denominator of zero, and will normalize it to |

1175 | 1/0. |

1176 | \end{tclcommanddescription} |

1177 | |

1178 | \begin{tclcommandsampleinvocations} |

1179 | \begin{scriptsize} |

1180 | \begin{verbatim} |

1181 | % arbint rnred 422.414 |

1182 | 211207/500 |

1183 | \end{verbatim} |

1184 | \end{scriptsize} |

1185 | \end{tclcommandsampleinvocations} |

1186 | |

1187 | \begin{tclcommandseealso} |

1188 | See also the \emph{rnred} DOS command-line utility, |

1189 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:srnu0:srnr0}. |

1190 | \end{tclcommandseealso} |

1191 | |

1192 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1193 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1194 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1195 | \subsection{The \texttt{arbint rnadd} Extension} |

1196 | %Subsection Tag: RAD0 |

1197 | \label{cxtn0:srne0:srad0} |

1198 | |

1199 | \index{arbint rnadd@\emph{arbint rnadd}} |

1200 | \index{rnadd@\emph{rnadd}} |

1201 | \begin{tclcommandname}{arbint rnadd}% |

1202 | adds two rational numbers to produce a normalized rational result. |

1203 | \end{tclcommandname} |

1204 | |

1205 | \begin{tclcommandsynopsis} |

1206 | \tclcommandsynopsisline{arbint rnadd}{srn srn} |

1207 | \end{tclcommandsynopsis} |

1208 | |

1209 | \begin{tclcommanddescription} |

1210 | The \emph{arbint rnadd} extension adds two rational numbers to produce a |

1211 | normalized rational result. |

1212 | |

1213 | If either of the two rational input arguments has a denominator of zero, |

1214 | the string ``NAN'' will be returned. |

1215 | \end{tclcommanddescription} |

1216 | |

1217 | \begin{tclcommandsampleinvocations} |

1218 | \begin{scriptsize} |

1219 | \begin{verbatim} |

1220 | % arbint rnadd 3.1415 64/259 |

1221 | 1755297/518000 |

1222 | \end{verbatim} |

1223 | \end{scriptsize} |

1224 | \end{tclcommandsampleinvocations} |

1225 | |

1226 | \begin{tclcommandseealso} |

1227 | See also the \emph{rnadd} DOS command-line utility, |

1228 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:srnu0:srna0}. |

1229 | \end{tclcommandseealso} |

1230 | |

1231 | |

1232 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1233 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1234 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1235 | \subsection{The \texttt{arbint rnsub} Extension} |

1236 | %Subsection Tag: RSB0 |

1237 | \label{cxtn0:srne0:srsb0} |

1238 | |

1239 | \index{arbint rnsub@\emph{arbint rnsub}} |

1240 | \index{rnsub@\emph{rnsub}} |

1241 | \begin{tclcommandname}{arbint rnsub}% |

1242 | subtracts two rational numbers to produce a normalized rational result. |

1243 | \end{tclcommandname} |

1244 | |

1245 | \begin{tclcommandsynopsis} |

1246 | \tclcommandsynopsisline{arbint rnsub}{srn\_arg1 srn\_arg2} |

1247 | \end{tclcommandsynopsis} |

1248 | |

1249 | \begin{tclcommanddescription} |

1250 | The \emph{arbint rnsub} extension subtracts two rational numbers to produce a |

1251 | normalized rational result. The second argument is subtracted from the first, i.e. |

1252 | the result $arg_2 - arg_1$ is formed. |

1253 | |

1254 | If either of the two rational input arguments has a denominator of zero, |

1255 | the string ``NAN'' will be returned. |

1256 | \end{tclcommanddescription} |

1257 | |

1258 | \begin{tclcommandsampleinvocations} |

1259 | \begin{scriptsize} |

1260 | \begin{verbatim} |

1261 | % arbint rnsub 3.129 122/451 |

1262 | 1289179/451000 |

1263 | \end{verbatim} |

1264 | \end{scriptsize} |

1265 | \end{tclcommandsampleinvocations} |

1266 | |

1267 | \begin{tclcommandseealso} |

1268 | See also the \emph{rnsub} DOS command-line utility, |

1269 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:srnu0:srsb0}. |

1270 | \end{tclcommandseealso} |

1271 | |

1272 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1273 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1274 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1275 | \subsection{The \texttt{arbint rnmul} Extension} |

1276 | %Subsection Tag: RMU0 |

1277 | \label{cxtn0:srne0:srmu0} |

1278 | |

1279 | \index{arbint rnmul@\emph{arbint rnmul}} |

1280 | \index{rnmul@\emph{rnmul}} |

1281 | \begin{tclcommandname}{arbint rnmul}% |

1282 | multiplies two rational numbers to produce a normalized rational result. |

1283 | \end{tclcommandname} |

1284 | |

1285 | \begin{tclcommandsynopsis} |

1286 | \tclcommandsynopsisline{arbint rnmul}{srn srn} |

1287 | \end{tclcommandsynopsis} |

1288 | |

1289 | \begin{tclcommanddescription} |

1290 | The \emph{arbint rnmul} extension multiplies two rational numbers to produce a |

1291 | normalized rational result. |

1292 | |

1293 | If either of the two rational input arguments has a denominator of zero, |

1294 | the string ``NAN'' will be returned. |

1295 | \end{tclcommanddescription} |

1296 | |

1297 | \begin{tclcommandsampleinvocations} |

1298 | \begin{scriptsize} |

1299 | \begin{verbatim} |

1300 | % arbint rnmul 3.14 32/491 |

1301 | 2512/12275 |

1302 | \end{verbatim} |

1303 | \end{scriptsize} |

1304 | \end{tclcommandsampleinvocations} |

1305 | |

1306 | \begin{tclcommandseealso} |

1307 | See also the \emph{rnmul} DOS command-line utility, |

1308 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:srnu0:srmu0}. |

1309 | \end{tclcommandseealso} |

1310 | |

1311 | |

1312 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1313 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1314 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1315 | \subsection{The \texttt{arbint rndiv} Extension} |

1316 | %Subsection Tag: RDV0 |

1317 | \label{cxtn0:srne0:srdv0} |

1318 | |

1319 | \index{arbint rndiv@\emph{arbint rndiv}} |

1320 | \index{rndiv@\emph{rndiv}} |

1321 | \begin{tclcommandname}{arbint rndiv}% |

1322 | divides two rational numbers to produce a normalized rational result. |

1323 | \end{tclcommandname} |

1324 | |

1325 | \begin{tclcommandsynopsis} |

1326 | \tclcommandsynopsisline{arbint rndiv}{srn srn} |

1327 | \end{tclcommandsynopsis} |

1328 | |

1329 | \begin{tclcommanddescription} |

1330 | The \emph{arbint rndiv} extension divides two rational numbers to produce a |

1331 | normalized rational result. |

1332 | |

1333 | If either of the two rational input arguments has a denominator of zero, or |

1334 | if the divisor is zero, |

1335 | the string ``NAN'' will be returned. |

1336 | \end{tclcommanddescription} |

1337 | |

1338 | \begin{tclcommandsampleinvocations} |

1339 | \begin{scriptsize} |

1340 | \begin{verbatim} |

1341 | % arbint rndiv 3.14 32/491 |

1342 | 77087/1600 |

1343 | \end{verbatim} |

1344 | \end{scriptsize} |

1345 | \end{tclcommandsampleinvocations} |

1346 | |

1347 | \begin{tclcommandseealso} |

1348 | See also the \emph{rnmul} DOS command-line utility, |

1349 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:srnu0:srdv0}. |

1350 | \end{tclcommandseealso} |

1351 | |

1352 | |

1353 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1354 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1355 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1356 | \subsection{The \texttt{arbint rncmp} Extension} |

1357 | %Subsection Tag: RCM0 |

1358 | \label{cxtn0:srne0:srcm0} |

1359 | |

1360 | \index{arbint rncmp@\emph{arbint rncmp}} |

1361 | \index{rncmp@\emph{rncmp}} |

1362 | \begin{tclcommandname}{arbint rncmp}% |

1363 | compares two rational numbers. |

1364 | \end{tclcommandname} |

1365 | |

1366 | \begin{tclcommandsynopsis} |

1367 | \tclcommandsynopsisline{arbint rncmp}{srn\_arg1 srn\_arg2} |

1368 | \end{tclcommandsynopsis} |

1369 | |

1370 | \begin{tclcommanddescription} |

1371 | The \emph{arbint rncmp} extension compares two rational numbers |

1372 | and returns $\{-1, 0, 1\}$ if $arg_1$ |

1373 | $\{<, =, >\}$ $arg_2$. |

1374 | |

1375 | The rational numbers do not need to be reduced or normalized in any way. |

1376 | Any combination of signs on the numerators and denominators is permitted, |

1377 | and the numerators and denominators are not required to be coprime. |

1378 | |

1379 | If for any reason the extension cannot compare the rational numbers, |

1380 | an error message will be returned and the extension will return |

1381 | \texttt{TCL\_ERROR}, which will normally cause a script to fail. |

1382 | The reason for the error return is that if the two rational number |

1383 | cannot be compared, in most cases it is logically impossible for a script to |

1384 | continue. |

1385 | \end{tclcommanddescription} |

1386 | |

1387 | \begin{tclcommandsampleinvocations} |

1388 | \begin{scriptsize} |

1389 | \begin{verbatim} |

1390 | % arbint rncmp -4/-7 0.5 |

1391 | 1 |

1392 | \end{verbatim} |

1393 | \end{scriptsize} |

1394 | \end{tclcommandsampleinvocations} |

1395 | |

1396 | |

1397 | \begin{tclcommandseealso} |

1398 | See also the \emph{arbint intcmp} Tcl extension, |

1399 | Section \ref{cxtn0:sarb0:scmp0}, which performs a similar |

1400 | function for arbitrary integers. |

1401 | \end{tclcommandseealso} |

1402 | |

1403 | |

1404 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1405 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1406 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1407 | \section{Number Theory Extensions} |

1408 | %Section Tag: NTH0 |

1409 | \label{cxtn0:snth0} |

1410 | |

1411 | This section describes extensions that are related to number theory. |

1412 | Extensions that deal with continued fractions are included in this |

1413 | category because of the relationship between continued fractions |

1414 | and number theory. Any extensions related to number theory that |

1415 | must process large integers are |

1416 | still a subextension of \texttt{arbint}.\footnote{This was done to |

1417 | avoid creating an excessive number of software modules and |

1418 | Tcl extensions.} |

1419 | |

1420 | |

1421 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1422 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1423 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1424 | \subsection{The \texttt{arbint cfratnum} Extension} |

1425 | %Subsection Tag: CFR0 |

1426 | \label{cxtn0:snth0:scfr0} |

1427 | |

1428 | \index{arbint cfratnum@\emph{arbint cfratnum}} |

1429 | \index{cfratnum@\emph{cfratnum}} |

1430 | \begin{tclcommandname}{arbint cfratnum}% |

1431 | calculates the partial quotients and convergents of |

1432 | a non-negative rational number. |

1433 | \end{tclcommandname} |

1434 | |

1435 | \begin{tclcommandsynopsis} |

1436 | \tclcommandsynopsisline{arbint cfratnum}{urn} |

1437 | \end{tclcommandsynopsis} |

1438 | |

1439 | \begin{tclcommanddescription} |

1440 | This extension calculates the partial quotients and convergents of |

1441 | of a non-negative rational number. The results are |

1442 | returned as a string containing integers separated by spaces. |

1443 | The integers are arranged in consecutive triplets of the form |

1444 | ``$a_k \; p_k \; q_k$''. Such a string can be converted to a |

1445 | list and processed from a Tcl script. |

1446 | \end{tclcommanddescription} |

1447 | |

1448 | \begin{tclcommandsampleinvocations} |

1449 | \begin{scriptsize} |

1450 | \begin{verbatim} |

1451 | % arbint cfratnum 3.14 |

1452 | 3 3 1 7 22 7 7 157 50 |

1453 | \end{verbatim} |

1454 | \end{scriptsize} |

1455 | |

1456 | In the sample invocation above, note that $a_0 = 3$, |

1457 | $p_0 = 3$, $q_0 = 1$, $a_1 = 7$, $p_1 = 22$, $q_1 = 7$, |

1458 | $a_2 = 7$, $p_2 = 157$, and $q_2 = 50$. |

1459 | \end{tclcommandsampleinvocations} |

1460 | |

1461 | \begin{tclcommandseealso} |

1462 | See also the \emph{cfratnum} DOS command-line utility, |

1463 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:snth0:scfr0}. |

1464 | \end{tclcommandseealso} |

1465 | |

1466 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1467 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1468 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1469 | \subsection{The \texttt{arbint cfbrapab} Extension} |

1470 | %Subsection Tag: BRA0 |

1471 | \label{cxtn0:snth0:sbra0} |

1472 | |

1473 | \index{arbint cfbrapab@\emph{arbint cfbrapab}} |

1474 | \index{cfbrapab@\emph{cfbrapab}} |

1475 | \begin{tclcommandname}{arbint cfbrapab}% |

1476 | finds best rational approximations to a supplied rational |

1477 | number in either the Farey series of order $k_{MAX}$ (denoted |

1478 | $F_{k_{MAX}}$), or in a rectangular region of the integer lattice |

1479 | bounded by $k \leq k_{MAX}$ and $h \leq h_{MAX}$ |

1480 | (denoted $F_{k_{MAX}, \overline{h_{MAX}}}$). |

1481 | \end{tclcommandname} |

1482 | |

1483 | \begin{tclcommandsynopsis} |

1484 | \tclcommandsynopsisline{arbint cfbrapab}{srn uint\_kmax [options]} |

1485 | \tclcommandsynopsisline{arbint cfbrapab}{srn uint\_kmax uint\_hmax [options]} |

1486 | \end{tclcommandsynopsis} |

1487 | |

1488 | \begin{tclcommanddescription} |

1489 | When used without options, this extension returns the closest rational |

1490 | number to the specified rational number in $F_{k_{MAX}}$ (if only $k_{MAX}$ is |

1491 | specified) or in $F_{k_{MAX}, \overline{h_{MAX}}}$ (if both |

1492 | $k_{MAX}$ and $h_{MAX}$ are specified). If the rational number specified |

1493 | is already in the series of interest, its reduced form is returned. |

1494 | If the rational number supplied is equidistant from the two closest |

1495 | formable rational numbers in the series of interest, the neighbor of smaller |

1496 | magnitude (absolute value) is returned. |

1497 | |

1498 | When operating in $F_{k_{MAX}}$, there are no practical constraints |

1499 | on the size of rational numbers that this extension can approximate. |

1500 | However, when operating in $F_{k_{MAX}, \overline{h_{MAX}}}$, |

1501 | this extension will not accept rational numbers outside the |

1502 | interval $[-h_{MAX}, h_{MAX}]$ (note that $-h_{MAX}/1$ and |

1503 | $h_{MAX}/1$ are the smallest and largest numbers that can be formed |

1504 | when the numerator of the rational approximations is constrained). |

1505 | Any attempt to approximate a rational number outside $[-h_{MAX}, h_{MAX}]$ |

1506 | will result in a Tcl error, which will normally terminate a script. |

1507 | |

1508 | The \texttt{-neversmaller} and \texttt{-neverlarger} |

1509 | options cause the extension to always choose the larger and |

1510 | smaller neighbors (rather than the closer neighbor), respectively. |

1511 | These options are useful when approximations are desired that |

1512 | do not underestimate or overestimate the function of interest for |

1513 | large values in the domain. These parameters do not affect |

1514 | the behavior if the rational number supplied is already in the |

1515 | series of interest---the reduced form of the specified number |

1516 | is returned in the case of equality. |

1517 | The \texttt{-neversmaller} and \texttt{-neverlarger} options |

1518 | must be used alone, with no other options. |

1519 | |

1520 | The \texttt{-pred} and \texttt{-succ} options cause this extension |

1521 | to calculate either the predecessor or successor to the rational |

1522 | number specified in the series of interest. If the number specified |

1523 | is already in series of interest, its predecessor or successor |

1524 | is returned. |

1525 | If the number specified is not in the series of interest, |

1526 | the left or right neighbor is returned. If no predecessor, |

1527 | successor, or left or right neighbor exist, an error is generated. |

1528 | These options (\texttt{-pred} or \texttt{-succ}) |

1529 | must be used alone, with no other options. |

1530 | |

1531 | The normal behavior of this extension is to return a single |

1532 | rational number, as described above. |

1533 | The \texttt{-n \emph{uint32\_count}} option will cause the extension |

1534 | to return \emph{count} rational numbers on each side of the |

1535 | rational number specified. If the rational number specified is already |

1536 | in the series of interest, it will be returned as well, normally\footnote{If |

1537 | the set of returned rational numbers is not clipped at $-h_{MAX}/1$ or |

1538 | $h_{MAX}/1$.} resulting |

1539 | in an odd number of rational numbers returned. If the rational number |

1540 | specified is not already in the series of interest, an even number of |

1541 | rational numbers will normally be returned. The rational |

1542 | numbers returned are prefixed with integer indices, which |

1543 | indicate their ordinal distance from the rational number to be approximated |

1544 | (see the invocation examples below). The index of 0 is reserved for |

1545 | the reduced form of the rational number specified, and and a rational number with |

1546 | this index will be in the output only if the rational number supplied was already |

1547 | in the series of interest. |

1548 | The rational numbers returned |

1549 | will be formatted as integer indices and slash-separated integers, separated |

1550 | by single spaces and arranged in ascending order.. |

1551 | If the number of rational numbers requested by this option exceeds |

1552 | the number available, the sequence will simply be truncated at |

1553 | $-h_{MAX}/1$ or $h_{MAX}/1$, as appropriate. Any request for more than |

1554 | 10,000 neighbors (on each side) will be clipped to 10,000. |

1555 | \end{tclcommanddescription} |

1556 | |

1557 | \begin{tclcommandsampleinvocations} |

1558 | \begin{scriptsize} |

1559 | \begin{verbatim} |

1560 | % arbint cfbrapab 1.6093 255 |

1561 | 346/215 |

1562 | % arbint cfbrapab 1.6093 255 255 |

1563 | 243/151 |

1564 | % arbint cfbrapab 1.6093 255 255 -neversmaller |

1565 | 103/64 |

1566 | % arbint cfbrapab 1.6093 255 255 -neverlarger |

1567 | 243/151 |

1568 | % arbint cfbrapab 1.6093 255 255 -n 20 |

1569 | -20 143/89 -19 188/117 -18 233/145 -17 45/28 -16 217/135 -15 172/107 -14 127/79 |

1570 | -13 209/130 -12 82/51 -11 201/125 -10 119/74 -9 156/97 -8 193/120 -7 230/143 -6 |

1571 | 37/23 -5 251/156 -4 214/133 -3 177/110 -2 140/87 -1 243/151 1 103/64 2 169/105 |

1572 | 3 235/146 4 66/41 5 227/141 6 161/100 7 95/59 8 219/136 9 124/77 10 153/95 11 |

1573 | 182/113 12 211/131 13 240/149 14 29/18 15 253/157 16 224/139 17 195/121 18 |

1574 | 166/103 19 137/85 20 245/152 |

1575 | % arbint cfbrapab 1.6093 255 255 -succ |

1576 | 103/64 |

1577 | % arbint cfbrapab 1.6093 255 255 -pred |

1578 | 243/151 |

1579 | % arbint cfbrapab 2/3 255 255 -pred |

1580 | 169/254 |

1581 | \end{verbatim} |

1582 | \end{scriptsize} |

1583 | \end{tclcommandsampleinvocations} |

1584 | |

1585 | \begin{tclcommandseealso} |

1586 | This extension uses the continued fraction |

1587 | algorithms presented in Chapter \ccfrzeroxrefhyphen{}\ref{ccfr0}. |

1588 | See also the \emph{cfratnum} DOS command-line utility, |

1589 | Section \cdcmzeroxrefhyphen{}\ref{cdcm0:snth0:sbra0}. |

1590 | \end{tclcommandseealso} |

1591 | |

1592 | |

1593 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1594 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1595 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1596 | \subsection{The \texttt{arbint const} Extension} |

1597 | %Subsection Tag: CEX0 |

1598 | \label{cxtn0:snth0:scex0} |

1599 | |

1600 | \index{arbint const@\emph{arbint const}} |

1601 | \index{const (Tcl arbint sub-extension)@\emph{const} (Tcl \emph{arbint} sub-extension)} |

1602 | \begin{tclcommandname}{arbint const}% |

1603 | returns a string representing the value of important |

1604 | mathematical and conversion constants (such as the value |

1605 | of $\pi$ or $e$, or the conversion factor from miles to kilometers). |

1606 | \end{tclcommandname} |

1607 | |

1608 | \begin{tclcommandsynopsis} |

1609 | \tclcommandsynopsisline{arbint const}{const\_tag} |

1610 | \tclcommandsynopsisline{arbint const}{const\_tag uint32\_ndigits} |

1611 | \end{tclcommandsynopsis} |

1612 | |

1613 | \begin{tclcommanddescription} |

1614 | The \emph{const} subextension returns the value (as a string) of |

1615 | constants that may be useful in engineering work. Such constants |

1616 | may include mathematically significant numbers (such as |

1617 | \index{pi@$\pi$ (transcendental constant)}$\pi$ or |

1618 | \index{e@$e$ (transcendental constant)}$e$), or |

1619 | useful conversion factors (the conversion factor from |

1620 | miles to kilometers, for example). These string constants |

1621 | can be used in calculations involving rational numbers. |

1622 | |

1623 | All constants are simply tabulated as character strings |

1624 | within the `C' source code. |

1625 | |

1626 | Mathematically significant numbers (which, to the best |

1627 | of the author's knowledge are always irrational and |

1628 | usually transcendental, as mathematicians |

1629 | don't seem to have any lasting interest in specific integers |

1630 | or rational numbers) are available to about 1,000 significant digits, |

1631 | and have been obtained from various web pages. It is reasoned that |

1632 | 1,000 significant digits should be adequate for engineering applications. |

1633 | |

1634 | Measurement unit conversion constants have typically been obtained from |

1635 | \emph{NIST Special Publication 811} \cite{bibref:b:nistsp811:1995ed}. |

1636 | These constants are always tabulated with their full precision, since |

1637 | no physical constant can be precise to more than several decimal places. |

1638 | |

1639 | If the number of significant figures is not specified, |

1640 | each constant is returned as a string with a default number of |

1641 | decimal places (typically about 30). In most cases, the default |

1642 | number of decimal places provides more than enough precision for |

1643 | engineering work. However, an optional parameter allows more |

1644 | or fewer digits to be obtained, up to the maximum number tabulated internally |

1645 | in the software. The default number of decimal places is a compromise |

1646 | between calculation speed and accuracy. It is felt in most cases that |

1647 | the default number of decimal places provides excellent accuracy |

1648 | and good calculation speed. |

1649 | |

1650 | Please e-mail the authors if you would like additional useful |

1651 | constants included. Because the list of tabulated constants |

1652 | may grow and shrink, it would not be a sound decision to document |

1653 | the constants which are included here. Instead, use |

1654 | \emph{arbint const} with an invalid tag, and the software itself |

1655 | will list all of the internally tabulated constants and their |

1656 | significance. |

1657 | \end{tclcommanddescription} |

1658 | |

1659 | \begin{tclcommandsampleinvocations} |

1660 | Please note that the sample invocation below was created using |

1661 | v1.05 of the tool set. The list of constants may have grown |

1662 | since this example was created. Please poll the software directly |

1663 | by using \emph{arbint const} with an invalid tag to obtain the |

1664 | list of constants and their significance. |

1665 | \begin{scriptsize} |

1666 | \begin{verbatim} |

1667 | % arbint const xxx |

1668 | arbint const: "xxx" is not a recognized constant. |

1669 | Available constants are: |

1670 | e (1000 digits available) |

1671 | Historically significant transcendental constant. Digits obtained |

1672 | from http://fermi.udw.ac.za/physics/e.html on 08/17/01. |

1673 | g_si (6 digits available) |

1674 | Gravitational acceleration in SI units, meters per second**2. |

1675 | Obtained from NIST Special Publication 811 on 08/17/01. |

1676 | in2m (3 digits available) |

1677 | Multiplicative conversion factor from inches to meters. |

1678 | Obtained from NIST Special Publication 811 on 08/17/01. |

1679 | mi2km (7 digits available) |

1680 | Multiplicative conversion factor from miles to kilometers. |

1681 | Obtained from NIST Special Publication 811 on 08/17/01. |

1682 | pi (1201 digits available) |

1683 | Transcendental constant supplying ratio of a circle's circumference |

1684 | to its diameter. Digits obtained from http://www.joyofpi.com/ |

1685 | pi.htm on 08/17/01. |

1686 | sqrt5 (1040 digits available) |

1687 | The square root of 5. Digits obtained from |

1688 | http://home.earthlink.net/~maryski/sqrt51000000.txt on 08/17/01. |

1689 | % arbint const pi |

1690 | 3.14159265358979323846264338327 |

1691 | % arbint const pi 100 |

1692 | 3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067 |

1693 | % arbint const pi 10 |

1694 | 3.141592653 |

1695 | % arbint cfbrapab [arbint const pi 100] 65535 65535 |

1696 | 65298/20785 |

1697 | \end{verbatim} |

1698 | \end{scriptsize} |

1699 | \end{tclcommandsampleinvocations} |

1700 | |

1701 | |

1702 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1703 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1704 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1705 | \section{Miscellaneous Extensions} |

1706 | |

1707 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1708 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1709 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1710 | \subsection{credits} |

1711 | |

1712 | \index{credits@\emph{credits}} |

1713 | \begin{tclcommandname}{credits}% |

1714 | returns information about authorship of software components. |

1715 | \end{tclcommandname} |

1716 | |

1717 | \begin{tclcommandsynopsis} |

1718 | \tclcommandsynopsisline{credits}{} |

1719 | \tclcommandsynopsisline{credits}{searchstring} |

1720 | \end{tclcommandsynopsis} |

1721 | |

1722 | \begin{tclcommanddescription} |

1723 | The \emph{credits} command returns a list of contributors to the tools, |

1724 | their area(s) of contribution, and e-mail addresses. The volume of |

1725 | information returned can be reduced by using an optional \emph{searchstring}. |

1726 | |

1727 | \tclcommanddescsynopsisline{credits}{} |

1728 | \begin{tclcommandinternaldescription} |

1729 | Returns the complete list of contributors to the tools and their area(s) of contribution. |

1730 | \end{tclcommandinternaldescription} |

1731 | |

1732 | \tclcommanddescsynopsisline{credits}{searchstring} |

1733 | \begin{tclcommandinternaldescription} |

1734 | Returns all credit records containing \emph{searchstring}. |

1735 | Most commonly, this option is used to search for information about a specific |

1736 | command by using the command name as the \emph{searchstring}, or about a |

1737 | specific individual by using a component of the individual's name as the |

1738 | \emph{searchstring}. |

1739 | |

1740 | \end{tclcommandinternaldescription} |

1741 | |

1742 | \end{tclcommanddescription} |

1743 | |

1744 | |

1745 | |

1746 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1747 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1748 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1749 | \noindent\begin{figure}[!b] |

1750 | \noindent\rule[-0.25in]{\textwidth}{1pt} |

1751 | \begin{tiny} |

1752 | \begin{verbatim} |

1753 | $RCSfile: c_xtn0.tex,v $ |

1754 | $Source: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/dtaipubs/esrgubka/c_xtn0/c_xtn0.tex,v $ |

1755 | $Revision: 1.11 $ |

1756 | $Author: dtashley $ |

1757 | $Date: 2003/04/03 19:49:36 $ |

1758 | \end{verbatim} |

1759 | \end{tiny} |

1760 | \noindent\rule[0.25in]{\textwidth}{1pt} |

1761 | \end{figure} |

1762 | |

1763 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1764 | % $Log: c_xtn0.tex,v $ |

1765 | % Revision 1.11 2003/04/03 19:49:36 dtashley |

1766 | % Global corrections to typeface of "gcd" made as per Jan-Hinnerk Reichert's |

1767 | % recommendation. |

1768 | % |

1769 | % Revision 1.10 2001/08/18 18:37:56 dtashley |

1770 | % Preparation for v1.05 release. |

1771 | % |

1772 | % Revision 1.9 2001/08/16 19:53:27 dtashley |

1773 | % Beginning to prepare for v1.05 release. |

1774 | % |

1775 | % Revision 1.8 2001/08/12 10:15:33 dtashley |

1776 | % Safety check-in. Substantial progress. |

1777 | % |

1778 | % Revision 1.7 2001/08/10 00:56:07 dtashley |

1779 | % Completion of basic rational number arithmetic utilities and extensions. |

1780 | % |

1781 | % Revision 1.6 2001/08/08 02:25:03 dtashley |

1782 | % Completion of RNRED utility and ARBINT RNRED Tcl extension. |

1783 | % |

1784 | % Revision 1.5 2001/08/07 10:46:44 dtashley |

1785 | % Completion of CFRATNUM Tcl extension and DOS command-line utility. |

1786 | % |

1787 | % Revision 1.4 2001/08/01 03:37:39 dtashley |

1788 | % Finished most primitive integer operations, both as Tcl extensions and |

1789 | % as DOS command-line utilities, such as addition, subtraction, |

1790 | % multiplication, division, and modulo. |

1791 | % |

1792 | % Revision 1.3 2001/07/30 02:54:17 dtashley |

1793 | % INTFAC extension and command-line utility finished. |

1794 | % |

1795 | % Revision 1.2 2001/07/01 20:50:58 dtashley |

1796 | % Move out of binary mode for use with CVS. |

1797 | % |

1798 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

1799 | % $History: c_xtn0.tex $ |

1800 | % |

1801 | % ***************** Version 3 ***************** |

1802 | % User: Dashley1 Date: 2/10/01 Time: 2:03a |

1803 | % Updated in $/uC Software Multi-Volume Book (A)/Chapter, XTN0, IjuScripter-IjuConsole Tcl-Tk Extensions |

1804 | % Completion of Farey series chapter. |

1805 | % |

1806 | % ***************** Version 2 ***************** |

1807 | % User: Dashley1 Date: 1/01/01 Time: 8:13p |

1808 | % Updated in $/uC Software Multi-Volume Book (A)/Chapter, XTN0, IjuScripter-IjuConsole Tcl-Tk Extensions |

1809 | % Edits. |

1810 | % |

1811 | % ***************** Version 1 ***************** |

1812 | % User: Dashley1 Date: 12/31/00 Time: 9:34p |

1813 | % Created in $/uC Software Multi-Volume Book (A)/Chapter, XTN0, IjuScripter-IjuConsole Tcl-Tk Extensions |

1814 | % Initial check-in. |

1815 | % |

1816 | %End of file C_XTN0.TEX |

dashley@gmail.com | ViewVC Help |

Powered by ViewVC 1.1.25 |