r37.toc 50 KB

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