Changes in FriCAS 1.2.5:
- Fixed printing of scripted symbols.
- Fixed 'totalDegreeSorted' (affected Groebner bases).
- Fixed few problems with Hensel lifting (including SF bug 47).
- Fixed 'series' in UnivariateLaurentSeriesConstructor.
- Fixed 'order' in SparseUnivariatePowerSeries.
- Printing of series now respect 'showall' setting, cyclic
series are detected.
- Fixed problem with interpreter preferring Union to base type.
Changes in FriCAS 1.2.4:
- New cylindrical decomposition package.
- New GnuDraw package for plotting via gnuplot.
- Texmacs interface now handles Cork symbols.
- Added double precision versions of several special functions
(needed for plotting).
- Nopile mode for Spad is changed to be more convenient.
- 'stringMatch' is removed (was broken beyond repair).
Bug fixes, in particular:
- Fixed intepreter assignment to parts of nested aggregates
(issue 376).
- Fixed interpreter coercion from Equation to Boolean (issue 359).
- Fix printing of '\%i' in types (issue 132).
- Disabled incorrect shortcut during coercion (issue 29).
- Difference of intervals now agrees with definition as interval
operation.
- Avoid overwriting loop limit and increment.
- Fix a polynomial gcd failure due to bad reduction.
- Avoid mangling unevaluated algebraic integrals.
- Fix integration of unevaluated derivatives.
- Restore parser handling of '\\/' and '/\\'.
- Properly escape strings and symbols in TeXFormat.
Changes in FriCAS 1.2.3:
- Fixed pattern matching using '%i' in patterns.
- Fixed ')display op coerce'.
- Fixed ')version' command.
- Fixed crash when printing '%'.
- Fix a buffer overflow in HyperDoc.
- Fixed HyperDoc errors in 'Dependants' and 'Users'.
- HyperDoc browser better handles constructors with parameters.
Changes in FriCAS 1.2.2:
- Improvements to 'integrate': better handling of algebraic
integrals, new routine which handles some integrals contaning
'lambertW'.
- Improvements to 'limit', now Gruntz algorithm knows about
a few tractable functions.
- Smith form of sparse integer matrices is now much more
efficient.
- Generalized indexing for two dimensional arrays.
- Pile/nopile mode is now restored after ')read' or ')compile'.
Piling rules now accept some forms of multiline lists.
- Eliminated version checking in generated code. Note: this
change means that Spad code compiled by earlier FriCAS versions
will not run in FriCAS 1.2.2.
- Updated Aldor interface to work with free Aldor.
Bug fixes, in particular:
- Interpreter can now handle complicated mutually recursive
functions.
- Spad compiler should now correctly handle 'has' inside a function.
- Fixed derivatives of Whittaker functions.
Changes in FriCAS 1.2.1:
-- Support for building Mac OS application bundle.
Bug fixes, in particular:
-- fixed few cases of wrong or unevaluated integrals.
-- better zero test during limit computation avoids division
by zero.
-- fixed buffer overflow problems in view3D.
-- 'reducedSystem' on empty input returns basis of correct size.
Notable changes since version 1.1.0:
- New graphics framework.
- Support for using GMP with sbcl on 32/64 bit AMD/Intel processors
(to activate it one must use '--with-gmp' option to configure).
- Improvements to integration and normalization. In particular
integrals containing multiple non-nested roots should now work
much faster. Also FriCAS now can compute more integrals
of Liouvillian functions.
- Several new special functions.
- Improvements to efricas.
- Looking for default init file FriCAS now first tries to use
'.fricas.input' and only if that fails it looks for
'.axiom.input'.
Bug fixes, in particular:
- Numeric atan, asin and acos took wrong branch.
- WeierstrassPreparation package did not work.
- Saving and restoring history should be now more reliable.
- Fixed two bugs in Spad compiler related to conditional compilation.
- Fixed a problem with rational reconstruction which affected
guessing package.
Changes since FriCAS 1.0.4:
- improvement to normalize function, it performs now much
stronger simplifications than before
- better integration: due to improved normalize FriCAS can
now integrate many functions that it previously considered
unintegrable
- improvement to Martin Rubey guessing package, for example
it can now guess differential equation for the generating
function of integer partitions
- better support for using type valued functions
- several bug fixes
Changes since FriCAS 1.0.3:
User Interface:
- Add a new emacs mode: just (require 'fricas), M-x fricas and enjoy.
- Add support for inline display of LaTeXed code.
- Add support for mouse wheel.
- Supress SBCL style warnings due to autoloading.
Merge Ralf's wonderful new Aldor interface.
Allow calling type-valued functions.
Improve coercion of types.
Add coercions to InputForm.
Improve unparse.
Use SExpression as representation of OutputForm.
Miscellaneous improvements, bug fixes and cleanups.
Approved by <obache>.
Packaged by Aleksej Saushev with help from Yorick Hardy
in the pkgsrc-wip project.
FriCAS is a fork of Axiom.
FriCAS algebra library is written in a high level strongly typed
language (Spad), which allows natural expression of mathematical
algorithms.
FriCAS uses lightweight developement methodology. Compared to Axiom
FriCAS is significantly restructured -- it is more portable and fixed
several defects. FriCAS removed rather large unused parts (without
removing functionality). It is expected that FriCAS will be much
easier to maintain than original Axiom.
