This message announces the availability of JACAL release jacal-1c7.
JACAL is an interactive symbolic mathematics program. JACAL can
manipulate and simplify equations, scalars, vectors, and matrices of
single and multiple valued algebraic expressions containing numbers,
variables, radicals, and algebraic differential, and holonomic
functions.
JACAL is written in Scheme and works with Scheme implementations which
support the SLIB Scheme Library. The SCM Scheme implementation
(written in C) is available with JACAL. SCM runs on Amiga, Atari-ST,
MacOS, MS-DOS, OS/2, NOS/VE, Unicos, VMS, Windows, Unix and similar
systems.
JACAL is free software and part of the GNU project. It is released
under the GNU General Public License (GPL).
Documentation and distributions in several formats are linked from
JACAL's home page:
Links to distributions of JACAL and related softwares are at the end
of this message.
-=-=-=-
jacal-1c7 news:
Jacal now does integration of rational functions whose integrals
are rational functions possibly involving a radical involving the
integration variable. The integration algorithm is documented in
Details at
* DOC/ratint.tex, anti-diff.scm (rat:integrate): Corrected
algorithm.
* 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.
* 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.
* 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.
* 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.
* 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.
* t.math, test.math: Added high power integration test.
-=-=-=-
JACAL is available from:
Also available as RPM:
Also available as MS-Windows installer:
SLIB is a portable scheme library which JACAL requires:
Also available as RPM:
Also available as MS-Windows installer:
SCM is a small Scheme implementation under which JACAL will run.
SCM source is available from:
Also available as a binary RPM:
A previous version is available as MS-Windows installer:
Programs for printing and viewing TexInfo documentation (which JACAL
has) come with GNU Emacs or can be obtained via ftp from: