README 6.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147
  1. REDUCE USER CONTRIBUTED LIBRARY
  2. 15 July 1991
  3. The files in this directory comprise a library of contributions from many
  4. REDUCE users. The relevant members first appeared in the REDUCE Network
  5. Library. They are collected here as a service to REDUCE users, and no
  6. responsibility can be taken regarding them. In particular, any questions
  7. about any of the files should be directed to the relevant author(s).
  8. All code in this library has been tested with REDUCE 3.4, but may require
  9. modifications to work in later releases. Any updates will appear in later
  10. releases of this library, or in the REDUCE Network Library. For an
  11. information about this library, send the message "help" to
  12. reduce-netlib@rand.org or reduce-netlib@can.nl.
  13. A prototypical Makefile is included for those users whose systems provide
  14. this facility (e.g., UNIX-based systems). Although this makefile is
  15. specific to PSL- and Common Lisp-based systems, it should be fairly easy
  16. to modify for other versions. The use of this Makefile should be
  17. self-explanatory. In particular, "make all" will make fast loading
  18. versions of all relevant files in that directory, and "make <package>"
  19. will make a fast loading version of the package named <package>.
  20. The Network Library is divided into sublibraries which have a particular
  21. theme (such as "chemistry"). The sublibraries are then divided into
  22. members, which are individual files with names of the form <name>.<type>.
  23. This particular organization is not preserved here, since all members are
  24. in a single directory. The table of contents of the current library
  25. organized in the original hierarchical manner is:
  26. CHEMISTRY
  27. reacteqn.doc - documentation for reaction equation system package
  28. reacteqn.log - log of test file for reaction equation system package
  29. reacteqn.red - source for reaction equation system package
  30. reacteqn.tst - test file for reaction equation system package
  31. DE (Differential Equations)
  32. changevar.log - Log of test file for Changevar - a package for
  33. changing variables in differential equations
  34. changevar.red - Source for Changevar package
  35. changevar.tex - Tex version of document for Changevar package
  36. changevar.tst - Test file for Changevar package
  37. desir.doc - Document for DESIR package
  38. desir.log - Log of UNIX script for testing DESIR package
  39. desir.red - Source for DESIR package
  40. desir.tst - Test file for DESIR package. This should be used with
  41. the UNIX script tstdesir, or modified for the local
  42. system
  43. tstdesir - UNIX script for testing DESIR package
  44. fide.doc - Document for FIDE package for the automation
  45. of the finite difference method for PDE's
  46. fide.log - log of run of FIDE package test file
  47. fide1.red - part 1 of source file for FIDE package
  48. fide.red - part 2 of source file for FIDE package
  49. fide.tst - Test file for FIDE package
  50. odeex.red - Examples of solving ODE's using Taylor series
  51. GROEBNER
  52. wu.log - log of test file for Wu's algorithm package
  53. wu.red - source for Wu's algorithm package
  54. wu.tex - LaTeX version of document for Wu's algorithm
  55. package (there is no plain text version)
  56. wu.tst - test file for Wu's algorithm package
  57. LAPLACE
  58. laplace.red - source for Laplace and Inverse Laplace Transforms
  59. laplace.doc - document for Laplace and Inverse Laplace Transforms
  60. laplace.tst - Test file for Laplace and Inverse Laplace Transforms
  61. laplace.log - Log of test file for Laplace and Inverse Laplace Transforms
  62. MISC
  63. reset.red - code for resetting REDUCE to initial state
  64. PHYSICS
  65. cvit.red - source for CVIT package for the computation of Dirac
  66. gamma matrix expressions by the Cvitanovic-Kennedy
  67. algorithm
  68. cvit.doc - document for CVIT package
  69. cvit.log - log of running test file for CVIT package
  70. cvit.tst - test file for CVIT package
  71. physop.red - source file for PHYSOP package for operator
  72. calculus in physics. This REQUIRES the NONCOM2
  73. package described below
  74. physop.log - log of running test file for PHYSOP package
  75. physop.tex - LaTeX version of document for PHYSOP package
  76. physop.tst - Test file for PHYSOP package
  77. noncom2.red - source for noncommutativity package NONCOM2
  78. needed by PHYSOP package
  79. RULES
  80. pm.red - Source of the PM pattern matcher
  81. pmrules.red - Basic rules for PM pattern matcher
  82. NOTE that pm.red is loaded by this file
  83. pmrules2.red - More rules for PM pattern matcher, but not thoroughly
  84. tested. NOTE that pm.red and pmrules.red must be loaded
  85. before this file
  86. pm.doc - Document for the PM pattern matcher
  87. pmrules.tst - Test file for the PM pattern matcher and basic rules
  88. pmrules.log - Log of test file for PM pattern matcher and basic rules
  89. SOLVE
  90. linineq.log - Log of test file for the linineq package for
  91. solving sets of linear inequalities
  92. linineq.red - Source for linineq package
  93. linineq.tex - LaTex version of document for linineq package
  94. linineq.tst - Test file for linineq package
  95. TEX
  96. reduce.tex - TeX file to be used together with output from
  97. the TRI package for producing TeX output
  98. redwidth.tex - TeX file for determining item widths
  99. tri.latex - LaTeX form of document for TRI package
  100. tri.red - REDUCE source code for TRI package
  101. tri.tex - TeX form of document for TRI package
  102. tri.tst - Test file for TRI package; this produces a file
  103. tritst.tex, which can be compared with
  104. tritstx.tex, and then processed by "tex tritest"
  105. tri.log - Log from run of TRI test file
  106. tritest.tex - TeX file for processing output of tri.tst
  107. tritstx.tex - Normal output from running test file for TRI package
  108. rlfi.doc - Document for the RLFI package for producing
  109. LaTeX output
  110. rlfi.red - REDUCE source for RLFI package
  111. rlfi.log - Log from run of RLFI test file
  112. rlfi.tst - Test file for RLFI package
  113. UTIL
  114. assist.doc - Document for ASSIST utility package
  115. assist.log - Log of test file for ASSIST utility package
  116. assist.red - Source for ASSIST utility package
  117. assist.tst - Test file for ASSIST utility package
  118. showrules.red - Source for a command to show rules for an
  119. operator (no other documentation)