Files in directory r34/lib of check-in 3c4d7b69af8ac67e



                     REDUCE USER CONTRIBUTED LIBRARY

                               15 July 1991

The files in this directory comprise a library of contributions from many
REDUCE users.  The relevant members first appeared in the REDUCE Network
Library.  They are collected here as a service to REDUCE users, and no
responsibility can be taken regarding them.  In particular, any questions
about any of the files should be directed to the relevant author(s).

All code in this library has been tested with REDUCE 3.4, but may require
modifications to work in later releases.  Any updates will appear in later
releases of this library, or in the REDUCE Network Library.  For an
information about this library, send the message "help" to
reduce-netlib@rand.org or reduce-netlib@can.nl.

A prototypical Makefile is included for those users whose systems provide
this facility (e.g., UNIX-based systems).  Although this makefile is
specific to PSL- and Common Lisp-based systems, it should be fairly easy
to modify for other versions.  The use of this Makefile should be
self-explanatory.  In particular, "make all" will make fast loading
versions of all relevant files in that directory, and "make <package>"
will make a fast loading version of the package named <package>.

The Network Library is divided into sublibraries which have a particular
theme (such as "chemistry").  The sublibraries are then divided into
members, which are individual files with names of the form <name>.<type>.
This particular organization is not preserved here, since all members are
in a single directory.  The table of contents of the current library
organized in the original hierarchical manner is:


                             CHEMISTRY

reacteqn.doc   - documentation for reaction equation system package
reacteqn.log   - log of test file for reaction equation system package
reacteqn.red   - source for reaction equation system package
reacteqn.tst   - test file for reaction equation system package

                       DE (Differential Equations)

changevar.log  - Log of test file for Changevar - a package for
                    changing variables in differential equations
changevar.red  - Source for Changevar package
changevar.tex  - Tex version of document for Changevar package
changevar.tst  - Test file for Changevar package
desir.doc      - Document for DESIR package
desir.log      - Log of UNIX script for testing DESIR package
desir.red      - Source for DESIR package
desir.tst      - Test file for DESIR package.  This should be used with
                    the UNIX script tstdesir, or modified for the local
                    system
tstdesir       - UNIX script for testing DESIR package
fide.doc       - Document for FIDE package for the automation
                    of the finite difference method for PDE's
fide.log       - log of run of FIDE package test file
fide1.red      - part 1 of source file for FIDE package
fide.red       - part 2 of source file for FIDE package
fide.tst       - Test file for FIDE package
odeex.red      - Examples of solving ODE's using Taylor series

                              GROEBNER

wu.log         - log of test file for Wu's algorithm package
wu.red         - source for Wu's algorithm package
wu.tex         - LaTeX version of document for Wu's algorithm
                   package (there is no plain text version)
wu.tst         - test file for Wu's algorithm package

                              LAPLACE

laplace.red    - source for Laplace and Inverse Laplace Transforms
laplace.doc    - document for Laplace and Inverse Laplace Transforms
laplace.tst    - Test file for Laplace and Inverse Laplace Transforms
laplace.log    - Log of test file for Laplace and Inverse Laplace Transforms

                                MISC

reset.red      - code for resetting REDUCE to initial state

                              PHYSICS

cvit.red       - source for CVIT package for the computation of Dirac
                 gamma matrix expressions by the Cvitanovic-Kennedy
                 algorithm
cvit.doc       - document for CVIT package
cvit.log       - log of running test file for CVIT package
cvit.tst       - test file for CVIT package
physop.red     - source file for PHYSOP package for operator
                     calculus in physics. This REQUIRES the NONCOM2
                     package described below
physop.log     - log of running test file for PHYSOP package
physop.tex     - LaTeX version of document for PHYSOP package
physop.tst     - Test file for PHYSOP package
noncom2.red    - source for noncommutativity package NONCOM2
                               needed by PHYSOP package

                                RULES

pm.red         - Source of the PM pattern matcher
pmrules.red    - Basic rules for PM pattern matcher
                 NOTE that pm.red is loaded by this file
pmrules2.red   - More rules for PM pattern matcher, but not thoroughly
                 tested. NOTE that pm.red and pmrules.red must be loaded
                 before this file
pm.doc         - Document for the PM pattern matcher
pmrules.tst    - Test file for the PM pattern matcher and basic rules
pmrules.log    - Log of test file for PM pattern matcher and basic rules

                               SOLVE

linineq.log    - Log of test file for the linineq package for
                     solving sets of linear inequalities
linineq.red    - Source for linineq package
linineq.tex    - LaTex version of document for linineq package
linineq.tst    - Test file for linineq package

                                TEX

reduce.tex     -  TeX file to be used together with output from
                      the TRI package for producing TeX output
redwidth.tex   -  TeX file for determining item widths
tri.latex      -  LaTeX form of document for TRI package
tri.red        -  REDUCE source code for TRI package
tri.tex        -  TeX form of document for TRI package
tri.tst        -  Test file for TRI package; this produces a file
                     tritst.tex,  which can be compared with
                     tritstx.tex, and then processed by "tex tritest"
tri.log        -  Log from run of TRI test file
tritest.tex    -  TeX file for processing output of tri.tst
tritstx.tex    -  Normal output from running test file for TRI package
rlfi.doc       -  Document for the RLFI package for producing
                     LaTeX output
rlfi.red       -  REDUCE source for RLFI package
rlfi.log       -  Log from run of RLFI test file
rlfi.tst       -  Test file for RLFI package

                                UTIL

assist.doc     -  Document for ASSIST utility package
assist.log     -  Log of test file for ASSIST utility package
assist.red     -  Source for ASSIST utility package
assist.tst     -  Test file for ASSIST utility package
showrules.red  -  Source for a command to show rules for an
                     operator (no other documentation)


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]