% =====================================================================
\begin{page}{releaseNotes}{0. What's New in \Language{}}
% =====================================================================
\beginscroll

\Language{} information can be found online at
{http://fricas.sourceforge.net}

\indent{0}
FriCAS 1.1.1 news:
\indent{3}

- 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.

\indent{0}
FriCAS 1.1.0 news:
\indent{3}

- 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.


\indent{0}
FriCAS 1.0.9 news.
\indent{3}

- 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.

\indent{0}
FriCAS 1.0.8 news.
\indent{3}

- Improved version of guessing package.  It can now handle much
  larger problems than before.  Added ability to guess
  functional substitution 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

\indent{0}
FriCAS 1.0.7 news.
\indent{3}

- 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 problem with splitting polynomials and nested extensions.

\indent{0}
FriCAS 1.0.6 news.
\indent{3}

- 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

\indent{0}
FriCAS 1.0.5 news.
\indent{3}

- 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

\indent{0}
FriCAS 1.0.4 news.
\indent{3}

- significant speedups for some operations (for example
  definite integration)

- support for building algebra using user-defined optimization
  settings

- support for mouse wheel in HyperDoc browser

- included support for interfacing with Aldor

- new optional Emacs mode and efricas script to run FriCAS
  inside emacs

- better unparse

- removed support for attributes (replaced by empty categories) and
  use of colon for type conversions in Spad code

- a few bug fixes

\indent{0}
FriCAS 1.0.3 news.
\indent{3}

- added multiple precision Gamma and logGamma functions

- better line editing

- remove some undocumented and confusing constructs from Spad
  language

- added new categories for semiring and ordered semigroup,
  direct product of monoids is now a monoid

- internal cleanups and restructurings

- a few bug fixes

\indent{0}
FriCAS 1.0.2 news.
\indent{3}

- ')nopiles' command gives conventional syntax

- added pfaffian function

- ECL support

- Graphics and Hyperdoc work using openmcl or ECL

- Output may be now delimited by user defined markers

- Experimental support for using as a Lisp library

- Spad compiler is now significantly faster

- Several bug fixes

\indent{0}
FriCAS 1.0.1 news.
\indent{3}

- Graphics and Hyperdoc work using sbcl or clisp

- Builds under Cygwin (using Cygwin clisp)

- MathML support contributed by Arthur C. Ralfs

- Help files created by Tim Daly

- Added SPADEDIT script

- Full release caches all generated HyperDoc pages

- Bug fixes, including implementing some missing functions and build fixes

\indent{0}
FriCAS 1.0.0 news.
\indent{3}

The 1.0 release is the first release of FriCAS.  Below we list
main differences compared to AXIOM September 2006.

Numerous bug fixes (in particular HyperDoc in now fully functional
on Unix systems).

FriCAS includes guessing package written by Martin Rubey.  This
package provides unique ability to guess formulas for sequences
of numbers or polynomials.

Some computation, in particular involving Expression domain, should be
much faster.  FriCAS to go trough its testsuite needs only half
of the time needed by AXIOM September 2006.

Spad compilation is faster (in some cases 2 times faster).

FriCAS is much more portable than AXIOM September 2006.  It can
be build on Linux, many Unix systems (for example Mac OSX and Solaris 10)
and Windows.   It can be build on top of gcl, sbcl, clisp or openmcl
(gcl and sbcl based FriCAS is fully functional, clisp or openmcl
based one lacks graphic support).

Many unused or non-working parts are removed from FriCAS.  In particular
FriCAS does not contain support for NAG numerical library.

FriCAS can be build from sources using only a few pre-generated Lisp
files for bootstrap -- only to bootstrap Shoe translator.  This
means that modifying FriCAS algebra is now much easier.
\beginmenu
    %\menudownlink{Online information}{onlineInformation}
    \menudownlink{AXIOM February 2005}{feb2005}
\endmenu

\endscroll
\autobuttons
\end{page}

% =====================================================================
\begin{page}{onlineInformation}{Online information}
% =====================================================================
\beginscroll
\Language{} information can be found online at
{http://fricas.sourceforge.net}
{http://page.axiom-developer.org/zope/mathaction/FrontPage}
{http://savannah.nongnu.org/projects/axiom}
{http://sourceforge.net/projects/axiom}
{http://www.caissny.org}
\endscroll
\autobuttons
\end{page}

% =====================================================================
\begin{page}{feb2005}{Feature Complete release}
% =====================================================================
\beginscroll
The February 2005 release is the first complete release of the 
AXIOM system since it was first made available as open source.

This release includes the full complement of algebra, the graphics
subsystem, and the hyperdoc system. 

This full release runs on Linux and Solaris 9. 
The algebra runs on Windows.
\endscroll
\autobuttons
\end{page}

