home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / maths / b116_1 / jacal / README < prev    next >
Text File  |  1993-10-31  |  3KB  |  93 lines
  1. This directory contains the distribution of jacal1a.  Jacal is a
  2. symbolic mathematics system which runs under Scheme language
  3. implementations.  Scm, a P1178 and R4RS compliant Scheme
  4. implementation is available from the same sources as jacal.
  5.  
  6. The author can be reached at jaffer@ai.mit.edu or
  7. Aubrey Jaffer, 84 Pleasant St., Wakefield MA 01880.
  8.  
  9.                    MANIFEST
  10.  
  11.   `README' is this file.  It contains a MANIFEST, INSTALLATION
  12.     INSTRUCTIONS, TROUBLE SHOOTING GUIDE, and RELEASE NOTES.
  13.   `COPYING' details the LACK OF WARRANTY for jacal and the conditions
  14.     for distributing jacal.
  15.   `HELP' is online introduction to using Jacal.
  16.   `ChangeLog' documents changes to the jacal.
  17.  
  18.   `demo' demonstrates batch file use.  "batch(demo);" to use in jacal.
  19.   `rw.math' is a batch file of Robertson-Walker model of General
  20.     Relativity.
  21.   `test.math' is a batch file which tests Jacal.
  22.   `manual' has Tex files which tell how to use jacal.
  23.     `cmds.tex' is documentation on commands.
  24.     `relnotes.tex' is a list of some things not consistent between
  25.         jacal and manual.tex.
  26.     `macros.tex' has tex macros for printing manual.tex.
  27.     `manual.tex' running "tex manual.tex" will format both
  28.         commands and release notes.
  29.   `DOC' has files telling about how jacal works.
  30.     `algdenom' gives an algorithm for clearing radicals and other
  31.         algebraic field extensions from denominators.
  32.     `grammar' explains how to create new grammars.
  33.     `history' gives a little history of jacal.
  34.     `lambda' explains mid-level data formats. From a Dr. Dobbs
  35.         article.
  36.     `ratint.tex' article explaining jacal's eventual integration
  37.         algorithm.
  38.  
  39.   `math.scm' is the file you load into scheme in order to run jacal.
  40.   `scl.scm' loads code from SLIB.
  41.   `toploads.scm' contains comments describing the rest of the files.
  42.   `modeinit.scm' has initializations for modes in Jacal.
  43.   `view.scm' is a program for viewing TeX expressions.
  44.  
  45.               INSTALLATION INSTRUCTIONS
  46.  
  47.   Scl.scm uses files from SLIB, the scheme library.  SLIB is available
  48.   from the same sources as jacal.  See README in SLIB for how to
  49.   install SLIB.
  50.  
  51.                 RUNNING JACAL
  52.  
  53. To use from Scheme type:
  54.   scheme
  55.   (load "math")
  56.  
  57.                COMPILING JACAL
  58.  
  59. There are some tests which are run at the end of loading "math".  If
  60. these do not give any warnings then you can either try using the
  61. system "type (math)" or compiling it.
  62.  
  63. It is very worthwhile to compile SLIB files, "types.scm" and "poly.scm".
  64.  
  65.             TROUBLE SHOOTING GUIDE
  66.  
  67. Not yet written.
  68.  
  69.                 RELEASE NOTES
  70.  
  71. With the standard input grammar, the precedence of "-" as a prefix
  72. behaves strangely.  a^-b*c becomes a^(-b*c) while a^b*c is (a^b)*c.
  73.  
  74. Using @code{divide} to divide a polynomial by an integer does not work.
  75.  
  76. One cannot at the present time use @code{factor} to factor general
  77. polynomials.  It does some but not all.@refill
  78.  
  79. The command @code{example} executes the example it gives.  This can
  80. lead to unpredictable results if the variables and constants in the
  81. example have already been given values by the user.@refill
  82.  
  83. The function @code{minor} should be modified to accept lists for
  84. @var{row} and @var{col}.@refill
  85.  
  86. Resultant might be modified to compute the resultant of a system of
  87. polynomials with respect to a list of variables.
  88.  
  89.  
  90. @subsection Failures of Error Recovery
  91.  
  92. Calling poly discriminant with only 1 argument.
  93.