r37.out 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569
  1. \BOOKMARK [-1]{part.1}{REDUCE User's Manual}{}
  2. \BOOKMARK [0]{chapter.1}{Introductory Information}{part.1}
  3. \BOOKMARK [0]{chapter.2}{Structure of Programs}{part.1}
  4. \BOOKMARK [1]{section.2.1}{The REDUCE Standard Character Set}{chapter.2}
  5. \BOOKMARK [1]{section.2.2}{Numbers}{chapter.2}
  6. \BOOKMARK [1]{section.2.3}{Identifiers}{chapter.2}
  7. \BOOKMARK [1]{section.2.4}{Variables}{chapter.2}
  8. \BOOKMARK [1]{section.2.5}{Strings}{chapter.2}
  9. \BOOKMARK [1]{section.2.6}{Comments}{chapter.2}
  10. \BOOKMARK [1]{section.2.7}{Operators}{chapter.2}
  11. \BOOKMARK [0]{chapter.3}{Expressions}{part.1}
  12. \BOOKMARK [1]{section.3.1}{Scalar Expressions}{chapter.3}
  13. \BOOKMARK [1]{section.3.2}{Integer Expressions}{chapter.3}
  14. \BOOKMARK [1]{section.3.3}{Boolean Expressions}{chapter.3}
  15. \BOOKMARK [1]{section.3.4}{Equations}{chapter.3}
  16. \BOOKMARK [1]{section.3.5}{Proper Statements as Expressions}{chapter.3}
  17. \BOOKMARK [0]{chapter.4}{Lists}{part.1}
  18. \BOOKMARK [1]{section.4.1}{Operations on Lists}{chapter.4}
  19. \BOOKMARK [2]{subsection.4.1.1}{LIST}{section.4.1}
  20. \BOOKMARK [2]{subsection.4.1.2}{FIRST}{section.4.1}
  21. \BOOKMARK [2]{subsection.4.1.3}{SECOND}{section.4.1}
  22. \BOOKMARK [2]{subsection.4.1.4}{THIRD}{section.4.1}
  23. \BOOKMARK [2]{subsection.4.1.5}{REST}{section.4.1}
  24. \BOOKMARK [2]{subsection.4.1.6}{. (Cons) Operator}{section.4.1}
  25. \BOOKMARK [2]{subsection.4.1.7}{APPEND}{section.4.1}
  26. \BOOKMARK [2]{subsection.4.1.8}{REVERSE}{section.4.1}
  27. \BOOKMARK [2]{subsection.4.1.9}{List Arguments of Other Operators}{section.4.1}
  28. \BOOKMARK [2]{subsection.4.1.10}{Caveats and Examples}{section.4.1}
  29. \BOOKMARK [0]{chapter.5}{Statements}{part.1}
  30. \BOOKMARK [1]{section.5.1}{Assignment Statements}{chapter.5}
  31. \BOOKMARK [2]{subsection.5.1.1}{Set Statement}{section.5.1}
  32. \BOOKMARK [1]{section.5.2}{Group Statements}{chapter.5}
  33. \BOOKMARK [1]{section.5.3}{Conditional Statements}{chapter.5}
  34. \BOOKMARK [1]{section.5.4}{FOR Statements}{chapter.5}
  35. \BOOKMARK [1]{section.5.5}{WHILE \203DO}{chapter.5}
  36. \BOOKMARK [1]{section.5.6}{REPEAT \203UNTIL}{chapter.5}
  37. \BOOKMARK [1]{section.5.7}{Compound Statements}{chapter.5}
  38. \BOOKMARK [2]{subsection.5.7.1}{Compound Statements with GO TO}{section.5.7}
  39. \BOOKMARK [2]{subsection.5.7.2}{Labels and GO TO Statements}{section.5.7}
  40. \BOOKMARK [2]{subsection.5.7.3}{RETURN Statements}{section.5.7}
  41. \BOOKMARK [0]{chapter.6}{Commands and Declarations}{part.1}
  42. \BOOKMARK [1]{section.6.1}{Array Declarations}{chapter.6}
  43. \BOOKMARK [1]{section.6.2}{Mode Handling Declarations}{chapter.6}
  44. \BOOKMARK [1]{section.6.3}{END}{chapter.6}
  45. \BOOKMARK [1]{section.6.4}{BYE Command}{chapter.6}
  46. \BOOKMARK [1]{section.6.5}{SHOWTIME Command}{chapter.6}
  47. \BOOKMARK [1]{section.6.6}{DEFINE Command}{chapter.6}
  48. \BOOKMARK [0]{chapter.7}{Built-in Prefix Operators}{part.1}
  49. \BOOKMARK [1]{section.7.1}{Numerical Operators}{chapter.7}
  50. \BOOKMARK [2]{subsection.7.1.1}{ABS}{section.7.1}
  51. \BOOKMARK [2]{subsection.7.1.2}{CEILING}{section.7.1}
  52. \BOOKMARK [2]{subsection.7.1.3}{CONJ}{section.7.1}
  53. \BOOKMARK [2]{subsection.7.1.4}{FACTORIAL}{section.7.1}
  54. \BOOKMARK [2]{subsection.7.1.5}{FIX}{section.7.1}
  55. \BOOKMARK [2]{subsection.7.1.6}{FLOOR}{section.7.1}
  56. \BOOKMARK [2]{subsection.7.1.7}{IMPART}{section.7.1}
  57. \BOOKMARK [2]{subsection.7.1.8}{MAX/MIN}{section.7.1}
  58. \BOOKMARK [2]{subsection.7.1.9}{NEXTPRIME}{section.7.1}
  59. \BOOKMARK [2]{subsection.7.1.10}{RANDOM}{section.7.1}
  60. \BOOKMARK [2]{subsection.7.1.11}{RANDOM\137NEW\137SEED}{section.7.1}
  61. \BOOKMARK [2]{subsection.7.1.12}{REPART}{section.7.1}
  62. \BOOKMARK [2]{subsection.7.1.13}{ROUND}{section.7.1}
  63. \BOOKMARK [2]{subsection.7.1.14}{SIGN}{section.7.1}
  64. \BOOKMARK [1]{section.7.2}{Mathematical Functions}{chapter.7}
  65. \BOOKMARK [1]{section.7.3}{DF Operator}{chapter.7}
  66. \BOOKMARK [2]{subsection.7.3.1}{Adding Differentiation Rules}{section.7.3}
  67. \BOOKMARK [1]{section.7.4}{INT Operator}{chapter.7}
  68. \BOOKMARK [2]{subsection.7.4.1}{Options}{section.7.4}
  69. \BOOKMARK [2]{subsection.7.4.2}{Advanced Use}{section.7.4}
  70. \BOOKMARK [2]{subsection.7.4.3}{References}{section.7.4}
  71. \BOOKMARK [1]{section.7.5}{LENGTH Operator}{chapter.7}
  72. \BOOKMARK [1]{section.7.6}{MAP Operator}{chapter.7}
  73. \BOOKMARK [1]{section.7.7}{MKID Operator}{chapter.7}
  74. \BOOKMARK [1]{section.7.8}{PF Operator}{chapter.7}
  75. \BOOKMARK [1]{section.7.9}{SELECT Operator}{chapter.7}
  76. \BOOKMARK [1]{section.7.10}{SOLVE Operator}{chapter.7}
  77. \BOOKMARK [2]{subsection.7.10.1}{Handling of Undetermined Solutions}{section.7.10}
  78. \BOOKMARK [2]{subsection.7.10.2}{Solutions of Equations Involving Cubics and Quartics}{section.7.10}
  79. \BOOKMARK [2]{subsection.7.10.3}{Other Options}{section.7.10}
  80. \BOOKMARK [2]{subsection.7.10.4}{Parameters and Variable Dependency}{section.7.10}
  81. \BOOKMARK [1]{section.7.11}{Even and Odd Operators}{chapter.7}
  82. \BOOKMARK [1]{section.7.12}{Linear Operators}{chapter.7}
  83. \BOOKMARK [1]{section.7.13}{Non-Commuting Operators}{chapter.7}
  84. \BOOKMARK [1]{section.7.14}{Symmetric and Antisymmetric Operators}{chapter.7}
  85. \BOOKMARK [1]{section.7.15}{Declaring New Prefix Operators}{chapter.7}
  86. \BOOKMARK [1]{section.7.16}{Declaring New Infix Operators}{chapter.7}
  87. \BOOKMARK [1]{section.7.17}{Creating/Removing Variable Dependency}{chapter.7}
  88. \BOOKMARK [0]{chapter.8}{Display and Structuring of Expressions}{part.1}
  89. \BOOKMARK [1]{section.8.1}{Kernels}{chapter.8}
  90. \BOOKMARK [1]{section.8.2}{The Expression Workspace}{chapter.8}
  91. \BOOKMARK [1]{section.8.3}{Output of Expressions}{chapter.8}
  92. \BOOKMARK [2]{subsection.8.3.1}{LINELENGTH Operator}{section.8.3}
  93. \BOOKMARK [2]{subsection.8.3.2}{Output Declarations}{section.8.3}
  94. \BOOKMARK [2]{subsection.8.3.3}{Output Control Switches}{section.8.3}
  95. \BOOKMARK [2]{subsection.8.3.4}{WRITE Command}{section.8.3}
  96. \BOOKMARK [2]{subsection.8.3.5}{Suppression of Zeros}{section.8.3}
  97. \BOOKMARK [2]{subsection.8.3.6}{FORTRAN Style Output Of Expressions}{section.8.3}
  98. \BOOKMARK [2]{subsection.8.3.7}{Saving Expressions for Later Use as Input}{section.8.3}
  99. \BOOKMARK [2]{subsection.8.3.8}{Displaying Expression Structure}{section.8.3}
  100. \BOOKMARK [1]{section.8.4}{Changing the Internal Order of Variables}{chapter.8}
  101. \BOOKMARK [1]{section.8.5}{Obtaining Parts of Algebraic Expressions}{chapter.8}
  102. \BOOKMARK [2]{subsection.8.5.1}{COEFF Operator}{section.8.5}
  103. \BOOKMARK [2]{subsection.8.5.2}{COEFFN Operator}{section.8.5}
  104. \BOOKMARK [2]{subsection.8.5.3}{PART Operator}{section.8.5}
  105. \BOOKMARK [2]{subsection.8.5.4}{Substituting for Parts of Expressions}{section.8.5}
  106. \BOOKMARK [0]{chapter.9}{Polynomials and Rationals}{part.1}
  107. \BOOKMARK [1]{section.9.1}{Controlling the Expansion of Expressions}{chapter.9}
  108. \BOOKMARK [1]{section.9.2}{Factorization of Polynomials}{chapter.9}
  109. \BOOKMARK [1]{section.9.3}{Cancellation of Common Factors}{chapter.9}
  110. \BOOKMARK [2]{subsection.9.3.1}{Determining the GCD of Two Polynomials}{section.9.3}
  111. \BOOKMARK [1]{section.9.4}{Working with Least Common Multiples}{chapter.9}
  112. \BOOKMARK [1]{section.9.5}{Controlling Use of Common Denominators}{chapter.9}
  113. \BOOKMARK [1]{section.9.6}{REMAINDER Operator}{chapter.9}
  114. \BOOKMARK [1]{section.9.7}{RESULTANT Operator}{chapter.9}
  115. \BOOKMARK [1]{section.9.8}{DECOMPOSE Operator}{chapter.9}
  116. \BOOKMARK [1]{section.9.9}{INTERPOL operator}{chapter.9}
  117. \BOOKMARK [1]{section.9.10}{Obtaining Parts of Polynomials and Rationals}{chapter.9}
  118. \BOOKMARK [2]{subsection.9.10.1}{DEG Operator}{section.9.10}
  119. \BOOKMARK [2]{subsection.9.10.2}{DEN Operator}{section.9.10}
  120. \BOOKMARK [2]{subsection.9.10.3}{LCOF Operator}{section.9.10}
  121. \BOOKMARK [2]{subsection.9.10.4}{LPOWER Operator}{section.9.10}
  122. \BOOKMARK [2]{subsection.9.10.5}{LTERM Operator}{section.9.10}
  123. \BOOKMARK [2]{subsection.9.10.6}{MAINVAR Operator}{section.9.10}
  124. \BOOKMARK [2]{subsection.9.10.7}{NUM Operator}{section.9.10}
  125. \BOOKMARK [2]{subsection.9.10.8}{REDUCT Operator}{section.9.10}
  126. \BOOKMARK [1]{section.9.11}{Polynomial Coefficient Arithmetic}{chapter.9}
  127. \BOOKMARK [2]{subsection.9.11.1}{Rational Coefficients in Polynomials}{section.9.11}
  128. \BOOKMARK [2]{subsection.9.11.2}{Real Coefficients in Polynomials}{section.9.11}
  129. \BOOKMARK [2]{subsection.9.11.3}{Modular Number Coefficients in Polynomials}{section.9.11}
  130. \BOOKMARK [2]{subsection.9.11.4}{Complex Number Coefficients in Polynomials}{section.9.11}
  131. \BOOKMARK [0]{chapter.10}{Substitution Commands}{part.1}
  132. \BOOKMARK [1]{section.10.1}{SUB Operator}{chapter.10}
  133. \BOOKMARK [1]{section.10.2}{LET Rules}{chapter.10}
  134. \BOOKMARK [2]{subsection.10.2.1}{FOR ALL \203LET}{section.10.2}
  135. \BOOKMARK [2]{subsection.10.2.2}{FOR ALL \203SUCH THAT \203LET}{section.10.2}
  136. \BOOKMARK [2]{subsection.10.2.3}{Removing Assignments and Substitution Rules}{section.10.2}
  137. \BOOKMARK [2]{subsection.10.2.4}{Overlapping LET Rules}{section.10.2}
  138. \BOOKMARK [2]{subsection.10.2.5}{Substitutions for General Expressions}{section.10.2}
  139. \BOOKMARK [1]{section.10.3}{Rule Lists}{chapter.10}
  140. \BOOKMARK [1]{section.10.4}{Asymptotic Commands}{chapter.10}
  141. \BOOKMARK [0]{chapter.11}{File Handling Commands}{part.1}
  142. \BOOKMARK [1]{section.11.1}{IN Command}{chapter.11}
  143. \BOOKMARK [1]{section.11.2}{OUT Command}{chapter.11}
  144. \BOOKMARK [1]{section.11.3}{SHUT Command}{chapter.11}
  145. \BOOKMARK [0]{chapter.12}{Commands for Interactive Use}{part.1}
  146. \BOOKMARK [1]{section.12.1}{Referencing Previous Results}{chapter.12}
  147. \BOOKMARK [1]{section.12.2}{Interactive Editing}{chapter.12}
  148. \BOOKMARK [1]{section.12.3}{Interactive File Control}{chapter.12}
  149. \BOOKMARK [0]{chapter.13}{Matrix Calculations}{part.1}
  150. \BOOKMARK [1]{section.13.1}{MAT Operator}{chapter.13}
  151. \BOOKMARK [1]{section.13.2}{Matrix Variables}{chapter.13}
  152. \BOOKMARK [1]{section.13.3}{Matrix Expressions}{chapter.13}
  153. \BOOKMARK [1]{section.13.4}{Operators with Matrix Arguments}{chapter.13}
  154. \BOOKMARK [2]{subsection.13.4.1}{DET Operator}{section.13.4}
  155. \BOOKMARK [2]{subsection.13.4.2}{MATEIGEN Operator}{section.13.4}
  156. \BOOKMARK [2]{subsection.13.4.3}{TP Operator}{section.13.4}
  157. \BOOKMARK [2]{subsection.13.4.4}{Trace Operator}{section.13.4}
  158. \BOOKMARK [2]{subsection.13.4.5}{Matrix Cofactors}{section.13.4}
  159. \BOOKMARK [2]{subsection.13.4.6}{NULLSPACE Operator}{section.13.4}
  160. \BOOKMARK [2]{subsection.13.4.7}{RANK Operator}{section.13.4}
  161. \BOOKMARK [1]{section.13.5}{Matrix Assignments}{chapter.13}
  162. \BOOKMARK [1]{section.13.6}{Evaluating Matrix Elements}{chapter.13}
  163. \BOOKMARK [0]{chapter.14}{Procedures}{part.1}
  164. \BOOKMARK [1]{section.14.1}{Procedure Heading}{chapter.14}
  165. \BOOKMARK [1]{section.14.2}{Procedure Body}{chapter.14}
  166. \BOOKMARK [1]{section.14.3}{Using LET Inside Procedures}{chapter.14}
  167. \BOOKMARK [1]{section.14.4}{LET Rules as Procedures}{chapter.14}
  168. \BOOKMARK [1]{section.14.5}{REMEMBER Statement}{chapter.14}
  169. \BOOKMARK [0]{chapter.15}{User Contributed Packages}{part.1}
  170. \BOOKMARK [0]{chapter.16}{Symbolic Mode}{part.1}
  171. \BOOKMARK [1]{section.16.1}{Symbolic Infix Operators}{chapter.16}
  172. \BOOKMARK [1]{section.16.2}{Symbolic Expressions}{chapter.16}
  173. \BOOKMARK [1]{section.16.3}{Quoted Expressions}{chapter.16}
  174. \BOOKMARK [1]{section.16.4}{Lambda Expressions}{chapter.16}
  175. \BOOKMARK [1]{section.16.5}{Symbolic Assignment Statements}{chapter.16}
  176. \BOOKMARK [1]{section.16.6}{FOR EACH Statement}{chapter.16}
  177. \BOOKMARK [1]{section.16.7}{Symbolic Procedures}{chapter.16}
  178. \BOOKMARK [1]{section.16.8}{Standard Lisp Equivalent of Reduce Input}{chapter.16}
  179. \BOOKMARK [1]{section.16.9}{Communicating with Algebraic Mode}{chapter.16}
  180. \BOOKMARK [2]{subsection.16.9.1}{Passing Algebraic Mode Values to Symbolic Mode}{section.16.9}
  181. \BOOKMARK [2]{subsection.16.9.2}{Passing Symbolic Mode Values to Algebraic Mode}{section.16.9}
  182. \BOOKMARK [2]{subsection.16.9.3}{Complete Example}{section.16.9}
  183. \BOOKMARK [2]{subsection.16.9.4}{Defining Procedures for Intermode Communication}{section.16.9}
  184. \BOOKMARK [1]{section.16.10}{Rlisp '88}{chapter.16}
  185. \BOOKMARK [1]{section.16.11}{References}{chapter.16}
  186. \BOOKMARK [0]{chapter.17}{Calculations in High Energy Physics}{part.1}
  187. \BOOKMARK [1]{section.17.1}{High Energy Physics Operators}{chapter.17}
  188. \BOOKMARK [2]{subsection.17.1.1}{. (Cons) Operator}{section.17.1}
  189. \BOOKMARK [2]{subsection.17.1.2}{G Operator for Gamma Matrices}{section.17.1}
  190. \BOOKMARK [2]{subsection.17.1.3}{EPS Operator}{section.17.1}
  191. \BOOKMARK [1]{section.17.2}{Vector Variables}{chapter.17}
  192. \BOOKMARK [1]{section.17.3}{Additional Expression Types}{chapter.17}
  193. \BOOKMARK [2]{subsection.17.3.1}{Vector Expressions}{section.17.3}
  194. \BOOKMARK [2]{subsection.17.3.2}{Dirac Expressions}{section.17.3}
  195. \BOOKMARK [1]{section.17.4}{Trace Calculations}{chapter.17}
  196. \BOOKMARK [1]{section.17.5}{Mass Declarations}{chapter.17}
  197. \BOOKMARK [1]{section.17.6}{Example}{chapter.17}
  198. \BOOKMARK [1]{section.17.7}{Extensions to More Than Four Dimensions}{chapter.17}
  199. \BOOKMARK [0]{chapter.18}{REDUCE and Rlisp Utilities}{part.1}
  200. \BOOKMARK [1]{section.18.1}{The Standard Lisp Compiler}{chapter.18}
  201. \BOOKMARK [1]{section.18.2}{Fast Loading Code Generation Program}{chapter.18}
  202. \BOOKMARK [1]{section.18.3}{The Standard Lisp Cross Reference Program}{chapter.18}
  203. \BOOKMARK [2]{subsection.18.3.1}{Restrictions}{section.18.3}
  204. \BOOKMARK [2]{subsection.18.3.2}{Usage}{section.18.3}
  205. \BOOKMARK [2]{subsection.18.3.3}{Options}{section.18.3}
  206. \BOOKMARK [1]{section.18.4}{Prettyprinting Reduce Expressions}{chapter.18}
  207. \BOOKMARK [1]{section.18.5}{Prettyprinting Standard Lisp S-Expressions}{chapter.18}
  208. \BOOKMARK [0]{chapter.19}{Maintaining REDUCE}{part.1}
  209. \BOOKMARK [-1]{part.2}{Additional REDUCE Documentation}{}
  210. \BOOKMARK [0]{chapter.20}{ALGINT: Integration of square roots}{part.2}
  211. \BOOKMARK [0]{chapter.21}{APPLYSYM: Infinitesimal symmetries}{part.2}
  212. \BOOKMARK [0]{chapter.22}{ARNUM: An algebraic number package}{part.2}
  213. \BOOKMARK [1]{section.22.1}{DEFPOLY}{chapter.22}
  214. \BOOKMARK [1]{section.22.2}{SPLIT\137FIELD}{chapter.22}
  215. \BOOKMARK [0]{chapter.23}{ASSIST: Various Useful Utilities}{part.2}
  216. \BOOKMARK [1]{section.23.1}{Control of Switches}{chapter.23}
  217. \BOOKMARK [1]{section.23.2}{Manipulation of the List Structure}{chapter.23}
  218. \BOOKMARK [1]{section.23.3}{The Bag Structure and its Associated Functions}{chapter.23}
  219. \BOOKMARK [1]{section.23.4}{Sets and their Manipulation Functions}{chapter.23}
  220. \BOOKMARK [1]{section.23.5}{General Purpose Utility Functions}{chapter.23}
  221. \BOOKMARK [1]{section.23.6}{Properties and Flags}{chapter.23}
  222. \BOOKMARK [1]{section.23.7}{Control Functions}{chapter.23}
  223. \BOOKMARK [1]{section.23.8}{Handling of Polynomials}{chapter.23}
  224. \BOOKMARK [1]{section.23.9}{Handling of Transcendental Functions}{chapter.23}
  225. \BOOKMARK [1]{section.23.10}{Coercion from lists to arrays and converse}{chapter.23}
  226. \BOOKMARK [1]{section.23.11}{Handling of n--dimensional Vectors}{chapter.23}
  227. \BOOKMARK [1]{section.23.12}{Handling of Grassmann Operators}{chapter.23}
  228. \BOOKMARK [1]{section.23.13}{Handling of Matrices}{chapter.23}
  229. \BOOKMARK [0]{chapter.24}{ATENSOR: Tensor Simplification}{part.2}
  230. \BOOKMARK [1]{section.24.1}{Basic tensors and tensor expressions}{chapter.24}
  231. \BOOKMARK [1]{section.24.2}{Operators for tensors}{chapter.24}
  232. \BOOKMARK [1]{section.24.3}{Switches}{chapter.24}
  233. \BOOKMARK [0]{chapter.25}{AVECTOR: Vector Algebra}{part.2}
  234. \BOOKMARK [1]{section.25.1}{Vector declaration and initialisation}{chapter.25}
  235. \BOOKMARK [1]{section.25.2}{Vector algebra}{chapter.25}
  236. \BOOKMARK [1]{section.25.3}{Vector calculus}{chapter.25}
  237. \BOOKMARK [1]{section.25.4}{Volume and Line Integration}{chapter.25}
  238. \BOOKMARK [0]{chapter.26}{BOOLEAN: A package for boolean algebra}{part.2}
  239. \BOOKMARK [1]{section.26.1}{Entering boolean expressions}{chapter.26}
  240. \BOOKMARK [1]{section.26.2}{Normal forms}{chapter.26}
  241. \BOOKMARK [1]{section.26.3}{Evaluation of a boolean expression}{chapter.26}
  242. \BOOKMARK [0]{chapter.27}{CALI: Commutative Algebra}{part.2}
  243. \BOOKMARK [0]{chapter.28}{CAMAL: Celestial Mechanics}{part.2}
  244. \BOOKMARK [1]{section.28.1}{Operators for Fourier Series}{chapter.28}
  245. \BOOKMARK [1]{section.28.2}{A Short Example}{chapter.28}
  246. \BOOKMARK [0]{chapter.29}{CGB: Comprehensive Gr\366bner Bases}{part.2}
  247. \BOOKMARK [1]{section.29.1}{Introduction}{chapter.29}
  248. \BOOKMARK [1]{section.29.2}{Using the REDLOG Package}{chapter.29}
  249. \BOOKMARK [1]{section.29.3}{Term Ordering Mode}{chapter.29}
  250. \BOOKMARK [1]{section.29.4}{CGB: Comprehensive Gr\366b-ner Basis}{chapter.29}
  251. \BOOKMARK [1]{section.29.5}{GSYS: Gr\366bner System}{chapter.29}
  252. \BOOKMARK [2]{subsection.29.5.1}{Switch CGBGEN: Only the Generic Case}{section.29.5}
  253. \BOOKMARK [1]{section.29.6}{GSYS2CGB: Gr\366bner System to CGB}{chapter.29}
  254. \BOOKMARK [1]{section.29.7}{Switch CGBREAL: Computing over the Real Numbers}{chapter.29}
  255. \BOOKMARK [1]{section.29.8}{Switches}{chapter.29}
  256. \BOOKMARK [0]{chapter.30}{CHANGEVR: Change of Variables in DEs}{part.2}
  257. \BOOKMARK [1]{section.30.1}{An example: the 2-D Laplace Equation}{chapter.30}
  258. \BOOKMARK [0]{chapter.31}{COMPACT: Compacting expressions}{part.2}
  259. \BOOKMARK [0]{chapter.32}{CRACK: Overdetermined systems of DEs}{part.2}
  260. \BOOKMARK [0]{chapter.33}{CVIT:Dirac gamma matrix traces}{part.2}
  261. \BOOKMARK [0]{chapter.34}{DEFINT: Definite Integration for REDUCE}{part.2}
  262. \BOOKMARK [0]{chapter.35}{DESIR: Linear Homogeneous DEs}{part.2}
  263. \BOOKMARK [0]{chapter.36}{DFPART: Derivatives of generic functions}{part.2}
  264. \BOOKMARK [1]{section.36.1}{Generic Functions}{chapter.36}
  265. \BOOKMARK [1]{section.36.2}{Partial Derivatives}{chapter.36}
  266. \BOOKMARK [1]{section.36.3}{Substitutions}{chapter.36}
  267. \BOOKMARK [0]{chapter.37}{DUMMY: Expressions with dummy vars}{part.2}
  268. \BOOKMARK [0]{chapter.38}{EDS: Exterior differential systems}{part.2}
  269. \BOOKMARK [1]{section.38.1}{Introduction}{chapter.38}
  270. \BOOKMARK [1]{section.38.2}{Data Structures and Concepts}{chapter.38}
  271. \BOOKMARK [2]{subsection.38.2.1}{EDS}{section.38.2}
  272. \BOOKMARK [2]{subsection.38.2.2}{Coframing}{section.38.2}
  273. \BOOKMARK [2]{subsection.38.2.3}{Systems and background coframing}{section.38.2}
  274. \BOOKMARK [2]{subsection.38.2.4}{Integral elements}{section.38.2}
  275. \BOOKMARK [2]{subsection.38.2.5}{Properties and normal form}{section.38.2}
  276. \BOOKMARK [1]{section.38.3}{The EDS Package}{chapter.38}
  277. \BOOKMARK [2]{subsection.38.3.1}{Constructing EDS objects}{section.38.3}
  278. \BOOKMARK [2]{subsection.38.3.2}{Inspecting EDS objects}{section.38.3}
  279. \BOOKMARK [2]{subsection.38.3.3}{Manipulating EDS objects}{section.38.3}
  280. \BOOKMARK [2]{subsection.38.3.4}{Analysing and Testing exterior systems}{section.38.3}
  281. \BOOKMARK [2]{subsection.38.3.5}{Switches}{section.38.3}
  282. \BOOKMARK [2]{subsection.38.3.6}{Auxilliary functions}{section.38.3}
  283. \BOOKMARK [2]{subsection.38.3.7}{Experimental Functions}{section.38.3}
  284. \BOOKMARK [0]{chapter.39}{EXCALC: Differential Geometry}{part.2}
  285. \BOOKMARK [1]{section.39.1}{Declarations}{chapter.39}
  286. \BOOKMARK [1]{section.39.2}{Exterior Multiplication}{chapter.39}
  287. \BOOKMARK [1]{section.39.3}{Partial Differentiation}{chapter.39}
  288. \BOOKMARK [1]{section.39.4}{Exterior Differentiation}{chapter.39}
  289. \BOOKMARK [1]{section.39.5}{Inner Product}{chapter.39}
  290. \BOOKMARK [1]{section.39.6}{Lie Derivative}{chapter.39}
  291. \BOOKMARK [1]{section.39.7}{Hodge-* Duality Operator}{chapter.39}
  292. \BOOKMARK [1]{section.39.8}{Variational Derivative}{chapter.39}
  293. \BOOKMARK [1]{section.39.9}{Handling of Indices}{chapter.39}
  294. \BOOKMARK [1]{section.39.10}{Metric Structures}{chapter.39}
  295. \BOOKMARK [1]{section.39.11}{Riemannian Connections}{chapter.39}
  296. \BOOKMARK [1]{section.39.12}{Ordering and Structuring}{chapter.39}
  297. \BOOKMARK [0]{chapter.40}{FIDE: Finite differences for PDEs}{part.2}
  298. \BOOKMARK [0]{chapter.41}{FPS: Formal power series}{part.2}
  299. \BOOKMARK [0]{chapter.42}{GENTRAN: A code generation package}{part.2}
  300. \BOOKMARK [1]{section.42.1}{Simple Use}{chapter.42}
  301. \BOOKMARK [1]{section.42.2}{Precision}{chapter.42}
  302. \BOOKMARK [2]{subsection.42.2.1}{The EVAL Function}{section.42.2}
  303. \BOOKMARK [2]{subsection.42.2.2}{The :=: Operator}{section.42.2}
  304. \BOOKMARK [2]{subsection.42.2.3}{The ::= Operator}{section.42.2}
  305. \BOOKMARK [2]{subsection.42.2.4}{The ::=: Operator}{section.42.2}
  306. \BOOKMARK [1]{section.42.3}{Explicit Type Declarations}{chapter.42}
  307. \BOOKMARK [1]{section.42.4}{Expression Segmentation}{chapter.42}
  308. \BOOKMARK [1]{section.42.5}{Template Processing}{chapter.42}
  309. \BOOKMARK [1]{section.42.6}{Output Redirection}{chapter.42}
  310. \BOOKMARK [0]{chapter.43}{GEOMETRY: Plane geometry}{part.2}
  311. \BOOKMARK [1]{section.43.1}{Introduction}{chapter.43}
  312. \BOOKMARK [1]{section.43.2}{Basic Data Types and Constructors}{chapter.43}
  313. \BOOKMARK [1]{section.43.3}{Procedures}{chapter.43}
  314. \BOOKMARK [1]{section.43.4}{Examples}{chapter.43}
  315. \BOOKMARK [0]{chapter.44}{GNUPLOT: Plotting Functions}{part.2}
  316. \BOOKMARK [0]{chapter.45}{GROEBNER: A Gr\366bner basis package}{part.2}
  317. \BOOKMARK [1]{section.45.1}{}{chapter.45}
  318. \BOOKMARK [2]{subsection.45.1.1}{Term Ordering}{section.45.1}
  319. \BOOKMARK [1]{section.45.2}{The Basic Operators}{chapter.45}
  320. \BOOKMARK [2]{subsection.45.2.1}{Term Ordering Mode}{section.45.2}
  321. \BOOKMARK [2]{subsection.45.2.2}{GROEBNER: Calculation of a Gr\366bner Basis}{section.45.2}
  322. \BOOKMARK [2]{subsection.45.2.3}{GZERODIM?: Test of dim= 0}{section.45.2}
  323. \BOOKMARK [2]{subsection.45.2.4}{GDIMENSION, GINDEPENDENT\137SETS}{section.45.2}
  324. \BOOKMARK [2]{subsection.45.2.5}{GLEXCONVERT: Conversion to a Lexical Base}{section.45.2}
  325. \BOOKMARK [2]{subsection.45.2.6}{GROEBNERF: Factorizing Gr\366bner Bases}{section.45.2}
  326. \BOOKMARK [2]{subsection.45.2.7}{GREDUCE, PREDUCE: Reduction of Polynomials}{section.45.2}
  327. \BOOKMARK [1]{section.45.3}{Ideal Decomposition \046 Equation System Solving}{chapter.45}
  328. \BOOKMARK [0]{chapter.46}{IDEALS: Arithmetic for polynomial ideals}{part.2}
  329. \BOOKMARK [1]{section.46.1}{Initialization}{chapter.46}
  330. \BOOKMARK [1]{section.46.2}{Bases}{chapter.46}
  331. \BOOKMARK [2]{subsection.46.2.1}{Operators}{section.46.2}
  332. \BOOKMARK [0]{chapter.47}{INEQ: Support for solving inequalities}{part.2}
  333. \BOOKMARK [0]{chapter.48}{INVBASE: Involutive Bases}{part.2}
  334. \BOOKMARK [1]{section.48.1}{The Basic Operators}{chapter.48}
  335. \BOOKMARK [2]{subsection.48.1.1}{Term Ordering}{section.48.1}
  336. \BOOKMARK [2]{subsection.48.1.2}{Computing Involutive Bases}{section.48.1}
  337. \BOOKMARK [0]{chapter.49}{LAPLACE: Laplace transforms etc.}{part.2}
  338. \BOOKMARK [0]{chapter.50}{LIE: Classification of Lie algebras}{part.2}
  339. \BOOKMARK [1]{section.50.1}{liendmc1}{chapter.50}
  340. \BOOKMARK [1]{section.50.2}{lie1234}{chapter.50}
  341. \BOOKMARK [0]{chapter.51}{LIMITS: A package for finding limits}{part.2}
  342. \BOOKMARK [1]{section.51.1}{Normal entry points}{chapter.51}
  343. \BOOKMARK [1]{section.51.2}{Direction-dependent limits}{chapter.51}
  344. \BOOKMARK [0]{chapter.52}{LINALG: Linear algebra package}{part.2}
  345. \BOOKMARK [1]{section.52.1}{Introduction}{chapter.52}
  346. \BOOKMARK [2]{subsection.52.1.1}{Basic matrix handling}{section.52.1}
  347. \BOOKMARK [2]{subsection.52.1.2}{Constructors}{section.52.1}
  348. \BOOKMARK [2]{subsection.52.1.3}{High level algorithms}{section.52.1}
  349. \BOOKMARK [2]{subsection.52.1.4}{Predicates}{section.52.1}
  350. \BOOKMARK [1]{section.52.2}{Explanations}{chapter.52}
  351. \BOOKMARK [1]{section.52.3}{Basic matrix handling}{chapter.52}
  352. \BOOKMARK [1]{section.52.4}{Constructors}{chapter.52}
  353. \BOOKMARK [1]{section.52.5}{Higher Algorithms}{chapter.52}
  354. \BOOKMARK [1]{section.52.6}{Fast Linear Algebra}{chapter.52}
  355. \BOOKMARK [0]{chapter.53}{MATHML : MathML Interface for REDUCE }{part.2}
  356. \BOOKMARK [0]{chapter.54}{MODSR: Modular solve and roots}{part.2}
  357. \BOOKMARK [0]{chapter.55}{MRVLIMIT: Limits of ``exp-log'' functions}{part.2}
  358. \BOOKMARK [0]{chapter.56}{NCPOLY: Ideals in non--comm case}{part.2}
  359. \BOOKMARK [1]{section.56.1}{Setup, Cleanup}{chapter.56}
  360. \BOOKMARK [1]{section.56.2}{Left and right ideals}{chapter.56}
  361. \BOOKMARK [1]{section.56.3}{Gr\366bner bases}{chapter.56}
  362. \BOOKMARK [1]{section.56.4}{Left or right polynomial division}{chapter.56}
  363. \BOOKMARK [1]{section.56.5}{Left or right polynomial reduction}{chapter.56}
  364. \BOOKMARK [1]{section.56.6}{Factorisation}{chapter.56}
  365. \BOOKMARK [1]{section.56.7}{Output of expressions}{chapter.56}
  366. \BOOKMARK [0]{chapter.57}{NORMFORM: matrix normal forms}{part.2}
  367. \BOOKMARK [1]{section.57.1}{Smithex}{chapter.57}
  368. \BOOKMARK [1]{section.57.2}{Smithex\137int}{chapter.57}
  369. \BOOKMARK [1]{section.57.3}{Frobenius}{chapter.57}
  370. \BOOKMARK [1]{section.57.4}{Ratjordan}{chapter.57}
  371. \BOOKMARK [1]{section.57.5}{Jordansymbolic}{chapter.57}
  372. \BOOKMARK [1]{section.57.6}{Jordan}{chapter.57}
  373. \BOOKMARK [0]{chapter.58}{NUMERIC: Solving numerical problems}{part.2}
  374. \BOOKMARK [1]{section.58.1}{Syntax}{chapter.58}
  375. \BOOKMARK [2]{subsection.58.1.1}{Intervals, Starting Points}{section.58.1}
  376. \BOOKMARK [2]{subsection.58.1.2}{Accuracy Control}{section.58.1}
  377. \BOOKMARK [1]{section.58.2}{Minima}{chapter.58}
  378. \BOOKMARK [1]{section.58.3}{Roots of Functions/ Solutions of Equations}{chapter.58}
  379. \BOOKMARK [1]{section.58.4}{Integrals}{chapter.58}
  380. \BOOKMARK [1]{section.58.5}{Ordinary Differential Equations}{chapter.58}
  381. \BOOKMARK [1]{section.58.6}{Bounds of a Function}{chapter.58}
  382. \BOOKMARK [1]{section.58.7}{Chebyshev Curve Fitting}{chapter.58}
  383. \BOOKMARK [1]{section.58.8}{General Curve Fitting}{chapter.58}
  384. \BOOKMARK [1]{section.58.9}{Function Bases}{chapter.58}
  385. \BOOKMARK [0]{chapter.59}{ODESOLVE: Ordinary differential eqns}{part.2}
  386. \BOOKMARK [1]{section.59.1}{Use}{chapter.59}
  387. \BOOKMARK [1]{section.59.2}{Commentary}{chapter.59}
  388. \BOOKMARK [0]{chapter.60}{ORTHOVEC: scalars and vectors}{part.2}
  389. \BOOKMARK [1]{section.60.1}{Initialisation}{chapter.60}
  390. \BOOKMARK [1]{section.60.2}{Input-Output}{chapter.60}
  391. \BOOKMARK [1]{section.60.3}{Algebraic Operations}{chapter.60}
  392. \BOOKMARK [1]{section.60.4}{Differential Operations}{chapter.60}
  393. \BOOKMARK [1]{section.60.5}{Integral Operations}{chapter.60}
  394. \BOOKMARK [0]{chapter.61}{PHYSOP: Operator Calculus}{part.2}
  395. \BOOKMARK [1]{section.61.1}{The NONCOM2 Package}{chapter.61}
  396. \BOOKMARK [1]{section.61.2}{The PHYSOP package}{chapter.61}
  397. \BOOKMARK [2]{subsection.61.2.1}{Type declaration commands}{section.61.2}
  398. \BOOKMARK [2]{subsection.61.2.2}{Ordering of operators in an expression}{section.61.2}
  399. \BOOKMARK [2]{subsection.61.2.3}{Arithmetic operations on operators}{section.61.2}
  400. \BOOKMARK [2]{subsection.61.2.4}{Special functions}{section.61.2}
  401. \BOOKMARK [0]{chapter.62}{PM: A REDUCE pattern matcher}{part.2}
  402. \BOOKMARK [1]{section.62.1}{The Match Function}{chapter.62}
  403. \BOOKMARK [1]{section.62.2}{Qualified Matching}{chapter.62}
  404. \BOOKMARK [1]{section.62.3}{Substituting for replacements}{chapter.62}
  405. \BOOKMARK [1]{section.62.4}{Programming with Patterns}{chapter.62}
  406. \BOOKMARK [0]{chapter.63}{QSUM: nslq-hypergeometric sums}{part.2}
  407. \BOOKMARK [1]{section.63.1}{Elementary nslq-Functions}{chapter.63}
  408. \BOOKMARK [1]{section.63.2}{The QGOSPER operator}{chapter.63}
  409. \BOOKMARK [1]{section.63.3}{The QSUMRECURSION operator}{chapter.63}
  410. \BOOKMARK [1]{section.63.4}{Global Variables and Switches}{chapter.63}
  411. \BOOKMARK [0]{chapter.64}{RANDPOLY: Random polynomials}{part.2}
  412. \BOOKMARK [1]{section.64.1}{Optional arguments}{chapter.64}
  413. \BOOKMARK [1]{section.64.2}{Advanced use of RANDPOLY}{chapter.64}
  414. \BOOKMARK [1]{section.64.3}{Examples}{chapter.64}
  415. \BOOKMARK [0]{chapter.65}{RATAPRX: Rational Approximations}{part.2}
  416. \BOOKMARK [1]{section.65.1}{}{chapter.65}
  417. \BOOKMARK [2]{subsection.65.1.1}{Periodic Representation}{section.65.1}
  418. \BOOKMARK [2]{subsection.65.1.2}{Continued Fractions}{section.65.1}
  419. \BOOKMARK [2]{subsection.65.1.3}{Pad\351 Approximation}{section.65.1}
  420. \BOOKMARK [0]{chapter.66}{REACTEQN: Chemical reaction equations}{part.2}
  421. \BOOKMARK [0]{chapter.67}{REDLOG: Logic System}{part.2}
  422. \BOOKMARK [1]{section.67.1}{Introduction}{chapter.67}
  423. \BOOKMARK [2]{subsection.67.1.1}{Contexts}{section.67.1}
  424. \BOOKMARK [2]{subsection.67.1.2}{Overview}{section.67.1}
  425. \BOOKMARK [1]{section.67.2}{Context Selection}{chapter.67}
  426. \BOOKMARK [1]{section.67.3}{Format and Handling of Formulas}{chapter.67}
  427. \BOOKMARK [2]{subsection.67.3.1}{First-order Operators}{section.67.3}
  428. \BOOKMARK [2]{subsection.67.3.2}{OFSF Operators}{section.67.3}
  429. \BOOKMARK [2]{subsection.67.3.3}{DVFSF Operators}{section.67.3}
  430. \BOOKMARK [2]{subsection.67.3.4}{ACFSF Operators}{section.67.3}
  431. \BOOKMARK [2]{subsection.67.3.5}{Extended Built-in Commands}{section.67.3}
  432. \BOOKMARK [2]{subsection.67.3.6}{Global Switches}{section.67.3}
  433. \BOOKMARK [1]{section.67.4}{Simplification}{chapter.67}
  434. \BOOKMARK [2]{subsection.67.4.1}{Standard Simplifier}{section.67.4}
  435. \BOOKMARK [2]{subsection.67.4.2}{Tableau Simplifier}{section.67.4}
  436. \BOOKMARK [2]{subsection.67.4.3}{Gr\366bner Simplifier}{section.67.4}
  437. \BOOKMARK [1]{section.67.5}{Normal Forms}{chapter.67}
  438. \BOOKMARK [2]{subsection.67.5.1}{Boolean Normal Forms}{section.67.5}
  439. \BOOKMARK [2]{subsection.67.5.2}{Miscellaneous Normal Forms}{section.67.5}
  440. \BOOKMARK [1]{section.67.6}{Quantifier Elimination and Variants}{chapter.67}
  441. \BOOKMARK [2]{subsection.67.6.1}{Quantifier Elimination}{section.67.6}
  442. \BOOKMARK [2]{subsection.67.6.2}{Generic Quantifier Elimination}{section.67.6}
  443. \BOOKMARK [2]{subsection.67.6.3}{Linear Optimization}{section.67.6}
  444. \BOOKMARK [0]{chapter.68}{RESET: Reset REDUCE to its initial state}{part.2}
  445. \BOOKMARK [0]{chapter.69}{RESIDUE: A residue package}{part.2}
  446. \BOOKMARK [0]{chapter.70}{RLFI: REDUCE LaTeX formula interface}{part.2}
  447. \BOOKMARK [0]{chapter.71}{ROOTS: A REDUCE root finding package}{part.2}
  448. \BOOKMARK [1]{section.71.1}{Top Level Functions}{chapter.71}
  449. \BOOKMARK [2]{subsection.71.1.1}{Functions that refer to real roots only}{section.71.1}
  450. \BOOKMARK [2]{subsection.71.1.2}{Functions that return both real and complex roots}{section.71.1}
  451. \BOOKMARK [2]{subsection.71.1.3}{Other top level functions}{section.71.1}
  452. \BOOKMARK [1]{section.71.2}{Switches Used in Input}{chapter.71}
  453. \BOOKMARK [1]{section.71.3}{Root Package Switches}{chapter.71}
  454. \BOOKMARK [0]{chapter.72}{RSOLVE: Rational polynomial solver}{part.2}
  455. \BOOKMARK [1]{section.72.1}{Examples}{chapter.72}
  456. \BOOKMARK [0]{chapter.73}{SCOPE: Source code optimisation package}{part.2}
  457. \BOOKMARK [0]{chapter.74}{SETS: A basic set theory package}{part.2}
  458. \BOOKMARK [1]{section.74.1}{Infix operator precedence}{chapter.74}
  459. \BOOKMARK [1]{section.74.2}{Explicit set representation and MKSET}{chapter.74}
  460. \BOOKMARK [1]{section.74.3}{Union and intersection}{chapter.74}
  461. \BOOKMARK [1]{section.74.4}{Symbolic set expressions}{chapter.74}
  462. \BOOKMARK [1]{section.74.5}{Set difference}{chapter.74}
  463. \BOOKMARK [1]{section.74.6}{Predicates on sets}{chapter.74}
  464. \BOOKMARK [2]{subsection.74.6.1}{Set membership}{section.74.6}
  465. \BOOKMARK [2]{subsection.74.6.2}{Set inclusion}{section.74.6}
  466. \BOOKMARK [2]{subsection.74.6.3}{Set equality}{section.74.6}
  467. \BOOKMARK [0]{chapter.75}{SPARSE: Sparse Matrices}{part.2}
  468. \BOOKMARK [1]{section.75.1}{Introduction}{chapter.75}
  469. \BOOKMARK [1]{section.75.2}{Sparse Matrix Calculations}{chapter.75}
  470. \BOOKMARK [1]{section.75.3}{Linear Algebra Package for Sparse Matrices}{chapter.75}
  471. \BOOKMARK [2]{subsection.75.3.1}{Basic matrix handling}{section.75.3}
  472. \BOOKMARK [2]{subsection.75.3.2}{Constructors}{section.75.3}
  473. \BOOKMARK [2]{subsection.75.3.3}{High level algorithms}{section.75.3}
  474. \BOOKMARK [2]{subsection.75.3.4}{Predicates}{section.75.3}
  475. \BOOKMARK [0]{chapter.76}{SPDE: Symmetry groups of PDE's}{part.2}
  476. \BOOKMARK [1]{section.76.1}{System Functions and Variables}{chapter.76}
  477. \BOOKMARK [0]{chapter.77}{SPECFN: Package for special functions}{part.2}
  478. \BOOKMARK [1]{section.77.1}{Simplification and Approximation}{chapter.77}
  479. \BOOKMARK [1]{section.77.2}{Constants}{chapter.77}
  480. \BOOKMARK [1]{section.77.3}{Functions}{chapter.77}
  481. \BOOKMARK [0]{chapter.78}{SPECFN2: Special special functions}{part.2}
  482. \BOOKMARK [1]{section.78.1}{REDUCE operator HYPERGEOMETRIC}{chapter.78}
  483. \BOOKMARK [1]{section.78.2}{Enlarging the HYPERGEOMETRIC operator}{chapter.78}
  484. \BOOKMARK [0]{chapter.79}{SUM: A package for series summation}{part.2}
  485. \BOOKMARK [0]{chapter.80}{SUSY2: Super Symmetry}{part.2}
  486. \BOOKMARK [1]{section.80.1}{Operators}{chapter.80}
  487. \BOOKMARK [2]{subsection.80.1.1}{Operators for constructing Objects}{section.80.1}
  488. \BOOKMARK [2]{subsection.80.1.2}{Commands}{section.80.1}
  489. \BOOKMARK [1]{section.80.2}{Options}{chapter.80}
  490. \BOOKMARK [0]{chapter.81}{SYMMETRY: Symmetric matrices}{part.2}
  491. \BOOKMARK [1]{section.81.1}{Operators for linear representations}{chapter.81}
  492. \BOOKMARK [1]{section.81.2}{Display Operators}{chapter.81}
  493. \BOOKMARK [0]{chapter.82}{TAYLOR: Manipulation of Taylor series}{part.2}
  494. \BOOKMARK [0]{chapter.83}{TPS: A truncated power series package}{part.2}
  495. \BOOKMARK [1]{section.83.1}{Basic Truncated Power Series}{chapter.83}
  496. \BOOKMARK [2]{subsection.83.1.1}{PS Operator}{section.83.1}
  497. \BOOKMARK [2]{subsection.83.1.2}{PSORDLIM Operator}{section.83.1}
  498. \BOOKMARK [1]{section.83.2}{Controlling Power Series}{chapter.83}
  499. \BOOKMARK [2]{subsection.83.2.1}{PSTERM Operator}{section.83.2}
  500. \BOOKMARK [2]{subsection.83.2.2}{PSORDER Operator}{section.83.2}
  501. \BOOKMARK [2]{subsection.83.2.3}{PSSETORDER Operator}{section.83.2}
  502. \BOOKMARK [2]{subsection.83.2.4}{PSDEPVAR Operator}{section.83.2}
  503. \BOOKMARK [2]{subsection.83.2.5}{PSEXPANSIONPT operator}{section.83.2}
  504. \BOOKMARK [2]{subsection.83.2.6}{PSFUNCTION Operator}{section.83.2}
  505. \BOOKMARK [2]{subsection.83.2.7}{PSCHANGEVAR Operator}{section.83.2}
  506. \BOOKMARK [2]{subsection.83.2.8}{PSREVERSE Operator}{section.83.2}
  507. \BOOKMARK [2]{subsection.83.2.9}{PSCOMPOSE Operator}{section.83.2}
  508. \BOOKMARK [2]{subsection.83.2.10}{PSSUM Operator}{section.83.2}
  509. \BOOKMARK [2]{subsection.83.2.11}{Arithmetic Operations}{section.83.2}
  510. \BOOKMARK [2]{subsection.83.2.12}{Differentiation}{section.83.2}
  511. \BOOKMARK [1]{section.83.3}{Restrictions and Known Bugs}{chapter.83}
  512. \BOOKMARK [0]{chapter.84}{TRI: TeX REDUCE interface}{part.2}
  513. \BOOKMARK [1]{section.84.1}{Switches for TRI}{chapter.84}
  514. \BOOKMARK [2]{subsection.84.1.1}{Adding Translations}{section.84.1}
  515. \BOOKMARK [1]{section.84.2}{Examples of Use}{chapter.84}
  516. \BOOKMARK [0]{chapter.85}{TRIGSIMP: Trigonometric simplification}{part.2}
  517. \BOOKMARK [1]{section.85.1}{Simplifiying trigonometric expressions}{chapter.85}
  518. \BOOKMARK [1]{section.85.2}{Factorising trigonometric expressions}{chapter.85}
  519. \BOOKMARK [1]{section.85.3}{GCDs of trigonometric expressions}{chapter.85}
  520. \BOOKMARK [0]{chapter.86}{WU: Wu algorithm for poly systems}{part.2}
  521. \BOOKMARK [0]{chapter.87}{XCOLOR: Color factor in gauge theory}{part.2}
  522. \BOOKMARK [0]{chapter.88}{XIDEAL: Gr\366bner for exterior algebra}{part.2}
  523. \BOOKMARK [1]{section.88.1}{Operators}{chapter.88}
  524. \BOOKMARK [1]{section.88.2}{Switches}{chapter.88}
  525. \BOOKMARK [1]{section.88.3}{Examples}{chapter.88}
  526. \BOOKMARK [0]{chapter.89}{ZEILBERG: Indef \046 definite summation}{part.2}
  527. \BOOKMARK [1]{section.89.1}{The GOSPER summation operator}{chapter.89}
  528. \BOOKMARK [1]{section.89.2}{EXTENDED\137GOSPER operator}{chapter.89}
  529. \BOOKMARK [1]{section.89.3}{SUMRECURSION operator}{chapter.89}
  530. \BOOKMARK [1]{section.89.4}{HYPERRECURSION operator}{chapter.89}
  531. \BOOKMARK [1]{section.89.5}{HYPERSUM operator}{chapter.89}
  532. \BOOKMARK [1]{section.89.6}{SUMTOHYPER operator}{chapter.89}
  533. \BOOKMARK [1]{section.89.7}{Simplification Operators}{chapter.89}
  534. \BOOKMARK [0]{chapter.90}{ZTRANS: Z-transform package}{part.2}
  535. \BOOKMARK [-1]{part.3}{Standard Lisp Report}{}
  536. \BOOKMARK [0]{chapter.91}{The Standard Lisp Report}{part.3}
  537. \BOOKMARK [1]{section.91.1}{Introduction}{chapter.91}
  538. \BOOKMARK [1]{section.91.2}{Preliminaries}{chapter.91}
  539. \BOOKMARK [2]{subsection.91.2.1}{Primitive Data Types}{section.91.2}
  540. \BOOKMARK [2]{subsection.91.2.2}{Classes of Primitive Data Types}{section.91.2}
  541. \BOOKMARK [2]{subsection.91.2.3}{Structures}{section.91.2}
  542. \BOOKMARK [2]{subsection.91.2.4}{Function Descriptions}{section.91.2}
  543. \BOOKMARK [2]{subsection.91.2.5}{Function Types}{section.91.2}
  544. \BOOKMARK [2]{subsection.91.2.6}{Error and Warning Messages}{section.91.2}
  545. \BOOKMARK [2]{subsection.91.2.7}{Comments}{section.91.2}
  546. \BOOKMARK [1]{section.91.3}{Functions}{chapter.91}
  547. \BOOKMARK [2]{subsection.91.3.1}{Elementary Predicates}{section.91.3}
  548. \BOOKMARK [2]{subsection.91.3.2}{Functions on Dotted-Pairs}{section.91.3}
  549. \BOOKMARK [2]{subsection.91.3.3}{Identifiers}{section.91.3}
  550. \BOOKMARK [2]{subsection.91.3.4}{Property List Functions}{section.91.3}
  551. \BOOKMARK [2]{subsection.91.3.5}{Function Definition}{section.91.3}
  552. \BOOKMARK [2]{subsection.91.3.6}{Variables and Bindings}{section.91.3}
  553. \BOOKMARK [2]{subsection.91.3.7}{Program Feature Functions}{section.91.3}
  554. \BOOKMARK [2]{subsection.91.3.8}{Error Handling}{section.91.3}
  555. \BOOKMARK [2]{subsection.91.3.9}{Vectors}{section.91.3}
  556. \BOOKMARK [2]{subsection.91.3.10}{Boolean Functions and Conditionals}{section.91.3}
  557. \BOOKMARK [2]{subsection.91.3.11}{Arithmetic Functions}{section.91.3}
  558. \BOOKMARK [2]{subsection.91.3.12}{MAP Composite Functions}{section.91.3}
  559. \BOOKMARK [2]{subsection.91.3.13}{Composite Functions}{section.91.3}
  560. \BOOKMARK [2]{subsection.91.3.14}{The Interpreter}{section.91.3}
  561. \BOOKMARK [2]{subsection.91.3.15}{Input and Output}{section.91.3}
  562. \BOOKMARK [2]{subsection.91.3.16}{LISP Reader}{section.91.3}
  563. \BOOKMARK [1]{section.91.4}{System GLOBAL Variables}{chapter.91}
  564. \BOOKMARK [1]{section.91.5}{The Extended Syntax}{chapter.91}
  565. \BOOKMARK [2]{subsection.91.5.1}{Definition}{section.91.5}
  566. \BOOKMARK [2]{subsection.91.5.2}{The Extended Syntax Rules}{section.91.5}
  567. \BOOKMARK [-1]{part.4}{Appendix}{}
  568. \BOOKMARK [0]{chapter.A}{Reserved Identifiers}{part.4}