Fri Dec 24 00:41:32 1993    (jaffer at jacal)

	From: Jerry D. Hedden <HEDDEN@esdsdf.dnet.ge.com>
	* slib.texi: tensor operators documented.
	* rw.math: General Relativity batch file updated.
	* tensor.scm: updated.

Fri Nov 26 17:17:06 1993    (jaffer at jacal)

	From: Hal Abelson <hal@martigny.ai.mit.edu>
	* unparse.scm (hglue): did not handle missing optional arguments
	correctly.

Tue Oct 26 00:47:37 1993    (jaffer at jacal)

	From: eigenstr@falstaff.cs.rose-hulman.edu
	* jacal.texi: TeXinfo documentation created.  manual directory
	removed.

Tue Oct 19 00:53:45 1993    (jaffer at jacal)

	* jacal1a2 released

	* types.scm (make-shadow): radical functions can finally be
	applied!

Mon Oct 18 22:39:09 1993    (jaffer at jacal)

	* types.scm (make-shadow): rewritten.  Now allows substitution in
	f(@2).
	* types.scm (var:shadow): now cached.

Thu Oct 14 00:33:51 1993    (jaffer at jacal)

	* elim.scm (bump-shadow): added.  Now called by capply.

Sun Oct  3 14:46:36 1993    (jaffer at jacal)

	* norm.scm (expr:normalize): fixed ({@|@^2=3}/3)^2; being 3/9
	bug;
	* types.scm (var:depends): now includes all var and func
	depenencies, rather than just terminal dependencies.  Eliminate of
	funcs now works.
	* types.scm (defext): greatly simplified thanks to new
	var:depends.

Tue Sep 28 13:48:04 1993    (jaffer at jacal)

	* types.scm (make-var sexp->new-var): make-var ==> sexp->new-var.
	make-var now just an alias for vector.

Tue Sep  7 01:12:43 1993    (jaffer at jacal)

	* elim.scm (ext:elim): no longer loops on eliminate([f(y)=0,f=a],f);

	* norm.scm (chain-rule): now chains radicals of funcs.

	* builtin.scm (over): defined same as /.

Mon Aug 30 01:14:32 1993    (jaffer at jacal)

	From: mjt@juliet.anu.edu.au (Michael Thomas)
	* test.math

Fri Aug 27 10:24:03 1993    (jaffer at jacal)

	* types.scm (deferop): function is now a licit (rather than sexp).
	var:elim now will eliminate from function position.

Mon Aug 23 23:49:24 1993    (jaffer at jacal)

	* sexp.scm (batch1): simple recall of formula does not evaluate
	and define new symbol.

Fri Aug 13 23:34:28 1993    (jaffer at jacal)

	* sexp.scm (math->sexp deferedmath->sexp bunch->sexp horner):
	horner now a passed parameter.

Mon Aug  9 00:06:58 1993    (jaffer at jacal)

	* builtin.scm norm.scm (PolyDiff expl:diff): added and diff no
	longer tries to use poly:diff.

Tue Jul 27 00:28:18 1993    (jaffer at jacal)

	* types.scm (var:differential): applications now differentiate to
	partials (partial chain rule).

Sat Jul 24 00:26:32 1993    (jaffer at jacal)

	* types.scm (make-var): infinite loop on f(@1) fixed.

Tue Jul 20 00:33:15 1993    (jaffer at jacal)

	* unparse.scm (display-chunk): trailing newlines no longer printed
	from inprint.  Newlines added to comments in demo to compensate.

	* English.scm demo: Underscore (_) no longer allowed identifier
	syntax.

Fri Jul  2 01:20:41 1993    (jaffer at jacal)

	* builtin.scm info.scm (discriminant): changed from
	poly_discriminant.

Sun Jun 13 23:22:18 1993  Aubrey Jaffer  (jaffer at camelot)

	* unparse.scm (display-box): now paginates within expressions on
	blank lines.

Fri Jun 11 00:10:11 1993  Aubrey Jaffer  (jaffer at camelot)

	* sexp.scm (rapply): now can deferop.
	* English.scm grammar.scm (math:translations math:translate):
	added.

	From: Jerry D. Hedden <HEDDEN@esdsdf.dnet.ge.com>
	* rw.math: General Relativity batch file added.
	* tensor.scm (indexshift indexswap contract tmult): added.  Some
	documentation in README release notes.

Tue Jun  8 00:07:28 1993  Aubrey Jaffer  (jaffer at basel)

	* sexp.scm (batch): now uses dynamic-wind to bind page-height
	during batch.

	* modinit.scm: added capability for international language
	support.

Mon Jun  7 01:55:00 1993  Aubrey Jaffer  (jaffer at camelot)

	* unparse.scm (display-box): now paginates output.

Sun Jun  6 20:39:09 1993  Aubrey Jaffer  (jaffer at camelot)

	* grammar.scm (paginate-file help): created.
	* HELP: created.
	* info.scm: created.  All descriptions and examples moved there.

Sat Jun  5 00:07:02 1993  Aubrey Jaffer  (jaffer at camelot)

	* elim.scm (var:funcs ext:elim): variables now eliminate from
	functional arguments.

	* elim.scm types.scm ext.scm: radicals now have func-arglist.

Fri Jun  4 23:20:35 1993  Aubrey Jaffer  (jaffer at camelot)

	* grammar.scm(math-write): added.  writes to Null grammar no
	longer do math->sexp.

Wed Jun  2 00:18:56 1993  Aubrey Jaffer  (jaffer at caddr)

	* ext.scm (alg:vars): simplified using var:depends.

Tue Jun  1 00:15:49 1993  Aubrey Jaffer  (jaffer at camelot)

	* stdgrm.scm (^): priority changed so that (^ (^ b c) a) is
	parenthesized.

	* grammar.scm (math:print): now uses [] for lists.

	* debug.scm: added tracing defmacros.

Mon May 31 01:30:28 1993  Aubrey Jaffer  (jaffer at camelot)

	* sexp.scm (seval): can now apply non-curried radical functions.

Sun May 30 23:44:19 1993  Aubrey Jaffer  (jaffer at camelot)

	* elim.scm (ext:elim): now eliminates variables through radicals.

Sat May 29 22:04:08 1993  Aubrey Jaffer  (jaffer at montreux)

	* demo: test of partial added.

	* types.scm (var:shadow ext:shadow): now uses last byte
	(differential degree) to distinguish shadow priority.

Wed May 26 00:28:07 1993  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm types.scm grammar.scm (list-of-grammars
	list-of-flags list-of-infodefs list-of-vars): added.

Thu May 20 18:32:47 1993  Aubrey Jaffer  (jaffer at montreux)

	* parse.scm stdgrm.scm: TeX input mode added.

Wed May 19 15:05:19 1993  Aubrey Jaffer  (jaffer at montreux)

	* builtin.scm parse.scm scl.scm sexp.scm stdgrm.scm toploads.scm
	types.scm: Now all use alists rather than hash-tables.

	* parse.scm stdgrm.scm: many buglets fixed.  Code works with
	either alists or hash-tables now.

Thu Apr 29 23:50:02 1993  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm (prime? CartProd Elementwise): added.

Wed Mar 17 12:12:21 1993  Aubrey Jaffer  (jaffer at montreux)

	* ext.scm (make-radical-ext): 0^(1/2) fixed.

	* poly.scm types.scm (signcan num denom): equations now print as
	positive.

Sun Mar 14 00:40:49 1993  Aubrey Jaffer  (jaffer at camelot)

	* poly.scm (poly:elim2): like poly:resultant but removes gcd of
	leading coefficients.  This removes some of extraneous factors in
	elimination.

Sat Mar  6 16:51:52 1993  Aubrey Jaffer  (jaffer at camelot)

	* elim.scm: created with elimination and canonical lambda.

Tue Mar  2 00:27:08 1993  Aubrey Jaffer  (jaffer at camelot)

	* types.scm (deferop): now sets up depends.

Sun Feb 28 23:47:03 1993  Aubrey Jaffer  (jaffer at camelot)

	* all: "_" separator replaced with ":".

	* builtin.scm (describe): now works for most objects.

Fri Jan 29 23:32:15 1993  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm (linkradicals verify): added.

Tue Jan 26 22:58:53 1993  Aubrey Jaffer  (jaffer at camelot)

	* vect.scm (ncexpt): fixed.

	* builtin.scm (augcoefmatrix coefmatrix triangularize rank
	charpoly cofactor): added

Wed Jan 20 00:21:32 1993  Aubrey Jaffer  (jaffer at montreux)

	* ext.scm (alg_clear-denoms): no longer clears nilpotents (0^(1/2))

	* builtin.scm (%inftsl): removed.  Can be done by 0^(1/2).

	* stdgrm.scm: whitespace characters now defined from looping over
	char-whitespace?.

Wed Dec 23 14:32:37 1992  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm vect.scm (dotproduct): split into ncprod and
	dotproduct.

	* builtin.scm (gcd): now takes arbitrary number of arguments.

	* builtin.scm norm.scm (diff): now works for all cases.

	* sexp.scm (seva): changed function position evaluation so that
	det:determinant; makes det alias determinant.

	* unparse.scm grammar.scm: output-port-width is always supplied an
	argument (for MITScheme).

	* builtin.scm (trace debug): flags added.

	* poly.scm (poly_resultant): now returns 0 for degenerate case.

Tue Dec 22 00:34:44 1992  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm: fixed signs on %i and %sqrt1.  All constant field
	extensions now have low priority.

	* sexp.scm (cmprs_^): fixed (a^2)^c;

	* sexp.scm (fcinverse): now definitely fixed.

	* norm.scm (vsubst): now will only substitute vars for vars.

Sun Dec 20 01:53:36 1992  Aubrey Jaffer  (jaffer at camelot)

	* sexp.scm (fcinverse): fixed sign bug with functional inversion.
	Busted if other variables involved now.

	* norm.scm (expr_normalize): fixed sign bug with algebraic
	extensions.

Sat Dec 19 22:28:29 1992  Aubrey Jaffer  (jaffer at camelot)

	* sexp.scm (coes->horner-sexp) Horner's rule mode added.

	* sexp.scm (clambda?): now does not accept non-matrix bunches.

	* unparse.scm: 2d line breaking implemented.

	* Too many changes to record.

Sun Dec  6 01:26:24 1992  Aubrey Jaffer  (jaffer at camelot)

	* builtin.scm (diagmatrix scalarmatrix): old diagmatrix renamed to
	scalarmatrix.  Diagmatrix now takes a vector argument.

Sat Dec  5 12:45:12 1992  Aubrey Jaffer  (jaffer at camelot)

	* types.scm: diff-depth now encoded in var_ord.

	* all internal variables now generated using sect:inc-string.

	* types.scm: variable ordering now done entirely with string<?
	(with override byte before actual string and number of diffs after).

	* types.scm: finite-differentials eliminated.

	* builtin.scm: moved all initial var creation and prefixed @ names
	with _.

	* unparse.scm (hglue): fixed order of evaluation bug in DO.

Wed Jun  3 13:23:52 1992  Aubrey Jaffer  (jaffer at Ivan)

	*all: files renamed to *.scm form.

	* parse.scm unparse.scm sexp.scm types.scm:  grammars are now
	records.  2d output formatting added.

Tue May 28 00:06:05 1991  Aubrey Jaffer  (jaffer at Ivan)

	* builtin.scm (example): fixed.

	* ext.scm builtin.scm (mod, alg_mod): alg_mod created.  mod now
	will clear denominators (like radicals do).

	* math.scm builtin.scm (*transcript-output*, transcript): created.

Sat May 25 23:06:03 1991  Aubrey Jaffer  (jaffer at Ivan)

	* math.scm (sload, *jacal-version*, *jacal-directory*): defined.

Sun May 19 22:08:43 1991  Aubrey Jaffer  (jaffer at Ivan)

	* math.scm (*current-input*, *current-output*) dynamic variables
	to allow input and output indirection.

	* sexp.scm builtin.scm (batch, load) batch created, load fixed.

Wed Feb  6 00:23:17 1991  Aubrey Jaffer  (jaffer at foxkid)

	* poly.scm (univ_prem_list) eliminated.  This fixed radicals bug.
	{*}_vect -> {*} functions renamed since only vect version now.

	* sexp.scm (warning) now puts out a trailing newline and returns
	last value.

Wed Dec  5 16:28:00 1990  Aubrey Jaffer  (jaffer at foxkid)

	* std.grm (^^): binding power upped to 210 so that d^^2(f(x))
	does not apply 2 to f(x).

	* poly (): - now only takes 2 arguments (more are not required
	in Scheme^4).

	* BUG: ((x+a)^(1/2))^3 ==> x+a.  Proably due to previous change.

Mon Oct 29 13:48:00 1990  Aubrey Jaffer  (jaffer at foxkid)

	* poly (poly_^): no longer uses builtin scheme expt (not essential
	procedure).

	* types (num, denom): no longer handle numbers other than integers.

	* sexp (seval): now checks for rationals and converts them, signals
	error for inexact inputs.

	* parse (def_bp ...) null? => not [confusion between () and #f]

	* scl.scm (sort): created. char-code-limit added.

Mon Aug 27 01:33:07 1990  Aubrey Jaffer  (jaffer at zohar)

	* poly (poly_resultant): now returns DEMOTED gcd if non-constant.
	this fixes rotbug!

Sun Aug 26 23:12:34 1990  Aubrey Jaffer  (jaffer at zohar)

	* poly (univ_/?): fixed for dividing by number.  Did not fix rotbug.

	* poly (univ_/ const_promote): created
	...-0-term ==> ...-const

Sun Jul  1 23:06:30 1990  Aubrey Jaffer  (jaffer at zohar)

	* norm (total-differential chain-exts poly_diffn):
	fixed differentials.

Sat May 12 21:48:01 1990  Aubrey Jaffer  (jaffer at zohar)

	* types (impl_number? ==> rat_number?)

	* types (proc):
	defined so that proc will funcallize (funcalls of proc removed)

	* types (rat_unit-denom?):
	created

	* scl.scm (union):
	defined

	* parse (lex):
	letrec removed.

Thu May 10 00:25:17 1990  Aubrey Jaffer  (jaffer at lammert)

	* types (make-rad-ext):
	fixed variable ordering bug.

Tue May  8 21:42:25 1990  Aubrey Jaffer  (jaffer at lammert)

	* parse (lex):
	removed letrec.

Fri May  4 00:03:17 1990  Aubrey Jaffer  (jaffer at lammert)

	* types (make-ext-var):
	did defext after vsubst. changed vsubst to cons of cdr.  Now
	defines nested radicals properly.  Nested radicals clear out of
	denominators correctly.

Thu May  3 00:53:22 1990  Aubrey Jaffer  (jaffer at lammert)

	* all:
	removed all letrec use except lex in parse.l and determinant in vect.l

Wed May  2 00:28:01 1990  Aubrey Jaffer  (jaffer at lammert)

	* ext (ext_conjugate):
	full algebraic version works.  ext_simplify of nested radicals is
	broken (infinite loop).

	* poly (univ_pdiv_vect):
	finally made a version of pseudo division with quotient which works.

Fri Apr 27 00:48:03 1990  Aubrey Jaffer  (jaffer at lammert)

	* exts:
	eliminated letrec.

	* types:
	added new field	(var_dependencies) to var.

Thu Apr 26 01:29:54 1990  Aubrey Jaffer  (jaffer at lammert)

	* ext (ext_find-var-if -> ext_for-each-var):
	rewritten for efficiency and to purge letrec.

Wed Apr 25 21:24:12 1990  Aubrey Jaffer  (jaffer at lammert)

	* combined ext and radicals -> ext
	* combined bunch and matrix -> vect
	* combined impl and factor -> norm
	* combined top and seval -> sexp
	* compilum.lisp -> compilem.lisp

Mon Apr 23 00:43:33 1990  Aubrey Jaffer  (jaffer at lammert)

	* poly:
	eliminated (letrec ...)

	* poly.l (poly_do-vars):
	created;

	* types.l (bunch_map):
	created;

	* seval.l (capply, diffarg):
	simplified with the use of the above functions.

Thu Apr 19 00:31:36 1990  Aubrey Jaffer  (jaffer at lammert)

	* types.scm (eqn?):
	I no longer depend on char? being disjoint from other types.  This
	is in order to be compatible with Scheme^3.

	* builtin.l :
	fixed and added many functions.

Wed Apr 18 17:22:31 1990  Aubrey Jaffer  (jaffer at lammert)

	* seval.l (fcexpt):
	now works.  changed calls to capply to app*.
	fcinverse works but negates its argument (why?).

Mon Apr 16 01:21:49 1990  Aubrey Jaffer  (jaffer at lammert)

	* ext (ext_clear-denoms):
	works for square roots.  subtle problem with determinant screws up
	higher order.
	* syntax -> macsyma.syn
	* meta -> builtins :
	documentation strings entered for most functions.
	* poly (sylvester & bruno) :
	resultant matrix functions created.

Wed Apr 11 01:37:54 1990  Aubrey Jaffer  (jaffer at lammert)

	* impl (ncexpt):
	created.  positive exponent works for matrices, vectors, and
	functions.  Problems with inverses.
	* radicals :
	radicands now come out positive.

Thu Apr  5 01:02:04 1990  Aubrey Jaffer  (jaffer at lammert)

	* radicals, matrix, types (make-rat):
	created in types.  This eliminates almost all constructions:
	(list @ num -denom)

	* radicals (all):
	schemized.  improved ipow.  radicands keep coming out negative.

Wed Apr  4 15:48:20 1990  Aubrey Jaffer  (jaffer at lammert)

	* syntax (leadingplus => leading+?)
	fixed and moved to seval

	* syntax (inprint)
	now understands (define var exp)

Fri Mar 30 01:24:04 1990  Aubrey Jaffer  (jaffer at lammert)

	* cgol, seval (math):
	input and output grammar independently settable.  grammars now
	contain both input and output functions.  line terminators work
	correctly.

Thu Mar 29 00:31:20 1990  Aubrey Jaffer  (jaffer at gerber)

	* cgol, syntax, seval:
	made input syntax switchable.  Input delimiters made postfix (this
	was a change to cgol_parse).

Wed Mar 28 16:16:25 1990  Aubrey Jaffer  (jaffer at lammert)

	* cgol (all):
	all syntax tables now in one structure: cgol_grammar.

	* seval, syntax, cgol (seval, bunch->sexp, inprint, #\[):
	sexps now use vectors instead of '(bunch ...) to represent vectors.
	delimiters for end of expression (#\; #\$) now are read after the
	expression is read and dispatched in seval.  This should move to cgol.

Tue Mar 27 00:19:21 1990  Aubrey Jaffer  (jaffer at gerber)

	* poly, types, seval:
	leading coefficient of impls is now negative.  this means less
	poly_negates for type conversion.

Sat Mar 24 00:18:42 1990  Aubrey Jaffer  (jaffer at gerber)

	* all (all):
	added missing else clauses to conds and ifs.  Now runs in scheme.

Fri Mar 23 00:46:43 1990  Aubrey Jaffer  (jaffer at lammert)

	* syntax.l (;):
	changed to character token.

	* seval.l (seval):
	fixed some problems with suchthat and clambda variables.

	* seval.l (math):
	spruced up messages to reflect syntax_infix.	

	* seval.l (poly->sexp):
	simplified

Tue Mar 20 00:08:31 1990  Aubrey Jaffer  (jaffer at lammert)

	* poly.lisp (degree&lc):
	eliminated in favor of much simpler degree.  This sidesteps Common
	Lisp compiler problem.  It also means lc is not contructed unless
	it is needed.  Should speed things up.

	* scl.scm:
	read-file removed (was interfering with reader).  Many common lisp
	utility functions defined.

	* syntax.l:
	"|" eliminated from symbol names.  Scheme association lists now
	used.

	* factor.l (poly_factor-split):
	do* eliminated.

	* matrix.l (mtrx_diagmatrix, rank, triangularize):
	do* eliminated

	* poly.l (poly_coeff):
	rewritten to not use do*.  map-no-end-0s written; gives much more
	efficient implementation of poly_coeff.  Everything using
	univ_monomial should be rewritten using map-no-end-0s.

	* scl.lisp (define):
	defun removed; Less error messages on loading.  Non-scheme
	functions removed.  List? fixed to accept '().  pair?, list? and
	procedure? now check for closures-might-be-conses.

Fri Mar 16 00:03:42 1990  Aubrey Jaffer  (jaffer at gerber)

	* output:
	split between seval and syntax

Wed Mar 14 01:05:57 1990  Aubrey Jaffer  (jaffer at lammert)

	* all:
	code now loads.  debugged up to problems with symbols
	vs. vars in top level math.

Mon Mar 12 01:23:19 1990  Aubrey Jaffer  (jaffer at lammert)

	* types:
	finished entering code.  Started debugging.

Fri Mar  9 00:05:56 1990  Aubrey Jaffer  (jaffer at lammert)

	* types:
	massive changes to make vars be vectors (not finished).

	* seval (capply):
	now decimates in body bunches (rather than args).

	* impl:
	differentials bunchized

Mon Mar  5 00:24:20 1990  Aubrey Jaffer  (jaffer at gerber)

	* seval (seval):
	now lexically binds clambda, rlambda, and suchthat symbols.
	* all:
	fixed misc things.

Sun Mar  4 00:37:14 1990  Aubrey Jaffer  (jaffer at gerber)

	* types:
	types created.  started new data type regime. lots is broken.

Wed Feb 28 13:30:19 1990  Aubrey Jaffer  (jaffer at gerber)

    	* meta:
	made arithmetic operations nary and changed names

Tue Feb 27 01:30:19 1990  Aubrey Jaffer  (jaffer at gerber)

	* matrix (determinant):
	completed

Mon Feb 26 00:11:34 1990  Aubrey Jaffer  (jaffer at gerber)

	* bunch, matrix:
	@n order changed; matrix functions work again

	* syntax, output
	lambda syntax fixed: \[a,b],b-a;

Sun Feb 25 00:15:23 1990  Aubrey Jaffer  (jaffer at lammert)

	* seval (seval): schemized and simplified.
	* meta, impl, matrix:
	functions split between internal and user callable versions.
	Not finished.

Tue Feb 13 00:25:04 1990  Aubrey Jaffer  (jaffer at lammert)

	* cgol, syntax:
	now foo((a,x)) --> (foo (begin a x))

Mon Feb 12 01:23:56 1990  Aubrey Jaffer  (jaffer at lammert)

	* cgol, syntax:
	parsing rewritten.  some minor bugs and incompatabilities
	introduced.  Nary parsing introduced; not supported in seval.

Thu Feb  8 23:33:23 1990  Aubrey Jaffer  (jaffer at lammert)

	* poly (univ_prs):
	schemized

Tue Feb  6 00:52:56 1990  Aubrey Jaffer  (jaffer at gerber)

	* poly:
	eliminated most do* and blocks

Mon Feb  5 01:08:43 1990  Aubrey Jaffer  (jaffer at gerber)

	* impl:
	cleaned up derivatives some, not finished.

Sat Feb  3 00:32:43 1990  Aubrey Jaffer  (jaffer at gerber)

	* poly:
	reordered functions and put in dummies to allow compilation

	* poly (univ_prem):
	schemified

	* poly (poly_norm => univ_norm):
	rewritten in scheme.

Tue Jan 30 01:15:54 1990  Aubrey Jaffer  (jaffer at lammert)

	* bunch.scl (bunch_elim):
	rewrote for scheme

Sun Jan 28 01:08:51 1990  Aubrey Jaffer  (jaffer at gerber)

	* scl.lisp:
	changed to not use macros to define builtins so that compiled
	version works. 

	* scl.lisp (define):
	now uses defun whenever possible, so that functions have their
	name with them. Still cannot compile poly.lisp.
	* poly.lisp (univ_prs):
	had step sub-clause missing in do*.  should speed thing up a bit.

Tue Jan 23 13:32:07 1990  Aubrey Jaffer  (jaffer at lammert)

	* scl.lisp:
	expanded to full scheme and debugged.
	* *.lisp -> *.scl:
	and many conversions done. all "#'" removed.  most calls changed to
	scheme names.
	* rearranged directories

Thu Jan 18 01:28:51 1990  Aubrey Jaffer  (jaffer at gerber)

	* scl.lisp (lambda and define defined).
	* *.lisp:
	#'(lambda --> (lambda

Tue Jan 16 01:33:59 1990  Aubrey Jaffer  (jaffer at crispy-critters)

	* scm.lisp:
	the Scheme compatability definitions created.  Some char and
	string functions changed in all files. 

Mon Jan 15 01:06:58 1990  Aubrey Jaffer  (jaffer at crispy-critters)

	* poly.lisp removed lambda-unshadow (unused).  moved symbol
	creation from nmatrix.

	* *.lisp all variables now reside in package "USER".

Sat Jan 13 18:26:02 1990  Aubrey Jaffer  (jaffer at lammert)

	* seval.lisp, impl.lisp:
	added finite differentials. eliminated express and unexpress.

	* seval.lisp (capply):
	fixed bug: vector of functions of vector of
	arguments.  fixed clambda for differentials.

	* math.lisp: moved all test calls here

Fri Jan 12 01:20:27 1990  Aubrey Jaffer  (jaffer at crispy-critters)

	* poly.lisp output.lisp degree => degree&lc changed to return a
	list rather than multiple values (in prep for Scheme)

Thu Jan  4 01:10:57 1990  Aubrey Jaffer  (jaffer at gerber)

	* impl.lisp (vsubst): now works on bunches
	* poly.lisp moved differential and lambda var functions here
	* seval.lisp capply and related functions rewritten to implement
	differential operators.

Tue Dec 19 23:44:43 1989  Aubrey Jaffer  (jaffer at gerber)

	* syntax.lisp (a*b)'' now works
	* seval.lisp simplified capply and added function for differential
	clambda (not finished).

Sun Dec 17 23:08:06 1989  Aubrey Jaffer  (jaffer at gerber)

	* poly.lisp zero? and one? written and used

Sat Dec 16 01:07:49 1989  Aubrey Jaffer  (jaffer at gerber)

	* poly.lisp split large poly_* into poly_* and univ_*
	* factor.lisp created from diff and factor stuff in poly.lisp

Fri Dec 15 00:32:37 1989  Aubrey Jaffer  (jaffer at gerber)

	* poly.lisp moved differential functions from impl.lisp
	* seval.lisp cleaned up capply to prepare for differential operators.

Thu Nov 27 11:31:00 1989  Aubrey Jaffer  (jaffer at rosalyn.ai.mit.edu)

	* seval.lisp applying vectors of clambdas works again

Thu Nov 16 11:31:00 1989  Aubrey Jaffer  (jaffer at rosalyn.ai.mit.edu)

	* *.lisp lowercased and reformated all files

Fri Nov 10 01:02:34 1989  Aubrey Jaffer  (jaffer at gerber)

	* doc/layers created
	* ext.lisp created from impl.lisp
	* impl.lisp, seval.lisp many name changes inpreperation
	for scheme and better layering

Thu Nov  9 01:18:18 1989  Aubrey Jaffer  (jaffer at gerber)

	* radicals.lisp added rad_depth

Sun Nov  5 23:58:10 1989  Aubrey Jaffer  (jaffer at rice-chex)

	* caf.lisp => impl.lisp (all caf -> impl)
	* output.lisp (all 2 -> ->)
	layering improved

Wed Nov  1 14:32:45 1989  Aubrey Jaffer  (jaffer at lammert)

	* poly.lisp (square-free -> poly_square-free)
	* bunch.lisp meta.lisp (eliminate is now in meta.lisp)

Wed Oct 25 01:09:22 1989  Aubrey Jaffer  (jaffer at lammert)

	* bunch.lisp, output.lisp (bunch?)
	() is now a bunch.

Tue Oct 24 22:34:08 1989  Aubrey Jaffer  (jaffer at lammert)

	* poly.lisp (resultant->poly_resultant)
	and functions which use it
	now check for getting back number (instead of equation).

