2026-08-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Installation): Added instructions for local install.

	* sexp.scm (saw-newline?): #\nl --> #\newline (for MITScheme).

2026-08-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (upgnu): Fighting with gnupload script.

	* jacal.texi, jacal.nsi, Makefile (demo, view.scm): Removed files
	from distribution.

	* jacal.texi (Release Notes, Conventions, Tensors): Updated.

	* init.math, test.math, jacal.texi (lambert_w): Renamed from %w;
	%W is retained.

	* README: Include file manifest.

	* English.scm (one-arg): Warn of extra expressions.

	* sexp.scm (seval): Cleaned up numeric type checking.

2026-08-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Tensors, Canonical): Added sections.

	* types.scm (licit:depends): Signal error if passed primitive
	transcendental.

	* rw.math: set width 160; to keep each command on one line.

	* builtin.scm ($): Changed var:pri 9000 --> 65535.
	(%i): Changed var:pri to 2.
	(^): Changed var:pri to 5.

	* init.math (asin, acsc): Changed acot() to atan() of reciprocal.

	* norm.scm (mapply): expr:canonicalize --> normalize argument to
	tcall.  This fixed sin(asin(x)).

	* test.math: Added tests for sec() and csc().

2026-08-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (%sqrt1, %i): var:pri = 1.  Still problem with %expt
	versus %i; sin(asin(x)).

	* types.scm (poly:pri): Added to calculate var:pri from nesting.
	(var:topo-sort): Removed; not needed with new var:pri ordering.
	(most-nested-arg): Replaces nested-arg.
	(poly:most-nested-var): Replaces poly:one-var.

2026-08-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Defining Differential Equations): Added memoized
	recurrence definitions and factorial example.

	* test.math (Transcendental reductions): added tests.

	* builtin.scm (listofvars)
	* types.scm (licit:depends)
	* sexp.scm (batch1)
	* poly.scm (poly:vars, licit:vars)
	* norm.scm (total-chain-exts)
	* hensel.scm (make-random-ideal)
	* ext.scm (alg:vars)
	* elim.scm (capply, var:max-lambda-position)
	(var:min-lambda-position): Change math:equal? procedures to eqv?
	analogs when dealing with vars or integers.

	* types.scm (sexp->new-var): Nesting calls increases priority.
	(var:topo-sort): Abstracted from licit:depends.

	* builtin.scm (differential): Just calls total-differential.
	(priority): "show priority" now prints the priorities of all vars.

	* ext.scm (extensions, chainables): Greatly simplified using
	licit:depends.

	* debug.scm (math:debug): set true.

	* grammar.scm (math:advise): Added; prints on when math:debug is on.

	* types.scm (licit:depends): Changed to topological-sort.
	(nested-arg): Changed to math:advise 'multiple-nested-vars.

	* elim.scm (eliminate): In cases of singular-reduction,
	math:advise instead of math:error; and return novalue.
	(ext:elim): (reduce math:union (map extensions poleqns)) -->
	(extensions poleqns).

	* sexp.scm (math:greet): help() --> help;.

2026-08-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (licit:depends): Scans var:arglist for depends.
	(register-instance!): does this twice!
	(var:set-depends! var (remove var (licit:depends impl)))

	* ext.scm (var:application?): Renamed from "application?"
	(extends): Try simplification.

	* sexp.scm (seval): Disabled expected-abstract-transcendental-var-
	clause; not sure what it was for.

	* types.scm (math:adjoin): Simplified.
	(var:reset!, var:definverse!): Changed (var:set-func! var #f) to
	(var:set-func! var (var->expl var))

	* builtin.scm (func): Simplified.

2026-08-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Algebraic Operators): Recurrences will eventually be
	automatically generated.

	* norm.scm (total-differential): Disabled equation as argument.

	* types.scm (var:reset!, var:definverse!): Corrected setting of
	arglist and depends.

	* ext.scm (chainables): Defined in terms of extensions().

	* builtin.scm (extrule): extrule --> definition.

	* jacal.texi (Algebraic Commands): extrule --> definition.

	* types.scm (poleqn:differential?, var:nodiffs): Changed to use
	var:differential?.

	* English.scm (tps:tex): Added %W and %w.

2026-08-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Miscellaneous, Running Jacal, Algebraic Commands):
	improved text.

	* types.scm (with-shadows): removed.

	* builtin.scm (depvars cartprod): removed.
	(extrule): Now returns an equation in all 3 cases.

	* English.scm (tps:2d, tps:c, tps:standard, tps:tex)
	* std.scm (tps:std): Removed qed and help.

	* builtin.scm (factorial): Now only accepts integer argument.

	* English.scm (tps:2d, tps:c, tps:standard, tps:tex)
	* std.scm (tps:std)
	* unparse.scm (hformat, unparse): Moved rules for symbol lookup
	into a list at start of template; Moved template: rules into list
	in cadr of template; the remaining (function) rules are in cddr of
	template.  This mitigates the speed impact of doing symbol lookup.

	* English.scm (tps:2d, tps:standard, tps:tex): Removed % as command.
	(tps:tex): Added atan(), tan(), exp(), and log() functions.
	Added translation for %i.

	* builtin.scm (transcript-files): Added so transcript-off isn't
	called with no active transcript.

	* sexp.scm (batch1): When no *ingrammar* is set, echo with 'standard.

	* init.math (*PQ): Moved after function definitions.

	* jacal.texi (Flags): Removed @ from TeX example.

	* norm.scm (import-var): Don't choke if not defined yet.

2026-08-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.nsi: missing files added.

	* jacal.texi (Running Jacal): Expanded.
	(Miscellaneous): Reran examples.

	* jacal.nsi: Removed "DOC\history".

	* builtin.scm (flag-set, flag-get): Fixed for "priority" flag.

	* Makefile (jacal.doc): Removed 'ul' command.

2026-08-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* toploads.scm (*jacal-version*): Bumped from 1c9 to 2a1.

2026-08-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Transcendental Functions): Chapter added.

	* ext.scm (extensions, extends): Greatly simplified; less crunching.

	* elim.scm (var:elim): eapply --> mapply.

	* types.scm (var:simple-shade): Removed.
	(make-shadow): Fixed application of nested extension functions.

	* builtin.scm (shade): Added.

2026-08-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm, elim.scm: Removed depvars, eapply, shapply.

	* ext.scm, poly.scm, types.scm: depvars removed.

	* types.scm (licit:shadowed?): Added; returns first
	simple-shadowed-lambdavar? found.

	* sexp.scm (seval-norm-top): Don't canonicalize and warn if find
	escaped-shadow-variable.

2026-07-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (var:elim): mapply->eapply.
	(eapply): Don't choke on @1->@1 substitutions.

2026-06-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:shadow): Also call var:set-shade!

	* init.math (atanh): Removed second definition; cleanup.

2026-06-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (tcall): Fixed for tan(atan(1/x));

	* init.math (atan(-1)): Added.

2026-05-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (log, tan): Added identities for constants.

	* norm.scm (tcall): Don't choke when IC=0 and arg=1/x.  Updated
	comments.  Code cleanup.

	* types.scm (var:definverse!): arglist is $1.

2026-05-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (shapply): shd --> (licit->impl shd).

	* types.scm (var:reset!): (var:set-arglist! var (list $1)).

	* init.math (atanh, coth, sech, csch, cosh, sinh, acoth): Added.

2026-05-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (shapply): Convert xpr to impl.
	(eapply): Added; works, but doesn't do alpha conversion.

	* types.scm (var:dump): print var:shade.

	* ext.scm (extends): algrule or dffrule.

	* builtin.scm (eapply): Added.

2026-05-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* grammar.scm (do-more): q --> (math:exit #f)

	* norm.scm (mapply): expr:numerads --> expr:canonicalize.

	* elim.scm (var:elim): Stricter elimination check; deferop not used.

	* builtin.scm (extrule): Don't turn into equation.

2026-05-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (ext:elim, var:elim): Code cleanup.
	(make-shade-poleqn): Added error checks.
	(make-subst-poleqn, make-shift-poleqn): Added for shapply.
	(shapply): Added eventual replacement for capply.

	* builtin.scm (arity, shapply): Added.

	* types.scm (var:reset!): Removed unnecessary fields.

2026-04-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (make-shade-poleqn, licit:shade): Added.
	(var:elim): normalize --> canonicalize in doarg.
	(capply): cons --> math:adjoin.

	* builtin.scm (shade): Added command.

	* types.scm (var:shade, var:set-shade!, var:simple-shade): Added
	new field used only for simple-lambda-vars.

2026-04-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (sexp->new-var): Fixed var:arity of transcendental instances.

2026-04-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (canorm): Corrected bunch recursion.
	(fcinverse): normalize --> canonicalize.

2026-04-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (extensions): Renamed from chains.

	* elim.scm (ext:elim): Use extensions instead of chainables.

	* ext.scm (extensions): Added topological-sort of extensions.

	* types.scm (var:constant?): Disallow differentials.

2026-04-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (math): math : "Currently in math mode.";

	* norm.scm (mapply): Don't choke with two arguments.

	* elim.scm (var:elim): Code cleanup.

	* builtin.scm (terms): Ignore arguments.
	(chains): Added.

	* ext.scm (chains): Added.

2026-04-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch1): (set! diag:indent 0).

	* builtin.scm (depvars): Added.
	(eliminate): "map canonicalize" removed.
	(shadows): Renamed from shadow.

	* elim.scm (var:elim): canonicalize --> normalize.
	(ext:elim): Wrapped by elim-diag.  Reversed argument order.

	* ext.scm (alg:clear-leading-exts, alg:simplify): Simplified using
	phases-diag().

	* types.scm (make-rad-var): extrule --> var:algrule.
	(licit:depvars, licit:depends): Reversed sort order.
	(trifle?): Added novalue?.

	* norm.scm (canorm): Simplified using phases-diag().

	* math.scm (phases-diag): Added function.

2026-04-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* anti-diff.scm: Normalization functions names changed.

	* elim.scm (capply): Now uses trace-diag.
	(var:elim, eliminate): Now use elim-diag; changed argument order.

	* grammar.scm (math:write1): Like math:write without newline.

	* norm.scm (rapply, mapply, tcall): Now use trace-diag.

	* poly.scm (poly:elim2): Reversed argument order; now uses elim-diag.

	* math.scm (diag:indent, elim-diag, trace-diag): Added to
	abstract, unify, and improve diagnostic output.

2026-04-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (canon): Added expr:canonicalize command.

	* norm.scm (expr:numerads, expr:canorm expr:canonicalize)
	(canonicalize, canorm): renamed.

	* builtin.scm (depends): Now calls licit:depends.

2026-04-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (normalize-top): Disabled top.
	(expr:normalize-top): Used only in builtin ^, num, and denom.

2026-04-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (%W): Inverse function definition has correct derivatives.

	* elim.scm (poly:elim, var:elim, eliminate)
	* poly.scm (poly:elim2): generate diagnostics when math:elims.

	* norm.scm (tcall): Traces when math:trace is true.

	* modeinit.scm, toploads.scm (math:elims)
	* builtin.scm (elims): Added flag.

2026-04-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (defext): var:set-shadows! not needed.

	* sexp.scm (seval): "satisfying" case rewritten using
	sexp:alpha-convert.

	* builtin.scm: (var:set-shadows! (car _^) (list #f #f)) not needed.

2026-04-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (mapply): Fixed @1(x).

	* init.math (%expt): Renamed from expo.

	* ext.scm (%expt, register-%expt!): Renamed from expol.

	* sexp.scm (batch-quietly): Replaced with-input-from-file with
	call-with-input-file.

	* norm.scm (register-inits!, tcall): Added tanh.

	* modeinit.scm: Better detection of whether English.scm was loaded.

	* init.math (tanhPQ): added recurrence for tanh(n*atanh(x)).

	* grammar.scm (raw): Added Jacal's sexpr syntax (close to Scheme).

	* builtin.scm (make-grammar-bltn): All grammar commands now use this.

	* English.scm (prec:commentfix): Echo comments unless
	*echo-grammar* is null.

2026-04-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math: Trigonometry works except for cos().

	* norm.scm (expr:normalize-top): Rewritten using expr:normalize1.
	(expr:normalize1, impl:reciprocal): Added.

	* poly.scm (rat:<): Added.
	(poly:total-degree, impl:total-degree): rewritten using rat: numbers.

	* types.scm (make-rat, rat:num): Swapped signs.

	* builtin.scm (eliminate): (normalize args) --> (map normalize-top args).
	(%i, %sqrt1): func and arglist defined.
	(degree): simplified.

2026-04-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (rapply, mapply): (normalize args) --> (map normalize-top args).

	* sexp.scm (define-label, seval): seval-norm calls changed to
	seval-norm-top.

	* norm.scm (normalize1): Unified math:phases reporting.
	(expr:normalize-top): Like normalize less alg:clear-leading-exts.

	* poly.scm (impl:total-degree): max, not +

	* builtin.scm ($?): Eliminated warnings.
	(num, denom): normalize --> normalize-top.

	* elim.scm (var:elim): Use normalize-top.

	* ext.scm (alg:simplify): Added math:phases.

	* math.scm: Moved loading of "init.math" after establishing handlers.

	* sqfree.scm (poly:factor<): Adding math:equal? test ensures ordering.

2026-04-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* sqfree.scm (sqfr-free-var): Removed.
	(poly:factor<, poly:sort-factors): Moved from "factors.scm".

	* sexp.scm (batch1): Show output from definitions.

	* init.math (sin, cos, asin, acsc): Tweaked definitions.

	* factors.scm (negate-factors-exps, poly:factor<)
	(poly:sort-factors): Moved to "sqfree.scm".

	* ext.scm (make-radical-exts): Use sqare-free instead of full factoring.

	* debug.scm (poly:factor<): Wrapper moved to "sqfree.scm".

	* Makefile (dfiles): Removed "history" and "ratint.tex".

	* builtin.scm (squarefreefactors, squarefreefactorslist): Added.

	* test.math: Moved factors test earlier in order to load ffsff()
	and berl() commands.

2026-04-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* sqfree.scm (rat:sqfr-factors-list, poly:sqfr-factors-list)
	(poly:sqfr-factors): Added.
	(poly:sqfr-split, univ:square-free-factorization, poly:sqfr-all):
	Commouted unused functions.

	* builtin.scm (squarefreefactors): Added.

	* poly.scm (poly/scalar): Added.

2026-04-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* sqfree.scm (poly:square-and-num-cont-free): Unduplicated code.

2026-04-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* factors.scm (prepend-integer-factor): handle -1 = numcont case.

	* rw.math: Changed to recent rref notation.  Removed trig
	eliminations.

	* init.math (tanh, atanh): work as inverses.
	cos(z) := sin(z)/tan(z); works! sidesteps orphan shadow var issue.

	* elim.scm (var:deep-arity): removed.
	(licit:deep-arity): Simplified.

	* jacal.texi (Authors and Bibliography): Expanded.

2026-04-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Project History): Added (from DOC/history).

2026-04-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch1): eliminated rref: rref output.

	* grammar.scm (scheme): Added newline call.

	* builtin.scm, grammar.scm, jacal.texi: Grammar scheme -> scheme2d.

	* grammar.scm (scheme, scheme2d): Added readers.

	* builtin.scm (make-grammar-bltn): Improved initial column.
	  (scheme2d): Added.

	* English.scm (tex): Improved reader.

2026-03-31  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (scheme): Translate over <-> / and expt <-> ^.

	* sexp.scm (define-label, seval): %time --> time(); %factor -->
	factor(); %horner --> horner().

	* builtin.scm (make-grammar-bltn): Added reader.

	* grammar.scm (scheme, null, schemepretty, read-sexp): Added port
	argument to read-sexp.

	* sexp.scm (batch1): Added port argument to read-sexp.

	* view.scm (view): Added port argument to read-sexp.

	* types.scm (var->string): Strings are symbols with leading and
	trailing double-quotes.
	(strimbol?): Added for string-encoded symbols.

2026-03-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (sexp?): Fixed for vectors.

	* sexp.scm (define-label): Added %horner command; works with scheme(), std(), etc.

	* English.scm (%horner): Added.

	* grammar.scm (schemepretty): Use /, -, and expt.

2026-03-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (normalize1): Added top? argument.
	(normalize-top, expr:normalize-top): Added.
	(mapply): ((procedure? fxpr) (apply fxpr (normalize args))) Added.

	* poly.scm (impl:total-degree): Added to gage impl complexity.

	* sexp.scm (define-label): many seval-norm --> seval-norm-top.

	* init.math (sec, asec, acos, asin, acsc): Replaced expo(,1/2)
	calls with sqrt().

2026-03-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (degree): Now accepts only polynomials.

	* jacal.texi: Converted examples to current session look.

	* types.scm (impl?): Corrected "and" order.

	* test.math: Prefixed all assigned variables with "Tst."

2026-03-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* factors.scm (rat:factor->sexp, rat:factors): fixed x/15 factoring.
	(nuf-def, rat:factor->sexp, rat:factors): Moved expand-integer-factors calls.

	* builtin.scm (_^): expr? --> expl?.

	* ext.scm (alg:clear-leading-exts): Added "yielding:".

	* builtin.scm (boolify): Changed booleans to #t and #f.

	* unparse.scm (unparse): Changed booleans to #t and #f.

	* norm.scm (normalize): Changed booleans to #t and #f.

	* sexp.scm (vet-sym): Restored to "@" (from ":@").
	(batch1, define-label): Changed booleans to #t and #f.

2026-03-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm ($): Restored to "@" (from ":@").

	* sexp.scm (vet-sym): Don't choke on @ without suffix.

2026-03-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (licit->polxpr): Added.

	* sexp.scm (seval(suchthat)): Force expression to polxpr.

2026-03-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* t.math: Don't set debug on;

2026-03-24  Aubrey Jaffer  <jaffer@jaffer-Vivobook-ASUSLaptop-X1703ZA-K1703ZA>

	* toploads.scm (*jacal-version*): Bumped from 1c8 to 1c9.

2024-11-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (eliminate, bunch:norm): ((null? x) x).

	* norm.scm (chain-rule): poly:vars --> poly:variables.

	* ext.scm (poly:exts, poly:aexts): eq? --> math:equal?

	* types.scm (nested-arg): math:error ---> math:warn.

2024-05-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* ext.scm (chainables): don't find constant vars.

	* init.math (erf): simplified 2/sqrt(%pi) to sqrt(atan(1)).

	* types.scm (poly:variables): added to find non-constant vars;

2024-05-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (math:adjoin, math:union): added math:equal? procedures.
	(nested-arg): checks for and warns about non-matching nested-args.

2024-04-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (poly:vars, licit:vars, poly:find-var-exts): var:< ---> var:>

2024-04-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (extrule): include var:recrule in command.

	* types.scm (licit:depends): removed dependence on (pair? var:def).
	(potent-extrule): removed.
	(var:reset!, var:definverse!, defext, register-instance!)
	(extize): removed var:set-def! calls.

	* norm.scm (mapply, tcall): var:def --> var:dffrule.

	* ext.scm (poly:exts, poly:aexts, alg:vars, application?)
	(alg:clear-leading-exts): extrule --> var:algrule.

2024-04-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:reset!, nested-arg): var:diffeq? --> var:dffrule.

	* sexp.scm (seval): var:def ---> var:dffrule.

	* elim.scm (var:elim): var:diffeq? ---> var:dffrule.
	(licit:deep-arity): var:def ---> var:dffrule and var:algrule.

	* builtin.scm (differential): simplified using var:dffrule.

	* ext.scm (rref): var:def ---> var:recrule.

	* norm.scm (rapply): streamlined code.

	* sexp.scm (define-label): don't set var:def for recurrences.

	* types.scm (var:recurrence?): simplified using var:recrule.

	* types.scm, norm.scm, sexp.scm (var:algrule, var:dffrule, var:recrule):
	Added to facilitate removing var:def overloading.

	* types.scm (var:definverse!): added for differential extensions
	defined by the inverse function.

	* init.math (%W, %w): %W is inverse-defined; %w is diffeq-defined.

2024-04-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (poly:elim): Don't choke on variables missing from equations.

	* init.math, ext.scm: added comments; formatted.

2024-04-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (%W): added %W(%e) ::= 1; as first initial-condition.
	(acos, asin, acsc): sqrt(1-z^2) --> expo(1-z^2,1/2).

	* norm.scm (tcall): Now checks initial-conditions in addition to
	diffeq.

	* test.math: added nested transcendental function tests.

	* types.scm (poly:one-var): added.  needs to be smarter.
	(nested-arg): now finds only var:diffeq? nested functions.

2024-04-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:depvars, var:set-depvars!, licit:depvars): Added
	dependencies list of variables only.

2024-04-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (%pi): must be defined after atan().

	* sexp.scm (seval): inversefunction sets both var:inverse fields.

	* norm.scm (tcall): handle constant cases with integer coefficient
	of nested transcendental, like tan(3*atan(1/2));

	* types.scm (deferop): commented out redundant instance check.
	(nested-arg): don't require VAR:DIFFEQ?.

	* ff.scm, norm.scm, poly.scm, types.scm (*:constant?):
	renamed from *:CONST?.

2024-04-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:inverse, var:set-inverse!): added.
	(var:const?, var:variable?, licit:variable?, licit:const?): added.
	(licit:depends): capture deps only from variables.
	(var:reset!, register-instance!): Set var:def to #f and
	var:depends to '() for constants.

	* sexp.scm (seval): call VAR:SET-INVERSE! for inversefunction.

	* norm.scm (tcall): use new VAR:INVERSE field, simplify constant
	expressions.

	* elim.scm (ext:elim): added comment.

	* builtin.scm ($?): simplified and added check.

	* types.scm, ext.scm: code cleanup.

	* elim.scm, norm.scm, sexp.scm, builtin.scm (mapply):
	renamed from SAPPLY.

	* builtin.scm, info.scm, norm.scm, sexp.scm, types.scm,
	anti-diff.scm (sexp->math): replaced by calls to SEVAL.

2024-04-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (tcall): removed gratuitous (register-inits!).
	(sapply): simplified; moved VAPPLY into SAPPLY.
	(rapply): call APPLY instead of VAPPLY.

	* elim.scm (var:elim): simplified.  Now calls TCALL directly.
	(vapply): merged into SAPPLY.

	* types.scm (math:equal?, math:assoc): safe replacement for EQUAL? and ASSOC.
	(math:assoc): changed to internal recursion.
	(deferop): (or (var:func var) var) --> var; (var:func var) was never true.

	* builtin.scm, debug.scm, elim.scm, ext.scm, factors.scm, ff.scm, grammar.scm, hensel.scm, interp_test.scm, interpolate.scm, norm.scm, poly.scm, sexp.scm, sqfree.scm, types.scm, uv-hensel.scm:
	* (math:equal?, math:assoc): safely replace EQUAL? and ASSOC.
	* (math:test) renamed from TEST.

	* test.math: verify(diff(%W(x*exp(x)),x),1); now works.

	* ext.scm (register-expol!): cache expo (from "init.math").

2024-04-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (tcall): automatically simplifies exp(N*log(ARG)) to
	ARG(N) for integer N; and tan(N*atan(ARG)) to polynomial of ARG.
	Simplifies %W(x*exp(x)) --> x.  %W(x)*exp(%W(x)) doesn't simplify.
	(register-inits!): cache expPQ and tanPQ from "init.math".

	* init.math, test.math (expPQ, tanPQ): simplified discrete recurrences.

	* types.scm (nested-arg): returns argument of nested transcendental.

2024-03-31  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (expr:normalize): remove gratuitous UNIV:DEMOTE.

	* poly.scm (poly:/?, poly:gcd): changed EQUAL? --> EQV?

	* decompose.scm (calculate-s): changed EQUAL? --> EQV?

	* types.scm (make-monomial): changed EQUAL? --> EQV?

	* uv-hensel.scm (hen:eea-lift): changed EQUAL? --> EQV?

	* types.scm (var:reset!): set var:depends.
	(licit:depends): include dependent extension vars.  This fixes
	"Wrong type  alg:clear-leading-exts 0" warnings.
	(licit:depends): sort depends.

	* poly.scm (poly:vars, licit:vars, poly:find-var-exts): sort! changed to sort.

	* norm.scm (diff, derivative): sort! changed to sort.

	* factors.scm (poly:sort-factors): sort! changed to sort.

	* builtin.scm (int:factor, int:factors): sort! changed to sort.

	* test.math: Added derivative() test cases.

	* elim.scm (vapply): fixed tcall WNA cases.

	* sexp.scm, types.scm: code cleanup; minor optimizations.

2024-03-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (derivative): second argument can be expression.
	(diff, derivative): simpler implementation.

	* builtin.scm (derivative): added version of diff where the
	variable arguments can be expressions involving variables.

2024-03-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math (expQ): added expQ[n] = 1

	* elim.scm (licit:deep-arity): adjoin --> cons.

	* ext.scm (poly:exts, poly:aexts, alg:vars, poly:funcs)
	(chainables): adjoin --> cons.

	* norm.scm (diff): adjoin --> cons.

	* poly.scm (poly:vars, licit:vars): sort results.
	(licit:for-each-var, poly:for-each-var): call proc once per var.
	(poly:find-var-exts): adjoin --> cons.
	(poly:vars, licit:vars, poly:find-var-exts): reversed
	sort order so diff((%W(x))*exp(%W(x)),x); doesn't spin into segfault.

2024-03-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* ext.scm (rref): signal error if var is not a recurrence.

	* sexp.scm (rapply): split from sapply to handle rrefs.

	* types.scm (licit:diffeq?, var:diffeq?): added.
	(var:recurrence?): fixed.

	* init.math (tanP, tanQ, expP): added recurrences for reducing
	compositions of transcendental functions and their inverses.

	* builtin.scm (_rref): signal an error for negative indexes.

	* types.scm (sexp->new-var): set arity for lambdavars.
	set shadows for any lambdavardep? var.

	* ext.scm (rref): recurrences finally work!

	* elim.scm (var:elim): recurrences finally work!

	* sexp.scm (vet-sym): unshadow vars.

2024-03-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (sapply): fixed (3*sqrt(t))(4);

2024-03-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:recurrence?): made like radicalvar?

	* sexp.scm (sapply): pass through rational-number functions.

	* builtin.scm (chainables): added.

2024-03-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (_rref): defbltn.

	* elim.scm (var:elim): added recurrence support.

	* ext.scm (rref): moved code to Scheme procedure.

	* init.math (fact): added recurrence.

	* sexp.scm (sapply): working toward recurrence support.

	* types.scm (register-recurrence!): Added.

2024-03-22  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (differential): just wrap with differential when
	argument is expl:var?; otherwise total-differential.

	* sexp.scm (define-label, seval): Added incomplete support for
	recurrences.

	* types.scm (rdeferop, var:recurrence?): added.
	(var:set-pristr!, var:set-diffcnt!): removed unused procedures.

2024-03-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch1, seval): added support for rref.
	(batch1): changed prompt.
	(initialcondition, inversefunction): renamed.

2024-03-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (define-label): undid previous change.
	(sapply): don't choke on wrong number of arguments.

	* test.math (%W): added tests for Lambert-W function.

	* types.scm (register-instance!): don't change var:pri; it screws
	up existing expressions.
	(var:reset!): restore original var:pri.
	(impl?): require at least one coefficient.
	(poly->eqn): signal error for poly argument which is a number.

	* poly.scm (poly:poly?): require at least one coefficient.
	(promote): moved from "builtin.scm".

	* elim.scm: comments and code cleanup.
	(eliminate): signal error for division by 0.

2024-03-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (poleqn:differential?, var:reset!): added.
	(var:reset!): take implicit rule argument.
	(licits:vet): expanded scope of poly:vet.
	(sexp->new-var): don't strip primes from var:pri-str.

	* sexp.scm (seval): added support for pair-inverse command.
	(undefsym): don't make new var.

	* init.math: use new "::~" syntax.
	(fre): added.

	* English.scm (pair-inverse): added "::~" syntax.

	* norm.scm (total-differential): fixed for equation argument.
	(diff): disallow equation argument.

2024-03-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (sapply): compactified math:trace output.
	(tcall, seval): simplified.
	(seval): restrict :: to differential equations.

	* types.scm (licit->poleqn, licit->polxpr, licit->impl)
	(expl->var, variables): no longer accept symbols as arguments.
	(deferop): check instances before creating new symbol.
	(register-instance!): combined register-impl-var! and register-trn-var!

2024-03-17  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): undefine instances when redefining a
	transcendental function's differential equation.

2024-03-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (const:promote): restored to be LIST procedure.

2024-03-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* unparse.scm (template-print): shrank width by 1.

	* types.scm (poly:vet): this function finally found the
	transcendental variable ordering bug!
	(defext, register-trn-var!, register-impl-var!, extize): fixed the
	extension variable ordering bug.
	(licit:depends): streamlined.
	(var:nodiffs): fixes licit:depends.

	* elim.scm (poly:elim): removed gratuitous poly:promote.

	* norm.scm: code cleanup.
	(total-differential, poly:diff): code cleanup.

	* poly.scm (poly:degree): check for unnormalized polynomial and
	output "!".
	(const:promote): check if promoting already-promoted polynomial.

	* factors.scm (svpf): even though it shouldn't happen, handle
	numeric poly argument.

2024-03-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacalcat (timing): feature renamed from non-standard.

	* norm.scm (expr:normalize): Added univ:demote call.

	* types.scm (rat:num, rat:denom): code somewhere is returning
	polys with bad variable ordering; calling univ:demote fixes it.

	* sexp.scm (define-label): factor changed to %factor command.
	(defsym-both): added for %factor command.
	(define-label): handle WNA for top-level commands.

	* English.scm (%factor): prec:prefix command added.
	(one-arg): made argument lists WNA robust.

	* builtin.scm (defbltn): moved from "sexp.scm".
	(set, show): corrected arities.

	* norm.scm (normalize): no longer passes sexpressions.

2024-03-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (poly:degree): made more robust by checking for
	high-order 0 coefficients.

	* sexp.scm (batch-quietly, seval): code cleanup.
	(define-label): now handles %time command.
	(seval): now checks for inconsistent calls in differential definitions.
	(sexp:find-if-lambdavar?): added for checking sexp syntax.
	(seval): combined differential and implicit code for :: definitions.

	* English.scm ($time): corrected Scheme symbol name.

	* grammar.scm (sexp:warn): added.

	* jacalcat (non-standard): added.

	* toploads.scm (non-standard): added stub.

	* unparse.scm (template-print): narrow page-width by length of
	newlabelstr.

	* non-standard.scm (report-run-time): non-standard Scheme code;
	stub is in "toploads.scm".

	* modeinit.scm (newlabelstr, newextstr): Changed automatically
	generated labels to a % prefix.

2024-03-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (%time): added command.

	* norm.scm (normalize): pass through s-expressions unchanged; this
	fixes the FACTOR command.

	* sexp.scm (sexp:rat-number?): added.
	(seval): Added support for %time command.

	* anti-diff.scm (indef-integrate): return (wrong) answer with
	warning.

	* sexp.scm (saw-newline?): added to suppress prompt output in
	batch1 when multiple commands are on one input line.
	(seval-norm): defined at top level; used in seval.

	* modeinit.scm (newlabelstr): changed default template to "e0000".

	* types.scm (defext, register-trn-var!, register-impl-var!)
	(extize): var:pri for constants now 1000.

	* init.math (%W, %w): define %W as differential equation, %w as
	implicit function.

	* ext.scm (alg:clear-leading-exts): instead of failing with error,
	warn and return original polynomial.

2024-03-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (capply): added tracing to capply.

	* types.scm (register-impl-var!): added; may be merged with
	register-trn-var! later.

	* sexp.scm (sexp:find?): finds object in sexp tree.
	(seval): defines implicit function if equation lacks @2'.

2024-03-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch-quietly, seval, tcall): implemented ::=,
	integralfix, which defines an integral constant.  Store expr
	instead of var in var:instances.

	* test.math (log, exp, tan, atan): added integal constant tests.

	* init.math (log, exp, tan, atan): defined integral constants.

	* English.scm (::=): Added ::= syntax for integralfix, which sets
	the integration constant for a transcendental function.

	* builtin.scm ($): increased var:pri to 9000.

	* types.scm (extize): swapped extize arguments.
	(sexp->new-var): increased var:pri by a factor of 10.

	* elim.scm (clambda?): Fixes diff(expo(3,x),x).

2024-03-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (licit:depends): Call to var:nodiffs seems unnecessary.
	(var:nodiffs): removed.

2024-03-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* ext.scm (make-radical-exts): added debugging stuff.

	* init.math (expo): Added 2-argument expo().

	* builtin.scm (describe): Put info:describe to the end.

	* types.scm (make-shadow): simplified, arglist only.

	* test.math: cleaned up comments with new %skip syntax.

	* builtin.scm (_^, _^^, _partial, _ncmult, _abs): defined with
	return value of defbltn.

	* sexp.scm (defbltn): return expl of var to ease definition of deferop symbols.

	* English.scm: Added %skip ...; comment syntax.

2024-03-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (tapply): unused; removed.

	* types.scm (make-shadow): changed var:pristr increment to var:pri.

	* norm.scm (extize): moved to sexp.scm.

	* ext.scm (^): fixed 0^0 (error), 0^(1/2)=0, and 0^x=0.

	* poly.scm (poly:/?): was doing const:promote on non-constant, a
	long standing bug.

2024-03-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm ($, %sqrt1, %i): set var:pris to 1000, 50, and 50.

	* test.math (a): commented out W0 tests.

	* init.math (W0): Changed to inverse function formula; commented out.

	* types.scm (sexp->new-var): code cleanup; reordered var: fields.
	(var:>): now reports spurious var matches.
	(register-trn-var!, defext): (sort (remove var (licit:depends impl)) var:>)
	(sexp->new-var): found formula for var:pri preventing
	"does not divide" in test.math:
	(+ (if (positive? predef) (+ 150 predef) 300) diffs)

	* norm.scm (extize): (sort (remove var (licit:depends impl)) var:>).

	* grammar.scm (write-sexp-to-string): fluid-let unprs:lincnt to
	avoid --more-- message on startup.

	* std.scm (tps:std): tps:std is the output template for priority
	strings var:pristr.  It was extracted from English.scm so that it
	is not dependent on the user's language, and so variables can be
	created before the rest of the grammar system is loaded.

	* elim.scm (licit:deep-arity): returns index of max @n found.

	* grammar.scm (write-sexp-to-string): added.

	* toploads.scm (math:output-port): default value defined.

	* types.scm: Major reorganization of "var" structure.

	* unparse.scm (display-line): print to math:output-port.

2024-03-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (licit:deep-arity): Just arity, no minarity.
	(var:max-lambda-position, var:min-lambda-position): minor optimization.
	(var:deep-arity): added to fill var:arity fields.

	* test.math: test Currying.

	* types.scm: All "var:" references now abstracted into procedures.
	(licit:depends): renamed from impl-depends.
	(sexp?): now immune to var length changes.

	* elim.scm (var:max-lambda-position, var:min-lambda-position):
	restored to local scope.
	(licit:max-lambda-position): removed.
	(licit:deep-arity): added.

2024-03-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* vect.scm, types.scm:
	Summary: Renamed internal variable names to avoid conflict with global symbols.

	* test.math: reordered tests and disabled two longest factoring tests;
	added "test the alpha-convert phase of hygienic macro expansion".

	* init.math (sec, acot, acos, asin, acsc): no longer crash.

	* ext.scm (alg:clear-leading-exts): Don't choke on numbers.

	* elim.scm (var:min-lambda-position, var:max-lambda-position):
	include lambda positions of var:depends.

	* builtin.scm (vd): Added shortcut to var:dump.

2024-03-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch1): Function defines respond with @-variable
	defintions.

	* types.scm (var:impl-depends, arglist-depends): arglist-depends
	replaced var:impl-depends.
	Major cleanup.  Added new fields to "var" data structure, storing
	results of var:min-lambda-position and var:max-lambda-position.

	* sexp.scm (sexp:beta-reduce, tapply): do application in exprs, no
	longer using sexp:beta-reduce.
	(sapply): applies unnested derived transcendental functions correctly.

	* poly.scm (poly:promote, univ:demote): return poly argument when
	it is a number.

2024-03-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:shadow): Restored.

	* elim.scm (var:lambda-bump, var:min-lambda-position): Restored.

2024-02-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:shadow): simplified; breaks Currying.
	Code cleanup and comments.
	(var:build-depends): removed.  var:depends get set by defext
	and register-trn-var!.

	* sexp.scm (tapply, sym:idx, sexp:beta-reduce): Added.
	(sapply): rewritten.

2024-02-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (instances, set-instances!): renamed from func-inst-alst.
	(var:func, arglist): split from func-arglist.

	* grammar.scm, debug.scm (sexp:print): move and rename PRINT to
	SEXP:PRINT.

2024-02-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval, tcall): moved transcendental function call code
	into tcall.
	(sapply): all applications call sapply.
	(tcall): take var argument instead of fxpr.

	* test.math (rref): Added tests.

2024-02-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): corrected call to register-trn-var!.

	* types.scm (expr->impl): added.

	* English.scm, builtin.scm, sexp.scm: (rref): bunch-ref implemented.

	* English.scm, builtin.scm, info.scm, test.math, unparse.scm
	(rcall): no longer exposed to user.

	* sexp.scm, vect.scm (rcall): moved.

2024-02-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (rcall): replaces rapply.
	(seval): improved argument names for readabillity.

	* unparse.scm, vect.scm, English.scm, builtin.scm, info.scm,
	jacal.texi (rcall): replaces rapply.

	* types.scm (expr, exprs): No longer needed; removed.  Reduces
	confusion with variable names.

2024-02-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* init.math(W0): Renamed from W.

2024-02-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): normalize arg before application.

	* types.scm (register-trn-var!): removed unused arg.

	* init.math (%pi, %e); added.

2024-02-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (sexp->new-var): Removed var:atdef field.

	* sexp.scm (cano->sexp): merged with bunch->sexp.

	* types.scm (deferop): don't put LAMBDAs into arguments.

2024-02-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): Stubbed out unused code.
	(seval): added (var:set-depends! var (list $1))

	* test.math: reenabled factors(x^60-1).

	* types.scm (var:build-depends): Stubbed out unused section.
	(register-trn-var!): Priority is -2+min of dependents.

	* grammar.scm (math:print): Don't choke on variables.

2024-02-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (poly:elim2): Indented arguments when math:trace.

	* test.math: Added diff test cases for unnested algebraic and
	transcendental extensions.

	* types.scm (register-trn-var!): Decrease pri by 2.
	(defext): Increase pri by 2.

	* norm.scm (normalize): Indented arguments when math:trace.
	(extize): Increase pri by 2.

	* ext.scm (alg:clear-leading-exts): Added diagnostic output when math:phases.

	* hensel.scm (poly:factorz): Indented arguments when math:trace.

2024-02-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (extize): don't recompute var:depends.

	* types.scm (var:impl-depends): Added, removing overload of
	var:build-depends.

2024-02-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Nested transcendental extensions}):
	Removed discussion of erf(); its inverse was incorrectly defined.

2024-02-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (var:dump): Added for debug mode.

2024-02-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (priority): Fixed for showing and setting individual
	variables.
	(unimplemented, ordering): Added.

	* norm.scm (make-var-eqn): no longer used.

2024-01-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (expr:normalize): simplified the logic.

	* types.scm: monomial: --> mono:

	* UFD-basis.scm (mono:overlap?, mono:divides?): Added.  Also, monomial: --> mono:.

	* debug.scm (poly:factor<): Not defined when loading "debug.scm" early.

2024-01-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* grammar.scm (math:print): now handles monomials.

	* types.scm (poly:var?): Now checks length.
	(make-monomial, monomial?, monomial:>, monomial->poly): Added
	monomial type.

2024-01-17  Aubrey Jaffer  <agj@alum.mit.edu>

	* ANNOUNCE, README, jacal.tex: Updated version numbers.

2023-01-05  Aubrey Jaffer  <jaffer@jaffer-Lenovo-Z70-80>

	* toploads.scm (*jacal-version*): Bumped from 1c7 to 1c8.

2023-01-05  Kris Katterjohn

	* anti-diff.scm (integrate): Check and handle "novalue?".
	* builtin.scm: Fixed missing quotes in error messages.

2021-03-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm: Commented out FINITE DIFFERENCES section.

2021-03-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* sqfree.scm (poly:sqfr-all, sqfr:test)
	* norm.scm (poly:diff-all): Commented out currently unused code.

	* builtin.scm (make-grammar-bltn): Removed special case for expl:var?

2021-03-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (load): Fixed.

	* sexp.scm (app*): Do expr:norm.
	(sapply): Applying rational numbers to arguments?

	* factors.scm (expand-integer-factors): Fix segfault on
	factor(-1/(1+x^2));

2020-05-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* debug.scm (qp): Print var:sexp for var arguments.

2020-05-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Algebraic field extension}): Normalizing
	transcendental field extensions.
	(section{Transcendental constants}): Added.

	* debug.scm (qp): Keep symbols on one line for trace output.

	* sqfree.scm (yuniv:square-free-factorization): Prevented infinite
	output from transcendental var.

	* ext.scm (alg:clear-leading-exts): Simplified using named let.

	* types.scm (potent-extrule): Don't include transcendentals.
	(var:atdef, var:set-atdef!): Added extrule value.

	* builtin.scm (varpri): Added.

2020-05-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/Makefile (upload): Added.

2020-04-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}): Found
	formula for Phi given recurrence y_b.

2020-04-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}): Only
	two polynomials lead to algebraic reduction of nested
	transcendental functions.

2020-04-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}):
	Removed tanh examples.

2020-04-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}):
	Generalized to rational scales.

2020-04-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}):
	Algebraic reduction of nested transcendentals.

	* init.math (tanh, atanh): Added.

2020-04-17  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tps:tex): Corrected precedence for negate.

2020-04-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tps:tex): Removed spacing; wrapped "over" with braces.

	* builtin.scm (make-grammar-bltn): Added newline at end.

2020-04-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}): Moving
	toward canonical transcendental functions.

2020-04-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): Make application of a differential-lambda
	define a transcendental instance.

	* builtin.scm (describe-var): Improved.

	* elim.scm (dlambda?): Added predicate for differential equation
	functions.

	* types.scm (func-inst-alst, func-set-inst-alst!): Added alist of
	transcendental funcition instances to var.

2020-04-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (describe-var): Show application form.

	* poly.scm (licit:for-each): Now works on bunches.

2020-04-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (describe): Fixing newlines.

	* sexp.scm (out-new-vars, batch1): Corrected output for labeled
	newvars.

2020-04-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): Transcendental operators can now take
	expression (vs. plain variable) as argument.
	(check-valid-sym!): Added to prevent choke on @a5 and @0.
	(vet-sym): Renamed; normalize lambda-variable index.

	* types.scm (register-trn-var!): Added for transcendental field
	extensions.

	* builtin.scm (trn-defs): Added list of transendental extension
	instance defining poleqns.

2020-04-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (check, t): Time regression tests.

2020-03-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tps:2d, tps:standard, tps:std, tps:tex): Added
	"satisfying" operator.

2020-03-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (poly:evaln): Only use the general method; no effect
	on speed.

	* factors.scm (rat:factors, rat:factor->sexp, rat:cont-can): Clear
	-1 from denominators.

2020-03-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* factors.scm (prepend-integer-factor, cont->integer-factors):
	(rat:factor->sexp, rat:factors): Accumulate integer factors up to
	top-level.
	(*sort-int-factors*): Removed.

	* ff.scm: (ff:print): replaced by math:print.

	* unparse.scm (reset-line-count!): Replaces use of global variable.

	* poly.scm (number->univ): Renamed from number->poly.

2020-03-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* unparse.scm (flush-blanks): Eliminate extra blank lines when
	breaking output over multiple lines.

	* uv-hensel.scm (check-mel, hen:univariate-diophant):
	* poly.scm (univ:one?):
	* hensel.scm (hen:multivariate-diophant, poly:factorszpp):
	* ff.scm (ff:unorm, pairwise-relatively-prime?): Code cleanup.

2020-03-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tps:std):
	* builtin.scm (std): Added compressed infix output grammar.

	* test.math (factors): Added failing test cases.

	* ff.scm, uv-hensel.scm (*modulus* fluid-let): expanded scope.
	Code cleanup.

	* hensel.scm ((poly:0-degree-norm): Removed.

2020-03-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (hen:multivariate-hensel, hen:multivariate-diophant):
	(map-svpf-factors, poly:factorz, poly:factorszpp): Return empty
	list on failure.
	(poly:factorszpp): Don't cycle through vars.

	* uv-hensel.scm (check-hd, hen:diophantine, check-hd1)
	(hen:univariate-diophant): Return empty list on failure.
	(u:factorsz): Reenabled hen:ulhensel2 and hen:ulhensel3.

	* ff.scm (ff:unorm): Don't choke on integers.  Check that poly is
	univariate.

	* poly.scm (univ:zero?, univ:lc, univ:shorter?, univ:cont)
	(univ:frem, univ:fgcd): Don't choke on integer arguments.

	* factors.scm (poly:sort-factors, poly:sort-merge-factors): Don't
	choke on empty list.

2020-03-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (univ:lc): Fail if leading coefficient is 0.

	* ff.scm (ff:unorm): Get rid of
	u-product-mod-p^l-ideal-not-equal-to-a messages.

2020-03-22  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (u:factorsz): Skipping hen:ulhensel2 and
	hen:ulhensel3 makes no difference on test.math.

	* hensel.scm (hen:multivariate-hensel): Missing argument e.
	(hen:multivariate-diophant): Better error message.
	(poly:factorszpp): Try all variables if needed.
	(make-random-ideal): Keep numbers in range, r-1.
	(poly:factorszpp): nvars reps are as good as 30.

	* uv-hensel.scm (landau-mignotte-bound*2): Added missing abs().

	* factor-call-graph.txt: Added.

	* Makefile (gfiles): Added init.math.

	* hensel.scm: Moved factor call graph to factor-call-graph.txt.

2020-03-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (check-hd1, check-hd): Return 0 or result.

	* poly.scm (poly:primz): No longer used; commented out.

	* ff.scm (the-variable-in, ff:check-pairwise-relatively-prime):
	removed.

	* hensel.scm (hen:multivariate-diophant): Added x1 argument.
	(poly:factorz): Rewritten to cycle spec-var through vars.

	* test.math: Added factors tests for x^28-1, x^29-1, and x^30-1.

	* uv-hensel.scm (landau-mignotte-bound*2): Corrected formula.

2020-03-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (hen:multivariate-hensel): Reorganized to pass
	through 0 for failure.

	* uv-hensel.scm (hen:univariate-diophant): Return 0 for failure.

	* ff.scm (pairwise-relatively-prime?): Replacement for
	ff:check-pairwise-relatively-prime.

	* hensel.scm (poly:0-degree-norm, poly:evaln): univ:demote result.
	(map-svpf-factors): Pass through 0 for failure.

	* poly.scm (poly:primz): Promote var.

	* test.math: Added cases; updated comments.

	* grammar.scm (math:print): Always return last arg.

2020-03-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch-quietly): Fluid-let page-height to #f.
	(eval:error): Renamed from eval-error.

	* builtin.scm, ext.scm, grammar.scm, info.scm, norm.scm (eval:error):
	Renamed from eval-error.

	* test.math (radicals): Don't reuse defined variable "a".

2020-03-17  Aubrey Jaffer  <agj@alum.mit.edu>

	* test.math (wronskian): e^x --> exp(x).

	* sexp.scm (seval): Defines transcendental field extensions using
	:: (satisfying) command.
	(batch-quietly): Handle top-level :: commands.

	* norm.scm (suchthat, satisfying): Inlined into seval.

	* init.math (log, exp, erf, arctan): Added.

2020-03-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* grammar.scm (scheme, null, schemepretty): Reader was missing
	argument.

2020-03-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): Working on differential field extensions.

2020-03-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* ext.scm (poly:aexts): Renamed from poly:exts (algebraic only).

	* sexp.scm (batch1): Removed gratuitous blank lines.  Top-level
	suchthat and satisfying operations don't advance "e" label.

2020-03-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (defext): Differential field extensions.
	(undefvar): Undefine before redefining extension.

	* sexp.scm (out-new-vars): Don't substitute @ for var.
	(seval): Undefine before redefining extension.

	* elim.scm (licits:do-vars, implicit:map, licit:map)
	(licit:max-lambda-position): Names regularized.

	* norm.scm (extize, total-chain-exts, satisfying): Differential
	field extension rules.

	* poly.scm (licit:for-each, licit:for-each-var)
	(poly:find-var-exts): Moved to poly.scm; names regularized.

2020-03-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): Reorganized; start implementing :: (satisfying).

	* jacal.texi, builtin.scm (polydiff): Removed.

	* norm.scm (vsubst): Use promote/demote instead of poly:resultant.

2020-03-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Transcendental field extension}):
	started.

2020-03-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (batch-quietly): Added for "init.math".

	* init.math (sqrt, cbrt): Added.

2020-03-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Polynomials): Added documentation.

	* info.scm (integrate, compose, decompose, normalize): Added
	descriptions.

2020-03-02  Aubrey Jaffer  <jaffer@jaffer-Lenovo-Z70-80>

	* toploads.scm (*jacal-version*): Bumped from 1c6 to 1c7.

2020-03-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex, anti-diff.scm (rat:integrate): Corrected
	algorithm.

2020-02-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Calculus): Broadened domain of application and added
	examples.

	* anti-diff.scm (independent-of-var?): Ignore integration
	constants when checking result.
	(indef-integrate): Return novalue when integration fails.
	(rat:integrate): Debugged for rational expressions with single
	algebraic field extension.

2020-02-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* anti-diff.scm (sqfr-splits): Fixed variable ordering bug.
	(indef-integrate): Normalize return value.
	(rat:integrate): Code cleanup.
	(rat:integrate): Long-division by extension var first.
	(indef-integrate): Use _$ as dummy extension var.

2020-02-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Algebraic field extension}): Tracking
	anti-diff.scm.

	* anti-diff.scm (rat:integrate, indef-integrate): Nearly working
	with algebraic field extension.
	(poly:integrate): No longer needed.

	* ff.scm (ff:unorm): Fail gracefully when argument is number.

2020-02-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Algebraic field extension}): Fixed
	coeff() argument order.
	(section{Rational Function Integration}): Expanded explanation.

	* anti-diff.scm (rat:integrate): Put all numerator factors into
	p_1(x).  Tighten bounds check for M vs. N.
	(indef-integrate): Workaround negated integration bug.

	* Makefile (w32install): Output to dist directory.

2020-02-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex (section{Algebraic field extension}): Redevelop
	algorithm to handle algebraic field extensions.

	* anti-diff.scm (indef-integrate): Warn if derivative of integral
	does not equal original integrand.
	(rat:integrate): Reorganized along path to handling algebraic
	extensions.

2020-02-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* t.math, test.math: Added high power integration test.

2020-02-16  Aubrey Jaffer  <jaffer@jaffer-Lenovo-Z70-80>

	* toploads.scm (*jacal-version*): Bumped from 1c5 to 1c6.

2020-02-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* anti-diff.scm, builtin.scm: (integrate): Evaluate integral at
	definite limits.
	(rat:integrate): Removed special treatment for M = 0.

	* t.math, test.math: Added integration test cases.

	* jacal.texi (Calculus): Integration section added.

	* DOC/ratint.tex, anti-diff.scm: Algorithm simplified to use only
	square-free factorization.

2020-02-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* DOC/ratint.tex, anti-diff.scm, t.math: Integration works!

	* anti-diff.scm (rat:integrate, integrate): Reorganized code for
	splitting unsquared factors in numerator.

2020-02-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* anti-diff.scm: Works for many cases.  p_2(x) not handled yet.
	(rat:integrate): Fixed off-by-one.  Fixed powfacts argument.
	(sqfr-splits): Fixed constant return.
	(rat:integrate): Corrected powers of M+.
	(poly:integrate): univ:demote corrects for variable ordering.
	(integrate): Call poly:integrate when denominator independent of
	integration variable.

	* DOC/ratint.tex: Both p_1(x) and p_2(x) require special treatment.

2020-02-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile, anti-diff.scm, builtin.scm, jacalcat, vect.scm:
	(anti-diff.scm): Added.

	* DOC/ratint.tex: Revised algorithm to extract p_1(x).

2020-02-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacalcat, anti-diff.scm, builtin.scm: Developing indefinite
	integration.

	* English.scm (prec:prefix): Corrected '^-' binding power.

2019-05-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* types.scm (sexp->new-var): Handle differential shadow-var.

2019-05-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* test.math: Added radical test case.

	* ext.scm (alg:clear-leading-exts): Overly cautious check removed.
	(alg:conjugate): fixed (a/4)^(1/2) and ((4/a)^(1/3))^3.

2019-04-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* ext.scm (alg:clear-leading-exts): Renamed from
	alg:clear-denom; extended to all implicits.

2019-04-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (sexp:alpha-convert): Handles arguments in
	non-canonical expressions, replacing clambda.

2019-04-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (seval): lambda takes exactly 2 arguments.

	* English.scm (tran:translations): Added
	not-a-scalar-expression-or-equation:--

	* builtin.scm (factors, factor): Type check argument.

2019-04-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* toploads.scm (*jacal-version*): Bumped from 1c4 to 1c5.

	* English.scm (tran:translations): Added not-a-square-matrix:--

	* vect.scm (ncmult, transpose): Removed gratuitous calls to
	bunch:norm.

	* builtin.scm (describe): Improved description of matrices.

	* elim.scm (eliminate): Fixed long-standing bug where [a]*5 ==> 5 a.

	* norm.scm (ncexpt): Fail gracefully when given funky exponent.

	* jacal.texi: Described how to code row-vectors (as opposed to
	bunches) and column-vectors.

2019-04-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm (rapply): Catch out-of-range index.

2015-01-14  Aubrey Jaffer  <jaffer@dv7t>

	* toploads.scm (*jacal-version*): Bumped from 1c3 to 1c4.

2013-05-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Installation): Added configure to Unix script.

2013-05-08  Aubrey Jaffer  <jaffer@dv7>

	* toploads.scm (*jacal-version*): Bumped from 1c2 to 1c3.

2012-04-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (upgnu): Added target to upload to ftp.gnu.org.

2011-11-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (html, install-html): HTML generated by `makeinfo --html'.

2011-10-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (snapdir, infodir, htmldir): Added defaults so make
	works with empty "config.status".

2011-04-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* toploads.scm: Updated copyright dates.

2011-04-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* tensor.scm, func.scm : Updated calls to defbltn.

2010-12-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacalcat, toploads.scm: Changed defmacro:load calls to regular load.

2010-08-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* decompose.scm (decompose): Changed = to eqv?.

2010-08-12  Vytautas Jancauskas

	* decompose.scm: Fixed a small bug when decomposing a polynomial

	* builtin.scm, decompose.scm: Removed the two numeric parameters
	from decompose

2010-08-09  author  Vytautas Jancauskas

	* Makefile, builtin.scm, decompose.scm, jacalcat:
	Added rudimentary polynomial decomposition support

2010-07-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* test.math (interp_fn): Updated to new interp parameters.

	* interpolate.scm (interp:taylor): Pulled repeated computation out
	of recursion.

	* jacal.sh: Added support for (gosh) Gauche-0.9.

2010-06-29  Aubrey Jaffer  <jaffer@dv7>

	* toploads.scm (*jacal-version*): Bumped from 1c1 to 1c2.

2010-06-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* interpolate.scm: Refactored some app* calls.

	* grammar.scm (block-write-strings): Made output one narrower.

	* jacal.texi (Miscellaneous): Updated commands(), show all, show
	priority, and show grammars commands.
	(Matrix Parts): Added 'rank' and 'charpoly'.
	(Lambda Calculus): Added mixed rank example.
	(Miscellaneous): Added 'tex', 'scheme', 'disp2d', and 'standard'
	commands.

2010-06-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Interpolation): Added section.

	* interpolate.scm (memon, factorial): Merged duplicated functions.

	* builtin.scm (interp*): Dynamically-load 'interpolate.

	* toploads.scm, jacalcat: Made "interpolate.scm" dynamically-loaded.

	* combin.scm (memon): Moved from "uv-hensel.scm".

2010-06-23  Vytautas Jancauskas

	* interpolate.scm: Added Neville's algorithm for polynomial
	interpolation.  Removed the requirement to specify the same number
	of derivatives for each point in newtons interpolation.  Added
	simple memoization for newtons interpolation since it makes it
	a LOT faster.

	* builtin.scm (interp.neville): Added.

2010-06-22  Vytautas Jancauskas

	* interp_test.scm, interpolate.scm: Hermite interpolation.

2010-06-21  Vytautas Jancauskas

	* interp_test.scm: Added simple unit testing for interpolation
	code.

	* interpolate.scm: Initial preparations for adding hermite
	interpolation.

2010-06-20  Vytautas Jancauskas

	* interpolate.scm: A minor efficiency change in some procedures
	when checking if a list is of a single element.

2010-06-19  Vytautas Jancauskas

	* builtin.scm, interpolate.scm (interp.newton): Added newtons
	method for polynomial interpolation.

	* interpolate.scm: Signal an error when passing an empty point
	list to interp.

	* interpolate.scm: Added divided differences procedure for newtons
	method of polynomial interpolation.

2010-06-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile: INSTALL_INFO = ginstall-info

2010-06-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* configure: Improved portability of trailing / detection.

2010-05-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* configure (ac_default_prefix): Was lacking trailing /.

	* Makefile (install-script): Removed sed // filter.

2010-05-21  Vytautas Jancauskas

	* Makefile, builtin.scm, interpolate.scm, toploads.scm:
	Added a rudimentary form of interpolation

2010-03-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tps:2d): Put space between brackets and matrix
	contents in order to differentiate between bunch and matrix.

2010-03-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (args, func): Handle non-function case.

	* info.scm (info:example): Output warning if none found.

2010-02-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (Makefile): Runs ./configure to create config.status.

2010-02-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile: Reorganized per <http://www.gnu.org/prep/standards/>.

2010-02-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* configure: GNU-style configuration for installation creates
	config.status, which is included by Makefile.

2010-01-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh (Guile 1.8.6): Added -l ${SCHEME_LIBRARY_PATH}guile.use
	conditioned on "guile.use" existence.

2009-09-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Lambda Calculus): Added doc for elementwise.

2009-08-24  Sarah V. Jaffer

	* builtin.scm, ff.scm, sexp.scm:
	All calls of defbltn now check for correct number of arguments.

2009-08-02  Aubrey Jaffer  <jaffer@localhost.localdomain>

	* toploads.scm (*jacal-version*): Bumped from 1b9 to 1c1.

2009-08-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (u:prime-power): Use integer-log instead of
	homegrown cilog.

	* hensel.scm (hen:multivariate-hensel)
	(hen:multivariate-diophant): Moved math:debug checks inline.

2009-07-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* grammar.scm (flush-input-whitespace): Added.

	* English.scm (grm-reader): Abstracted from grammar definitions.

2009-07-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (hen:multivariate-diophant): Call
	ff:check-pairwise-relatively-prime-ideal; catches problem earlier.

	* uv-hensel.scm (ff:check-pairwise-relatively-prime): Simplified.
	(ff:check-pairwise-relatively-prime-ideal): Added.

2009-07-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm, ff.scm: Code cleanup.

	* combin.scm (del): Removed; replaced by 'remove'.  Cleanup.

	* poly.scm (poly:has-binomial-terms?): Added.

	* hensel.scm (poly:factorszpp): Prepare for choosing special-var
	randomly.

2009-07-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* view.scm (view):
	* toploads.scm (prec:warn):
	* sexp.scm (batch1):
	* grammar.scm (read-sexp):
	* builtin.scm (make-grammar-bltn):
	* English.scm: Changed to track changes to Precedence-parsing
	module in SLIB.

2009-06-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (check-mel): Fixed error message.

	* debug.scm (qp): Define instead of qpn; lose extra blank lines.

	* ff.scm (ff:print): Just use math:print.

	* Makefile (check, t): Added.

2009-05-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (poly:factorszpp): Code cleanup.

2009-05-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* test.math: Added factor bug (unlucky random-ideal) test case.

	* poly.scm (poly:elim2): Moved math:trace from poly:elim.

2008-02-01  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b8 to 1b9.

2008-01-31  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile, jacal.spec: Always put - between jacal and version.

2008-01-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Overview): JACAL is a GNU package.
	(GNU Free Documentation License): Moved under "Overview".

2008-01-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (jacal48): Increased -h, but still says
	"4500000 is too small" when run!

	* sexp.scm (hash-table): Require.

	* toploads.scm (byte): If BYTE (required by RANDOM) requires
	ARRAY, then it will redefine EQUAL?, which will screw up
	HASH-TABLE.  So require BYTE first.

	* Makefile (jacallibdir): Removed extra lib/ from path.

2008-01-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (install): test -d is not needed with mkdir -p.

2008-01-18  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (install): mkdir -p.

2008-01-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (RSYNC): --rsync-path no longer needed.

2008-01-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.nsi (MUI_ICON): Set to equal.ico.

	* Makefile: Removed JACAL.lnk.

	* jacal.nsi: Create shortcuts at installation; removed JACAL.lnk.

2008-01-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (doszip): Added equal.ico.

	* equal.ico: Added equal-sign icon.

2007-12-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh, jacal.1: Added Larceny.

	* jacal.texi (Installation): Added Larceny.

	* builtin.scm (degree): Fixed WNA error message.

2007-12-17  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tran:translations): Removed not-a-bunch?.

	* builtin.scm (poly): Fixed for rational coefficients.

2007-11-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh: mzscheme.init renamed from DrScheme.init.

	* English.scm (tran:translations): Added file-not-found.

	* builtin.scm (load): Check that file exists before loading.

	* sexp.scm (batch): Check that file exists before running.

2007-11-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* toploads.scm: defmacro:load "sexp.scm" because it uses
	fluid-let.

	* jacal.1, jacal.sh (Usage): Updated list of implementations.

	* Makefile (install): Grab SCHEME_LIBRARY_PATH from `slib'.

2007-11-23  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b7 to 1b8.

2007-09-04  Aubrey Jaffer  <agj@alum.mit.edu>

	* *: Updated license notices to GPL 3.

	* COPYING: Updated to GPL-3.0.

	* Makefile (srcdir.mk): Removed.
	(install*): Added $(DESTDIR) prefix.

2007-09-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh: Added support for SISC.

2007-09-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Demonstrating Jacal): Give full batch commands.

2007-06-08  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile: Changed to use "mkdir -p".

2007-04-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (jacal.html): Make in unix for w32install because MinGW
	chokes on @syncodeindex.

	* jacal.sh (kawa): Added.

2007-03-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (mfiles): Added version.txi.

2007-03-05  Jerry van Dijk

	* jacal.nsi: NSIS Windows installer script.

	* Makefile (w32install): Added target.

2007-01-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (landau-mignotte-bound*2): integer-sqrt has moved
	from 'root' to 'math-integer' SLIB module.

	* Makefile (mfiles): Added elk.scm (trampoline for "jacal.sh").

2006-11-04  Waldek Hebisch

	* uv-hensel.scm (u:factorsz): Found an example to exercise LOOP.

2006-11-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi: Eliminated cover texts from GFDL.

2006-10-21  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b6 to 1b7.

2006-09-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Index): Merged indexes.

2006-08-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (dvi, pdf): New tetex-3.0(-20.FC5) broke them -- fixed.
	(ratint.pdf): Repaired for tetex-3.0; ratint.dvi still broken.

2006-06-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* unparse.scm (print-using-grammar): Renamed from inprint.
	(template-print): Renamed from tprint.

2006-06-03  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh: Pass extra argument to $command.

2006-05-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (mfiles): Added fdl.texi.
	(docs): Added target to make all documentation files; invoke xdvi.

2006-03-22  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (jacal48): Add "(require 'fluid-let)"; batch now works.

2006-03-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* sexp.scm: Added (require 'fluid-let).

2006-03-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* ff.scm (sym:invert, sym:sym): Use symmetric:modulus procedure.

2006-02-13  Aubrey Jaffer  <jaffer@aubrey>

	* toploads.scm (*jacal-version*): Bumped from 1b5 to 1b6.

2006-02-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (tok:char-group): Works returning string (instead of
	symbol); why?

	* types.scm (var:sexp-apply, var:sexp-string): Commented out
	unused functions.

2005-12-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (scheme): Inputs string argument as Scheme.
	(make-grammar-bltn): Added.
	(tex): Inputs string argument as TeX.
	(standard, disp2d): Added; input string argument as standard.

	* info.scm (jacobi, jacobian): Added.

	* builtin.scm (jacobi, jacobian): Added.

2005-12-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* norm.scm (diff): Added poly:square-free-var call to remove
	differentials in both numerator and denominator.

2005-12-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh (gui): Removed guile.scm; uses go.scm instead.

	* Makefile (install): Removed guile.scm; uses go.scm instead.

	* *.scm: Downcased all program identifiers.

2005-06-22  Aubrey Jaffer  <jaffer@aubrey>

	* toploads.scm (*jacal-version*): Bumped from 1b4 to 1b5.

2005-06-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (clambda?): Descend bunches rather than matrixes.

	* builtin.scm (wronski, wronskian): Added.

2005-01-22  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.1: Documented jacal script.

	* view.scm, vect.scm, uv-hensel.scm, tensor.scm, sqfree.scm,
	poly.scm, norm.scm, hensel.scm, grammar.scm, ff.scm, factors.scm,
	ext.scm, elim.scm, debug.scm, combin.scm, builtin.scm, types.scm,
	sexp.scm, English.scm: Added appropriate REQUIREs.

	* Makefile (tags): Cleaned.

	* scl.scm: Removed; each file does its own REQUIREs.

2005-01-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh (gsi): Gambit 4.0 doesn't allow input redirection;
	foils --version test.

2004-12-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (degree, flatten): Added.
	(poly): With single argument, convert equation to polynomial.

	* poly.scm (poly:total-degree): Added.

2004-09-22  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm, hensel.scm, poly.scm, ff.scm: EXPT replaces
	INTEGER-EXPT.

	* scl.scm: No longer need logical for INTEGER-EXPT.

2004-09-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* ff.scm (ff:null-space-basis, ff:null-space-basis-gcl-bug):
	array:copy! renamed from array-copy! and arguments reversed.

2004-01-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile ($(infodir)jacal.info): "cp -a" ==> "cp -p".
	(jacal.info): Only run infobar if PREVDOCS exists.

	* jacal.sh: grep -q is not universal.  echo -n not portable.
	Test for rpm existence before call.

2004-01-14  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh: Separated shell assignments and exports.

	* Makefile (srcdir.mk): Include after target.
	Separated shell assignments and exports.

2003-11-30  Aubrey Jaffer  <jaffer@scm.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b3 to 1b4.

2003-11-30  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacalcat (finite-fields, polynomial-factors, univariate-hensel):
	FLUID-LET users must be defmacro.

	* jacal.sh (scheme48): Only invoke with scheme48 argument.

2003-11-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm, scl.scm, grammar.scm, ff.scm, factors.scm,
	builtin.scm: Cleaned some REQUIREs.

2003-11-10  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh (gsi): Gambit interpreter added.

2003-09-24  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (pinstall): jacalcat was missing.

2003-07-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (release): make pdfs.

2003-07-06  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacalcat: Added SLIB catalog additions for JACAL.

	* toploads.scm: SLIB catalog:read replaces ad-hoc *catalog*
	manipulation.

2003-06-22  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b2 to 1b3.

2002-12-02  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (verify): Added newline before did-not-verify:.

	* Makefile (install): Removed gratuitous '/' after $(...dir).

2002-10-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* builtin.scm (tex): Added TeX-output command.

2002-06-29  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm (map-svpf-factors): take SPEC-VAR argument.

	* sqfree.scm (Yuniv:square-free-factorization): math:trace
	logging.

	* debug.scm (poly:factor<): Wrap with check for well-ordering.

	* builtin.scm (verify): Print expressions using *input-grammar*.

	* toploads.scm (*catalog*): Added feature debug-jacal.

	* factors.scm (svpf): Simplified.
	(poly:factor<): Fixed ordering of vars.

	* poly.scm (univ:one?): Take and check VAR argument.

	* sexp.scm (batch1): Newline after echo.

	* grammar.scm (math:print): Take n-ary arguments.

2002-06-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* uv-hensel.scm (squarefreeness-preserving-modulus): Err if all
	primes < 100 fail.

	* ff.scm (basis->polys): Abstracted from ff:null-space-basis.
	(ff:p/p, ff:q-matrix): Replaced ff:degree of already ff:unorm
	arrays with univ:deg.

2002-06-26  Aubrey Jaffer  <agj@alum.mit.edu>

	* ff.scm (ff:null-space-basis): Return vector.

	* sqfree.scm (*univ:square-free-factorization): Replaced APPENDs
	with CONS.

	* elim.scm (var:elim): Replaced APPENDs with CONS.

2002-06-25  Aubrey Jaffer  <agj@alum.mit.edu>

	* hensel.scm: Evaluation functions moved from ff.scm

	* uv-hensel.scm (memon): Moved from hensel.scm.

	* poly.scm (poly:unitz, poly:primz): Moved from ff.scm.

	* ff.scm: Moved some procedures to sqfree.scm and factors.scm.

	* Makefile (sfiles): Added sqfree.scm and factors.scm.

	* sqfree.scm: Procedures for square-freeness.

	* factors.scm: Procedures for sorting and converting polynomial
	factors.

2002-06-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* poly.scm (univ:monomial): Numerical compares use EQV? not EQ?.

	* sexp.scm (bunch->sexp): Numerical compares use EQV? not EQ?.

	* hensel.scm: Moved univariate hensel procedures into
	uv-hensel.scm.

	* Makefile (sfiles): Added uv-hensel.scm.

	* test.math: Self-set additional variables.
	Added copyrights and license.

	* uv-hensel.scm: Moved univariate hensel procedures into.

2002-05-19  Aubrey Jaffer  <agj@alum.mit.edu>

	* view.scm, vect.scm, unparse.scm, types.scm, toploads.scm,
	tensor.scm, sexp.scm, scl.scm, rw.math, poly.scm, norm.scm,
	modeinit.scm, math.scm, jacal.sh, info.scm, hist.scm, hensel.scm,
	grammar.scm, func.scm, ff.scm, ext.scm, elim.scm, combin.scm,
	builtin.scm, Makefile, English.scm: Added 12-line GPL2 notice.

	* COPYING: Replaced with GNU GENERAL PUBLIC LICENSE Version 2.

2002-05-12  Aubrey Jaffer  <agj@alum.mit.edu>

	* English.scm (.): Allow in symbols and numbers.

	* test.math: Put spaces around "."

2002-04-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* combin.scm (combinations): Fixed map argument length mismatch.

	* jacal.sh (usage): Added.
	(--version, -v): Supported.

	* Makefile (install): Define jacal VERSION in jacal.sh.

2002-03-11  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.sh (mzscheme): Load DrScheme.init.

2002-03-05  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (temp/jacal): Link ratint.pdf from htmldir.

	* test.math: Added factoring test suite.

2002-02-21  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.spec (%doc): ratint.pdf replaced ratint.dvi

	* Makefile (ratint.pdf): Added.

2002-02-11  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b1 to 1b2.

	* Makefile (CITERS, CITES): Abstracted functional file groups.

2002-01-31  Aubrey Jaffer  <agj@alum.mit.edu>

	* ff.scm (ff:null-space-basis-gcl-bug, ff:null-space-basis):
	(ff:q-matrix): Changed to use create-array.

2002-01-13  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.texi (Concept Index): Added.
	(Installation): Rewrote with separate instructions per platform.
	(Manifest): Added.

	* Makefile (README): Generate from jacal$(VERSION).info.

	* jacal.texi (Starting Jacal): Removed .scm from slib:load
	example.

2001-10-09  Aubrey Jaffer  <agj@alum.mit.edu>

	* elim.scm (infinite-list-of): Removed.
	(eliminate): Check that parallel bunches are the same length.

2001-09-23  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile, jacal.sh, jacal.spec (guile.scm): Create special
	script for guile because it needs (use-modules (ice-9 slib)) in
	order to access SLIB.

2001-08-29  Bo Forslund  <bo.forslund@abc.se>

	* jacal.spec (Prefix): Use builtin %{_prefix}.
	(%post): .* allows use of .bz2 or .gz.

	* Makefile (pinstall): HELP file added.

2001-07-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (unjacal48): Target added; deletes scheme48.image.

2001-06-07  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (rpm): Build src.rpm also.

2001-05-28  Aubrey Jaffer  <agj@alum.mit.edu>

	* scl.scm (multiarg/and-): Added require of.

2001-05-27  Aubrey Jaffer  <agj@alum.mit.edu>

	* jacal.spec (%install): Create script
	${RPM_BUILD_ROOT}%{prefix}/bin/jacal containing
	JACALDIR=%{prefix}/share/jacal/.

	* jacal.sh: Make install or building rpm prepends JACALDIR
	definition to script.

	* Makefile (install): Makes up script $(exec_prefix)bin/jacal.

Mon May 21 19:22:11 EDT 2001  Aubrey Jaffer  <jaffer@aubrey.jaffer>

	* toploads.scm (*jacal-version*): Bumped from 1b0 to 1b1.

2001-05-21    <ajaffer@scanlogic.com>

	* Makefile (install): Added target.

2001-05-20  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (html): Renamed "jacal" subdirectory to "prevdocs".
	(scheme48.image): Added target.

	* jacal: Added script to run jacal on multiple implementations.

	* jacal.spec: Added spec file to generate a .rpm file.

2001-05-16  Aubrey Jaffer  <agj@alum.mit.edu>

	* Makefile (pdf): Added targets.

2001-01-15  Aubrey Jaffer  <agj@alum.mit.edu>

	* ff.scm (rat:factor->sexp): Fixed for simple numeric numerators
	or denominators.

2000-12-01  Aubrey Jaffer  <agj@alum.mit.edu>

	* toploads.scm (prec:warn): Now accepts multiple arguments.

1999-09-17  Aubrey Jaffer  <jaffer@mit-ai>

	* jacal.texi: Put description into jacal_toc.html.

Sun Sep 12 22:43:04 EDT 1999  Aubrey Jaffer  <jaffer@mit-ai>

	* toploads.scm (*jacal-version*): Bumped from 1a9 to 1b0.

1999-05-22  Aubrey Jaffer  <jaffer@mit-ai>

	* hensel.scm (poly:factorz): Issues messages for multivariate
	factoring when math:trace is on.

1999-05-21  Aubrey Jaffer  <jaffer@mit-ai>

	* hensel.scm (poly:factorszpp): Fixed factoring for multivariate
	polynomials whose leading coefficients have repeated factors.

1999-05-16  Aubrey Jaffer  <jaffer@mit-ai>

	* hensel.scm (map-svpf-factors): abstracted from poly:factorz.

	* ff.scm (number->poly): moved from hensel.scm.

1999-05-15  Aubrey Jaffer  <jaffer@mit-ai>

	* ff.scm (u:factorz): Integrated into poly:factorz.

	* hensel.scm (poly:factorszpp): put limits on number of random
	ideals and primes tried.

1999-04-30  Aubrey Jaffer  <jaffer@mit-ai>

	* vect.scm (mtrx:inverse): Added.

1999-04-27  Aubrey Jaffer  <jaffer@mit-ai>

	* toploads.scm (*catalog*): "usercat" didn't work from other
	directories;  Augment *catalog* directly.

1999-04-10  Aubrey Jaffer  <jaffer@mit-ai>

	* sexp.scm (defbltn): Extra definition removed.
	(sapply): Constant functions now represented by the constant.

1999-01-29  Aubrey Jaffer  <jaffer@mit-ai>

	* builtin.scm (factors, factor): now accept equations as argument.

	* sexp.scm (*->or-eqns): Added to factor equations.

1999-01-28  Aubrey Jaffer  <jaffer@mit-ai>

	* jacal.texi (Algebraic Commands): documented extrule.

Sun Jan 17 12:02:50 EST 1999  Aubrey Jaffer  <jaffer@mit-ai>

	* toploads.scm (*jacal-version*): Bumped from 1a8 to 1a9.

1999-01-15  Aubrey Jaffer  <jaffer@mit-ai>

	* ff.scm (ff:q-matrix ff:null-space-basis): Were assuming
	array-mapping worked for vectors.
	(ravect->list): to convert arrays to lists.
	(ff:generate-field power-list): rewrote sans array-mapping.

	* debug.scm (math:printn): don't put symbols on separate lines.

1998-12-08  Aubrey Jaffer  <jaffer@mit-ai>

	* jacal.texi (Installation): Added HTML anchor for Installation
	instructions.

1998-11-03  Aubrey Jaffer  <jaffer@mit-ai>

	* builtin.scm (equate-coeffs): Removes duplicates.

	* hensel.scm (remove-duplicates): Moved to SLIB.

	* combin.scm (del): Moved from "ff.scm".

Tue Nov 3 17:48:00 EST 1998  Aubrey Jaffer  <jaffer@scm.colorage.net>

	* toploads.scm (*jacal-version*): Bumped from 1a7 to 1a8.

1998-10-26  Aubrey Jaffer  <jaffer@mit-ai>

	* builtin.scm (equatecoeffs): added.

	* ext.scm, elim.scm, poly.scm, norm.scm: promote -> poly:promote

	* builtin.scm (coeff, coeffs): added to properly process
	polynomials with rational coefficients.

1998-09-18  Aubrey Jaffer  <jaffer@colorage.com>

	* hensel.scm (mri): Added global state `ideal:prngs' to reduce
	chance of reentrant random calls.

Sun Oct 26 23:49:02 1997  Jerry Hedden  <hedden@netaxs.com>

	* rw.math: updated.  The previous version had some errors.

Mon Sep 22 12:39:18 EDT 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* toploads.scm (*jacal-version*): Bumped from 1a6 to 1a7.

Tue May 20 10:26:44 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* ext.scm (alg:conjugate): fixed 1/x^(3/2) bug.

Sun May 18 11:02:58 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* ext.scm (make-radical-exts): added.  Factors radicands and calls
	(make-radical-ext): which now just processes a single irreducible
	integer or polynomial.

	* builtin.scm (factors): added.
	(factorial): added.

	* ff.scm (negate-factors-exps): added.
	(poly:sort-merge-factors): added.

	* sexp.scm (terms->factors-list): added.
	(batch): now uses fluid-let to protect *grammar*s and page
	parameters from errors, etc.

Sat May 17 22:55:58 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* sexp.scm (defsym): now maintains both canonical and
	non-canonical definitions.

	* norm.scm (poly:sqfr-all): renamed from poly:factor.  Fixes
	conflict with hensel.scm function of same name.

	* ff.scm (factors->sexp): added.  Sorting deferred until
	conversion.  Factor now returns an `sexp' factored expression.

Sat May 10 18:56:23 EDT 1997  Aubrey Jaffer  <jaffer@scm.bertronics.com>

	* toploads.scm (*jacal-version*): Bumped from 1a5 to 1a6.

Sat May 10 16:37:50 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* builtin.scm (abs realpart imagpart): added.

	* poly.scm (poly:cabs): added.

Wed May  7 15:14:04 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* parse.scm: rewrote and moved to SLIB.

Fri Mar 14 20:02:30 1997  Aubrey Jaffer  <jaffer@mit-ai>

	* builtin.scm (parallel ||): operator added.

Mon Oct  7 10:45:04 1996  Aubrey Jaffer  <jaffer@bertronics>

	* grammar.scm (jacal:found-bug): Added.  Used in hensel.scm for
	clauses which I have never observed to execute.

Tue Sep  3 23:31:30 1996  Aubrey Jaffer  <jaffer@bertronics>

	* hensel.scm (u:factorsz): removed repeated sub-calculations and
	simplified.

Mon Sep  2 16:56:58 1996  Aubrey Jaffer  <jaffer@bertronics>

	* hensel.scm (landau-mignotte-bound*2): Resolved confusion over
	formula by Monte-Carlo testing.

Thu Aug 22 11:51:32 1996  Aubrey Jaffer  <jaffer@bertronics>

	* jacal.texi (Algebraic Commands): Documentation of `|' operator
	added.  Also fixed @: --> @@:.

Wed May 29 14:57:24 1996  Aubrey Jaffer  <jaffer@jacal.bertronics>

	* hensel.scm (cilog): floored replaced with ceiling integer
	logarithm of y base b.
	(landau-mignotte-bound*2): Fixed according to ACA.  Now
	encapsulates all exact/inexact conditionals.  Added documentation
	of the Landau-Mignot bound.

Mon Apr 22 22:02:53 1996  Aubrey Jaffer  <jaffer@jacal.bertronics>

	* vect.scm (determinant): Fixed long standing bug where
	determinants which should return zero instead generated
	"ERROR: car: Wrong type in arg1 0".

Thu, 9 Nov 1995 23:59:00 +1100  Michael Thomas (mjt@octavia.anu.edu.au)

	* hensel.scm: fixed missing number->poly to convert result of
	poly:- to u:p/c argument.

Sun Oct  1 00:16:38 1995  Aubrey Jaffer  (jaffer@jacal)

	* ff.scm (sqarefreeness-preserving-modulus): pulled out of
	u:factorsz.
	(u:factorsz f1): Now calls univ:prem rather than poly:pdiv.

	* poly.scm (poly:prem): Merged with function from ff.scm.  Now
	takes var argument.

	* builtin.scm (mod): fixed.
	(jacal:modulus): added.

	* ff.scm (landau-mignotte-bound2): rewritten so that it does not
	require inexacts.

Mon Sep 11 00:01:01 1995  Aubrey Jaffer  (jaffer@jacal)

	* math.scm (set-handlers! cleanup-handlers!): No longer intercepts
	user-interrupt.  SCM now does a break(point) from user-interrupt
	(^c).

	* poly.scm (poly:valid? p): added to check variable ordering in
	polynomials.

	* debug.scm (math:continuable-break-with-object
	math:break-with-object): added to facilitate operating on
	troublesome expressions.

	* builtin.scm (continue): added to work with breaks.

September  4 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (hen:mhenseln correct-lcs): Fixed leading coefficient
	update problems.

August 30 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (correct-lcs): Fixed handling of repeated factors in
	the leading coefficient.

August 29 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (hen:mhenseln): Fixed bug by replacing delete with
	the non-destructive function del. Should delete be
	destructive?

August 15 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (poly:factorzpp): Removed extraneous and buggy ideal
	generation code.

August 11 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (uniques): Fixed

August  2 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (mri): Added Modified make-random-ideal to return
	unique numbers for each variable in the ideal and to accept a
	list of forbidden numbers.

July 31  1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (poly:sff): Fixed special variable bug

July 27  1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm: Tidied up output formats
	(u:factorz): Fixed sign bug
	(poly:factorz): Added ability to handle non-primitive and
	non-square-free leading coefficients.

July 25  1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (poly:factorz): Worked around a bug in GCL algorithm
	6.3 by extracting factors which are powers of a variable.

July 18  1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (factorz): Replaced factorsz.
	(poly:factorz): Replaced poly:factorsz.
	(poly:factorsq factorsq): Removed.
	Incorporated squarefree multivariate factorisation.
	(poly:contz): Fixed sign bug.

June 18  1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (poly:univariate?): Renamed from u:univariate?.
	(factorsz): Renamed from factormsz.
	(factorq): Added built in function.

June 13  1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (ff:eea-gcd): Refixed
	(hen:mhenseln):	Fixed leading coefficient bugs.
	(u:unitz poly:unitz): Added.
	(u:primz u:contz): Renamed from u:pp and u:cont.
	(poly:primz): Fixed.
	(unitz primz contz): Added built in's to obtain the unit,
	primitive and content of multivariate polynomials over Z

June 9   1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm: Fixed some bugs in multivariate factoring system.

June 8   1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (poly:0-degree-norm): Fixed bug in poly:evaln by
	adding.
	(u:evalp, u:evaln): Minor optimisations to.
	(poly->number):	Renamed from u:convert.

June 4   1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (ff:eea-gcd): Fixed bug (I hope)!!!

June 1   1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm: Dealt with the leading coefficient problem.  Cleaned
	up the code.

May 30   1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (unlucky?): Factored out test for unlucky
	homomorphisms into.  Cleaned up the code.

May 5    1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (u:prime-power): Added.
	(ff:q-matrix): Fixed bug.

April 28 1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (u:sff): Renamed from poly:sff.
	(poly:sff): Added.

April 27 1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm (poly:factorzpp): Dealt with unlucky homomorphisms
	and bugs.

April 24 1995  Mike Thomas  (mjt@octavia.anu.edu.au)

	* ff.scm: Merged Aubrey's 18 April version of ff.scm with the
	changes I've made since last mail.The file now (in places)
	uses the prime number generator added to SLIB.
	(ff:sff ff:mnorm): Changes to multivariate stuff.

Sun Mar 12 00:08:08 1995  Aubrey Jaffer  (jaffer@jacal)

	* jacal.texi (Factoring): section added.

	* builtin.scm (factor): Now autoloads "ff.scm" and calls factoruq.

Mar 6 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: Finished adding basic multivariate procedures, still
	debugging.

Mar 5 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: Fixed a bug in ff:null-space-basis by changing to a
	slower algorithm from Knuth.  I still don't know why GCL's
	algorithm fails. Undoubtedly my coding.

Mar 2 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (factoruq u:factorq): Added.

Mar 1 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: Added sorting of results from poly:sff, u:factorz,
	ff:berlekamp, to accommodate algorithmic changes I might choose to
	make later, and to make the output more consistent.
	* ff.scm: Fixed ff:sff.
	* ff.scm: Added argument checks to bltn's berl, ffsff and sff.
	* ff.scm: Added a third argument to bltn ffsff, a power for the
	prime to be raised to.

Thu Feb 23 14:56:36 1995  Aubrey Jaffer  (jaffer@jacal)
	* ff.scm (ff:print): replaced large number of display and newline
	statements.  Formatted code and comments for 80 columns.

February 22 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (u:factorsmz u:factormz): Changed to cover
	non-monic polys
	* Deleted some junk from the file.

february 21 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (hen:diophantine (most important)):
	(hen:diophantine1 hen:multiterm-eea-lift hen:eea-lift):
	Memoized. Very successful, because the speed increase is
	enormous, with little memory cost.

February 20 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: Debugging of hensel lifting and u:factorsmz
	* Fiddled with ff:euclid-gcd to no noticeable speed increase.

February 17 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: Finally completed initial Hensel lifting and factorisation
	but it is very buggy and slow. The diophantine solvers have
	inbuilt checkers for their results.
	* (ff:diff): Fixed bug in, floating global variable
	* (sym:sym u:zero? u:one? u:number? ff:eea-gcd): Small
	efficiency changes.

February 6 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm(ff:p+p ff:p-p): Fixed minor bug.

February 4 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: In failed pursuit of (ff:berlekamp p7 3) bug revamped
	ff:q-matrix, to no noticeable gain in speed in ff:berlekamp.

February 1 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (ff:p/p->qr): fixed bug in special cases
	* used ff:p/p->qr in ff:euclid-gcd, ff:eea-lift
	* (ff:p-p): fixed bug in , didn't negate tail of second
	argument when it is longer than the first.
	* (number->poly): added, fixed related bug in ff:p*p

January 31 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (ff:p/p->qr ff:p/p): new division algorithm
	(Knuth's D algorithm, sec 4.6.1)

January 30 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: converted to symmetric representation instead of
	positive.
	* added extended Euclidean GCD for u: and sym:
	* added initial attempt at hen:eea-lift for support
	of multivariate Hensel lifting (GCL algorithm 6.3)

January 27 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm: improved source code documentation
	* replaced eqv?'s with =
	* (ff:leading): sped up
	* (u:zero? u:one? u:number?): altered to use cadr, = instead
	of equal? in u:number
	* (u:pp u:cont): remove ff:norm from, assuming they will be
	sent normalised arguments
	* (ff:norm): sped up
	* u:lose-lzeros inserted where u:norm not needed
	* (ff:norm ff:p*c ff:p+p ff:p-p): rewrote using map instead of do.
	* (ff:higher-deg): rewrote.
	* (ff:p/c ff:p/p): altered.

January  1 1995  Mike Thomas  (mjt@octavia.anu.edu.au)
	* ff.scm (ff:inverse): Replaced with the faster
	modular:invert (require 'modular).

Fri Jul  8 11:57:56 1994  Aubrey Jaffer  (jaffer@jacal)

	* norm.scm ((extize p)):
	* sexp.scm ((batch1)): call to sect:next-string changed to
	chap:next-string and moved to SLIB.

Wed Jun  1 00:00:05 1994  Aubrey Jaffer  (jaffer@jacal)

	* builtin.scm (push-modes pop-modes): added for example.

Fri May 27 00:38:23 1994  Aubrey Jaffer  (jaffer@jacal)

	* toploads.scm ((jacal:dot)): Print out dots while loading.

Sun May 15 10:27:09 1994  Aubrey Jaffer  (jaffer@jacal)

	* Makefile (DOC/jacal.dvi): jacal.dvi and associated files now
	left in DOC subdirectory.

Sat May 14 23:49:51 1994  Aubrey Jaffer  (jaffer@jacal)

	* sexp.scm ((list-of-procedure-defsyms)): hash version was not
	filtering with procedure?

	* elim.scm ((implicits:map proc b)): fixed [a,b,c]=0 says "not a
	polynomial equation".

Mon Apr  4 11:34:37 1994  Aubrey Jaffer  (jaffer@jacal)

	* jacal.texi (Top): Much cleaned up and expanded.  Now prints
	correctly and has indexes.

Fri Apr  1 13:10:19 1994  Aubrey Jaffer  (jaffer@jacal)

	* Makefile (intro): Added message for those who just make.
	(jacal): makes SCM startup script for JACAL.
	Cleaned up and reorganized Makefile.

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@mit-ai>
	* 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
	dependencies, 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.  Probably 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 constructed 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 incompatibilities
	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 comparability 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).

