
                                REDUCE 

REDUCE is an interactive program designed for general  algebraic  computations
of interest to physicists, mathematicians and engineers.  Its capabilities in-
clude:

   1.  expansion and ordering of polynomials and rational functions,
   2.  substitutions and pattern matching in a wide variety of forms,
   3.  automatic and user controlled simplification of expressions,
   4.  calculations with symbolic matrices,
   5.  arbitrary precision integer and real arithmetic,
   6.  rational, complex, modular and algebraic number arithmetic,
   7.  facilities for defining new functions and extending program syntax,
   8.  analytic differentiation and integration,
   9.  factorization of polynomials,
  10.  Dirac matrix calculations of interest to high energy physicists.

The most recent release of REDUCE (Version  3.4  with  corrections)  is  dated
January  15,  1988.   This release includes a manual and tutorial aids to help
with the understanding of the  system.   Two  versions  of  this  release  are
currently  distributed  by The RAND Corporation, and include all REDUCE source
files.  These are as follows:

1. Common Lisp Version:  This is designed for use under any version of  Com-
   mon Lisp that conforms to the definition given in the book "Common Lisp -
   The Language" by Guy L. Steele Jr. (Digital Press, 1984).   It  has  been
   installed  under  Austin  Kyoto Common Lisp (AKCL), Franz Extended Common
   Lisp, HP Common Lisp, Hitachi Common Lisp (i.e. VOS3 Lisp), Kyoto  Common
   Lisp  (KCL),  Lucid Common Lisp and Symbolics Common Lisp.  Documentation
   is supplied outlining the steps necessary to build  the  system  under  a
   prototypical  Common  Lisp.   Familiarity with the particular Common Lisp
   being used is desirable.

2. IBM Mainframe Version:  This is designed for use  on  IBM  System/360  or
   derivative  computers  (e.g.,  System 370, 4300 series, Amdahl 400 series
   and so on).  It requires a minimum memory partition of 500K bytes for as-
   sembly  and operation.  This version includes a Standard Lisp interpreter
   and compiler.  Documentation is supplied describing the implementation of
   the  system  under  OS-based  systems (such as MVS and TSO), CMS and MTS.
   However, CMS users are strongly advised to obtain the IBM CP/CMS  version
   described  later  since  the latter version is better integrated into the
   operating system.

The Common Lisp version is distributed in UNIX tar format on a 9 track magnet-
ic  tape  at  1600  bpi.  The IBM version is distributed on a 9 track magnetic
tape in Standard Label EBCDIC format at a recording density of 6250 bpi.  Pro-
cessing of other recording modes requires an additional handling fee.

To obtain either of the  above  versions,  please  complete  the  accompanying
REDUCE Distribution Form and return it to the address shown.  A fee of $500 is
charged for each version, and includes the costs  of  documentation,  magnetic
tape  and  postage.   Your  order should be accompanied by a check for the ap-
propriate amount for each version ordered.  To keep distribution costs as  low
as  possible,  we request no purchase orders.  Domestic orders will be shipped
by first class mail, foreign orders by air mail.

European customers may also obtain a copy of either version from:

              Andreas Strotmann
              Rechenzentrum
              Universitaet zu Koeln
              Robert-Koch-Strasse 10
              D-5000 Koeln 41, WEST GERMANY
              Telephone: (0221) 478-5524
              Electronic Mail: reduce@rrz.uni-koeln.de

Japanese customers may also obtain a copy of either version from:

              SOFTEC Corp
              3687-4 Obayashi, Shobumachi
              Saitama, 346-01, JAPAN
              Telephone: (0480) 85-6565
              Telex: 2977460 SOFTECJ
              Facsimile: (0480) 85-3662.

In addition, a number of other organizations are marketing versions of  REDUCE
under  a  third  party  licensing  agreement.  If you are interested in any of
these, please direct your inquiries to the appropriate contact.  A description
of  the  currently available versions and the name of the distributor follows.
The full addresses of these distributors are given later in this form.

1. Acorn Archimedes Version:  This version, designed for use  on  the  Acorn
   Archimedes  A440 computer with 4 Mbytes of memory and a hard disk, is im-
   plemented in Cambridge Lisp.

           Distributor:  Codemist Limited.

2. Apollo Version.  This is designed for use on Apollo MC680x0-based  works-
   tations  under  Berkeley  UNIX,  Apollo Release SR10.1 and higher.  It is
   based on Portable Standard Lisp (PSL).  The tape includes the  PSL  files
   needed to run REDUCE.

           Distributor:  Department of Computer Science, University of Utah.

3. AS3000 Version:  This is designed for use on a Toshiba AS3000 workstation
   under  OS/AS V1.0 or higher and also on the Sun Microsystems Sun 3 works-
   tation under Sun OS R3.0 or higher. It is  based  on  Kyoto  Common  Lisp
   (KCL).

           Distributor:  System Control Corporation.

4. Atari ST Version:  This version, designed for use on the Atari 1040ST and
   Mega machines with at least one megabyte of memory, and preferably a hard
   disk, is an implementation of REDUCE in Cambridge Lisp.

           Distributor:  Codemist Limited.

5. CDC 180 Version:  This implementation is designed for Control Data  Cyber
   180  computers  running  the  NOS/VE  operating  system versions 1.3.1 or
   1.4.1.  It includes a complete Portable Standard Lisp (PSL)  distribution
   upon which it is based.

           Distributor:  Rechenzentrum, University of Cologne.

6. Convex Version: This version was developed on a Convex C200 under Convex-
   OS,  Release V8.1, and is based on Portable Standard Lisp (PSL).  It will
   also run on a Convex C100, but needs local recompilation of parts of  the
   PSL  kernel  in  this case.  The relevant tape includes all necessary PSL
   files.

         Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

7. Cray Versions:  These implementations of REDUCE are designed for the Cray
   1,  Cray  X-MP, Cray Y-MP and Cray 2 computers.  Implementations for both
   COS and UNICOS are supported.  They are based on a  version  of  Portable
   Standard  Lisp (PSL) with vectorized big integer arithmetic. The relevant
   tape includes the PSL files needed to run REDUCE.

         Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

8. Data General Eclipse Version.  This version, designed for the  Data  Gen-
   eral  Eclipse  MV series machines running the AOS/VS operating system, is
   based on Kyoto Common Lisp (KCL).

           Distributor:  R.I.M.S., Kyoto University.

9. Franz Lisp Version.  This implementation, designed to run with  the  ver-
   sion of Franz Lisp distributed with the UNIX 4.2 BSD distribution for the
   DEC VAX series, was developed at the Tektronix Computer Research  Labora-
   tory  in  Beaverton, Oregon.  This is an experimental version only, not a
   supported Tektronix product.  The distribution tape includes the standard
   REDUCE  sources  and documentation, plus the Franz Lisp equivalent source
   code.

           Distributor:  Computer Research Laboratory, Tektronix, Inc.

10. HP 9000/300 HP-UX Version.  This version is designed for HP 9000 Series
    300  and  400 workstations under HP-UX Version 7.0 and higher.   It  is
    based on Portable Standard Lisp (PSL), and the necessary PSL files  are
    included in the distribution.

        Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

11. IBM VM/CMS Version. This is intended for use on VM/CMS systems.  It  is
    based  on  an  implementation  of  Portable Standard Lisp (PSL) 3.2 for
    VM/CMS systems, and is fully integrated with the CMS operating  system.
    The distribution tape includes the PSL files necessary to run REDUCE.

            Distributor:  I.M.S.S.S., Stanford University.

12. IBM RISC System/6000 Version.  This is designed for the IBM  RISC  Sys-
    tem/6000  family  of workstations running AIX.  It is based on Portable
    Standard Lisp (PSL), and the necessary PSL files are  included  in  the
    distribution.

        Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

13. ICL Version:  This is a version based on Cambridge Lisp for use on  ICL
    mainframes with the VME operating system.

            Distributor:  Codemist Limited.

14. Intel 80386 MS-DOS Version.  This is  designed  for  Intel  80386-based
    machines  running  MS-DOS,  with  or without the 80387 coprocessor, and
    uses the extended memory capabilities  of  this  architecture.   It  is
    based  on Portable Standard Lisp (PSL), and the necessary PSL files are
    included in the distribution.  At  least  4  megabytes  of  memory  are
    recommended.

       Distributors:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin,
                      CALCODE Systems.

15. Intel 80386 UNIX Version.   This  is  designed  for  Intel  80386-based
    machines running UNIX, with or without the 80387 coprocessor (including
    the Sun 386i).  It is based on Portable Standard Lisp  (PSL),  and  the
    necessary PSL files are included in the distribution.

            Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

16. MathScribe.  This is a visually oriented scientific computing  environ-
    ment  which  uses  REDUCE  as  the algebra engine.  The system has been
    developed at the Tektronix Computer Research Laboratory  in  Beaverton,
    Oregon.   It  includes symbolic and numerical computations, interactive
    plotting, and mouse-aided two-dimensional expression editing.  The sys-
    tem  runs under UNIX/X Windows environment on Sun 3 and Tek 4300 works-
    tations.

            Distributor:  Computer Research Laboratory, Tektronix, Inc.

17. MC88000 Version.  This is designed for machines using the  MC88000  mi-
    croprocessor,  and  was  developed on a Data General AViiON  400, DG/UX
    Release 4.20.  It should also work  on  other  MC88000-based   worksta-
    tions.   It is based on Portable Standard Lisp (PSL), and the necessary
    PSL files are included on the system tape.

        Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

18. MIPS Version.  This is designed for machines using the  MIPS  micropro-
    cessor,  such  as  the  Control Data 4000 series, DEC RISC series 2000,
    3000 and 5000, Silicon Graphics IRIS machines, and the  Stardent  R2000
    system.  It is based on Portable Standard Lisp (PSL), and the necessary
    PSL files are included on the system tape.

        Distributor:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin.

19. Orion Version.  This version, for the High Level Hardware 32  bit  user
    microprogrammable  superminicomputer running UNIX 4.2 BSD and Cambridge
    Lisp, has been developed at the University  of  Bath  in  collaboration
    with High Level Hardware.

            Distributor:  High Level Hardware Ltd.

20. Siemens SINIX Version. This version is designed for use on Siemens Com-
    puters  (including  X20,  MX2  and  MX300) running SINIX Version 5.2 or
    later.

            Distributor:  SINIX-Referenzzentrum, TU Braunschweig.

21. Sord Version.  This version, which runs on Sord's M68MX computer  under
    CP/M-68K, is an implementation of REDUCE in Cambridge Lisp.

            Distributor:  Sord Computer Corporation.

22. StaffLisp/68000 Version.  This version, which runs on several  Motorola
    68000  based  machines,  uses  the  StaffLisp  interpreter and compiler
    developed by B U G, Inc.  B U G, Inc. can also provide help  to  anyone
    interested in implementing REDUCE on other systems.

            Distributor:  B U G, Inc.

23. StaffLisp/86 Version.  This version, which runs under MS-DOS on  IBM-PC
    compatible  machines  and other Intel 8086-based machines with at least
    640KB of main memory and a 640KB floppy disk, uses the StaffLisp/86 in-
    terpreter and compiler developed by B U G, Inc.

            Distributor:  B U G, Inc.

24. Sun 3 Version.  This is designed  for  Sun  Microsystems  Inc.   Sun  3
    workstations.   It  is based on Portable Standard Lisp (PSL).  The tape
    includes the PSL files needed to run REDUCE.

       Distributors:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin,
                      B U G, Inc.

25. Sun 4 Version.  This is designed  for  Sun  Microsystems  Inc.   Sun  4
    workstations.   It  is based on Portable Standard Lisp (PSL).  The tape
    includes the PSL files needed to run REDUCE.

       Distributors:  Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin,
                      B U G, Inc.

26. Tuneup Lisp Version.  This is based on Tuneup  Lisp  (an  extension  of
    Slisp) which can run on any MC680x0-based machine, including the Apollo
    300-4000  series,  Hitachi  H2050/32-H2050G  and  E7700/7500/7300  UNIX
    machines, NEC EWS 4800 series UNIX machines, Sony NEWS series and Sun 3
    series.  It can also run on any Sparc-based UNIX machine including  the
    Sun 4 series.

            Distributor:  Forbs System Co. Ltd.

27. UO-Lisp Version.  This complete REDUCE implementation runs on all  IBM-
    PC compatible microcomputers, with MS-DOS 2.0 or higher.  It requires a
    minimum of 512K bytes of RAM and dual floppy disks.   A  hard  disk  is
    recommended.  The system includes an Emacs-like screen editor.

            Distributors:  CALCODE Systems,
                           Codemist Limited.

28. VAX/UNIX Version:  This is designed for use on a Digital Equipment Cor-
    poration  VAX series computer (including the MicroVAX) running UNIX 4.3
    BSD or ULTRIX. It uses a virtual memory partition of  4  megabytes  for
    assembly  and  operation.  It is based on Portable Standard Lisp (PSL).
    The tape includes the PSL files needed to run REDUCE.

            Distributor:  Department of Computer Science, University of Utah.

29. VAX/VMS Version:  This is designed for use on a Digital Equipment  Cor-
    poration  VAX  series computer (including the MicroVAX) running VAX/VMS
    Version 4.1 or later, and uses a minimum virtual  memory  partition  of
    3.2  megabytes  for  assembly  and  operation.  It is based on Portable
    Standard Lisp (PSL).  The tape includes the PSL  files  needed  to  run
    REDUCE.

            Distributor:  Department of Computer Science, University of Utah.

The full addresses of these distributors are as follows:

B U G, Inc.:

           B U G, Inc.
           31-33, Shimonopporo
           Atsubetsu-cho
           Shiroishi-ku
           Sapporo 004, JAPAN
           Telephone: (011) 807-6666
           Facsimile: (011) 507-6645.

CALCODE Systems:

           CALCODE Systems
           1057 Amoroso Place
           Venice CA 90291
           Telephone: (213) 399-7612
           Facsimile: (213) 399-7612 then #3 after answer
           Electronic Mail: calcode%calcode.uucp@rand.org

Codemist Limited:

           Codemist Limited
           "Alta", Horsecombe Vale
           Combe Down
           Bath BA2 5QR, UNITED KINGDOM
           Telephone: (0225) 837430
           Facsimile: (0223) 410880.

Computer Research Laboratory, Tektronix, Inc.:

           Dr. Guy Cherry
           Symbolic Computation Program
           Computer Research Laboratory
           Tektronix, Inc.
           P.O. Box 500 - MS 50/662
           Beaverton OR 97077.

Department of Computer Science, University of Utah:

           Loretta Cruse, PASS Secretary
           Department of Computer Science
           University of Utah
           Salt Lake City UT 84112
           Telephone: (801) 581-5017
           Electronic Mail: cruse@cs.utah.edu
           Facsimile: (801) 581-5843.

Forbs System Co. Ltd.:

           Forbs System Co. Ltd
           Kannai Building
           207 Yamasitachou
           Naka-ku
           Yokohama 231, JAPAN
           Telephone: (045) 212-5020
           Facsimile: (045) 212-5023.

High Level Hardware Ltd.:

           Sales Office, High Level Hardware Ltd
           P.O. Box 170
           Windmill Road
           Oxford OX3 7BN, UNITED KINGDOM
           Telephone: (0865) 750494.

I.M.S.S.S., Stanford University:

           Tryg A. Ager
           Institute for Mathematical Studies in the Social Sciences
           Ventura Hall, Stanford University
           Stanford CA 94305
           Telephone: (415) 723-4117
           Electronic Mail: tryg@suwatson.stanford.edu

Konrad-Zuse-Zentrum fuer Informationstechnik, Berlin:
           Herbert Melenk
           Konrad-Zuse-Zentrum fuer Informationstechnik Berlin
           Heilbronner Str. 10
           D 1000 Berlin 31, WEST GERMANY
           Telephone: (030) 89604 195
           Electronic Mail: melenk@sc.zib-berlin.dbp.de
           Facsimile: (030) 89604 125.

Rechenzentrum, University of Cologne:
           Andreas Strotmann
           Rechenzentrum
           Universitaet zu Koeln
           Robert-Koch-Strasse 10
           D-5000 Koeln 41, WEST GERMANY
           Telephone: (0221) 478-5524
           Electronic Mail: reduce@rrz.uni-koeln.de

R.I.M.S., Kyoto University:
           Dr. Sin Hitotumatu
           Research Institute for Mathematical Sciences
           Kyoto University
           Kyoto, 606, JAPAN
           Telephone: (075) 7512111 Ext. 7226
           Telex: 05422020 RIMS J.

SINIX-Referenzzentrum, TU Braunschweig:
           Technische Universitaet Braunschweig
           Institut fuer Betriebssysteme und Rechnerverbund
           SINIX-Referenzzentrum fuer technisch-wissenschaftliche
                 Anwendersoftware
           Bueltenweg 74/75
           D-3300 Braunschweig, WEST GERMANY
           Telephone: (0531) 391-3245
           Facsimile: (0531) 391-4577.

Sord Computer Corporation:
           Koji Fukuhara
           Sord Computer Corporation
           5-20-7, Masago, Chiba-shi
           Chiba, 260, JAPAN
           Telephone: (0472) 79-2611.

System Control Corporation:
           Kazuo Sarashino
           System Control Corporation
           Hasegawa Building 2-5-2
           Higashigotanda
           Shinagawa-ku
           Tokyo 141, JAPAN.

A mailing list is maintained for persons interested in receiving periodic  in-
formation about REDUCE.  Recipients of the software from RAND are automatical-
ly added to this list.  If you decide not to order REDUCE from  RAND  at  this
time,  but  would  still  like  to receive such mailings, please check the ap-
propriate box on the distribution form.  An electronic bulletin board is  also
available to REDUCE users, together with a digital library from which material
can be extracted by electronic mail.  Persons who include a network address on
the distribution form are sent further information about these services.

     ---------------------------- cut here ----------------------------

                         REDUCE 3.4 DISTRIBUTION FORM


Name _________________________________________   Date ________________________

Address        _______________________________________________________________

               _______________________________________________________________

               _______________________________________________________________

               _______________________________________________________________

Telephone ____________________________________  Extension ____________________

Network Address ______________________________________________________________
     (ARPANET, BITNET, CSNET, EARN or UUCP, if available)

Tape Shipping Address (if different from above)

               _______________________________________________________________

               _______________________________________________________________

               _______________________________________________________________

               _______________________________________________________________

Versions Required

         ___  Common Lisp Version  ($500)        ___  IBM Version   ($500)


Californian sites should add 6.75% sales tax.


___  Check here if you only wish to be added to the REDUCE mailing list.


This form, together with a check for the appropriate amount for  each  version
requested, made payable to The RAND Corporation, should be sent to:

        The RAND Corporation
        Attn: Dr. Anthony C. Hearn
        1700 Main Street
        P.O. Box 2138
        Santa Monica, CA 90407-2138
        Telephone: (213) 393-0411,  Ext. 6615
        TWX: 910-343-6878
        Facsimile: (213) 393-4818.   Verify Number: (213) 393-0411, Ext. 6527
        Electronic Mail: reduce@rand.org                              15/1/91
     --------------------- last line --- cut here ---------------------

