Notable changes (compared to version 1.0.9) include:
- New domains and packages: VectorSpaceBasis domain,
DirichletRing domain, 3D graphic output in Wavefront .obj format,
specialized machine precision numeric vectors and matrices (faster
then general vectors and matrices), Html output.
- Support Clifford algebras corresponding to non-diagonal matrix,
added new operations.
- 'normalize' now tries to simplify logarithms of algebraic constants.
- New functions: Fresnel integrals, carmichaelLambda.
- Speed improvements: several polynomial operations are faster,
faster multiplication in Ore algebras, faster computation of
strong generating set for permutation groups, faster coercions.
- Several improvements to the guessing package (in particular new
option Somos for restricting attention to Somos-like
sequences
Bug fixes, in particular:
- FriCAS can now compute multiplicative inverse of a power series
with constant term not equal to 1.
- Fixed a problem with passing interpreter functions to algebra.
- Two bugs causing crashes in HyperDoc interface are fixed.
- FriCAS now ignores sign when deciding if number is prime.
- A failing coercion that used to crash FriCAS is now detected.
- 'has' test sometimes gave wrong result.
- Plotting fixes.
Notable changes (compared to version 1.0.8) include:
- Speed improvements to polynomial multiplication, power series
multiplication, guessing package and coercion of polynomials
to expressions.
- Domains for tensor products.
- 'Complex(Integer)' is now UniqueFactorizationDomain.
- Types in interpreter are now of type 'Type' (instead of 'Domain')
and categories in interpreter are of type 'Category' (instead of
'Subdomain(Domain)').
- Interpreter functions can now return 'Type'.
- New function for files: 'flush'.
- Spad compiler: return in nested functions and nested functions
returning functions.
Bug fixes, in particular:
- Several fixes to guessing package.
- Avoid crash when unparsing equations.
- Equation solver accepts more solutions.
- Fixed handling of 'Tuple' in Spad parser.
- Fixed miscompilation of record constructor by Spad compiler.
Notable changes (compared to version 1.0.7) include:
- Improved version of guessing package. It can now handle
much larger problems than before. Added ability to guess
functional substitution (Mahler) equations.
- Experimental support for build using CMU CL.
- Various speed improvements including faster indexing for two
dimensional arrays.
- By default FriCAS build tries to use SBCL.
- Building no longer require patch.
Bug fixes, in particular:
- correct definition of random() for matrices
- conditionals in .input files work again
- Spad compiler now recognizes more types as equal
- fixed problem with pattern-matching quote
Changes:
- Comparisons between elements of the Expression domain are undefined.
Earlier versions gave confusing results for expressions like '\%e < \%pi',
now FriCAS will complain about '<' being undefined.
- A domain for general quaternions was added.
- Equality in Any is now more reasonable -- it uses equality from
underlying domain if available.
- Messages about loading of components are switched off by default.
- Release build benefits from parallel make.
- In Spad code a single quote now means that the following token
is a symbol.
- Reorganization of algebra sources, in particular several types
have changed (this may affect users Spad code).
Bug fixes, in particular:
- Categories with default package can be used just after definition
(fixes 1.0.6 regression).
- Plots involving 0 or 1 work now.
- Numbers in radix bigger than 10 appear correctly in TeX output.
- Fixed browser crashes when displaying some domains.
- Fix horizontal display of fractions.
- Allow local domains in conditionals (in Spad code).
- Fixed a problem with splitting polynomials and nested extensions.
Notable changes (compared to 1.0.5 version) include:
- the axiom script is no longer installed (use fricas script instead)
- some undesirable simplification are no longer done by default,
for example now asin(sin(3)) is left unevaluated
- support lambda expressions using '+->' syntax and nested functions
in Spad
- better configure, support for Dragonfly BSD
- faster bootstrap, also parallel (this does not affect speed
of release build)
Several bug fixes, in particular:
- fixed a regression introduced in 1.0.4 which caused equality
for nested products to sometimes give wrong result
- corrected fixed output of floating point numbers,
- operations on differential operators like symmetric power work now
- fixed crashes related to coercing power series
- functions returning Void can be traced
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.
