Log message:
"user-destdir" is default these days

Log message:
Update to FriCAS 1.1.6

Notable changes in FriCAS 1.1.6 (compared to version 1.1.5):

- Added experimental graph theory package.

- Added power series expanders for Weierstrass elliptic
  functions at 0.

- New functions: kroneckerProduct and kroneckerSum for matrices,
  numeric weierstrassInvariants and modularInvariantJ, symbolic
  Jacobi Zeta, double float numeric elliptic integrals.

- New domains for vectors and matrices of unsigned 8 and 16 bit integers.

- Changes to Spad compiler: underscores which are not needed as escape
  are now significant in Spad names and strings, macros with parameters
  are supported, added partial support for exceptions, braces can
  be used for grouping.

- A few speedups.

- Reduced disc space usage during build.

Bug fixes, in particular:

- Fixed eval of hypergeometricF at 0

- Fixed problem with scope of macros.

- Worked around problems with openinig named pipes in several Lisp
  implementations.

- Fixed a problem with searching documentation via HyperDoc.

- Fixed build problem on Mac OSX.

Notable changes in FriCAS 1.1.5 (compared to version 1.1.4):

- Added numeric version of lambertW.

- New function 'rootFactor' which tries to write roots of products
  as products of roots.

- 'try', 'catch' and 'finally' are now Spad keywords.

- Experimental support for using gmp with Closure CL (64-bit Intel/Amd
  only).

- New categoris CoercibleFrom and ConvertibleFrom.  New domain
  for ordinals up to epsilon0.  New domain for matrices of machine
  integers.  New package for solving linear equations written as
  expressions (faster then general expression solver).

- Functions exported by Product() are now called 'construct', 'first'
  and 'second' (instead of 'makeprod', 'selectfirst' and 'selectsecond'
  respectively).

- Some functions are now much faster, in particular bivariate
  factorization over small finite fields.

- When using sbcl FriCAS now tries to preload statistical profiler.

Bug fixes, in particular:

- Fixed handling of Control-C in FriCAS compiled by recent sbcl.

- Fixed HyperDoc crash due to bad handling of '#'.

- Fixed power series expanders for elliptic integrals.

- Fixed 'possible wild ramifcation' problem with algebraic
  integrals.

- 'has' in interpreter now correctly handles '%'.

- Spad compiler can now handle single '=>' at top level of a function.

- Fixed few problems with conditional types in Spad compiler.

Notable changes in FriCAS 1.1.4 (compared to version 1.1.3):

- New domains for combinatorial probability theory by Franz Lehner.

- Improved integration of algebraic functions.

- Initial support for semirings.

- Updated framework for theory of computations.

- In Spad parser '**', '^' and '->' are now
  right-associative.

- Spad parser now longer transforms relational operators.

- Join of categories is faster which speeds up Spad compiler.

Bug fixes, in particular:

- Retraction of 'rootOf' from Expression(Integer) to AlgebraicNumber
  works now.

- Attempt to print error message about invalid type no longer
  crash (SF 2977357).

- Fixed few problems in Spad compiler dealing with conditional exports.

- HyperDoc now should find all function descriptions (previously
  it missed several).

Log message:
Update to FriCAS 1.1.3

Changes:

- Added "jet bundle" framework  by Werner Seiler and Joachim Schue,
  which includes completion procedure and symmetry analysis for PDE.

- Better splitting of group representations (added Holt-Rees improvement
  to meatAxe).

- Added numeric versions of some elliptic integrals and few more elliptic
  functions.

- Speeded up FFCGP (finite fields via Zech logarithms).

- New experimental flag (off by default, set via setSimplifyDenomsFlag)
  which if on causes removal of irrationalities from denominators.
  Usually it causes slowdown, but on some examples gives huge speedup.
  It may go away in future (when no longer needed).

- Added experimental framework for theory of computations.

Bug fixes, in particular:

- Numerical solutions of polynomial systems have now required accuracy
  (SF 2418832).

- Fixed problem with crashes during tracing.

- Fixed a problem with nested iteration (SF 3016806).

- Eliminated stack overflow when concatenating long lists.

Log message:
Update FriCAS to 1.1.2

Changes:

- Experimental Texmacs interface and Texmacs format output.
- Guessing package can now guess algebraic dependencies.
- Expansion into Taylor series and limits now work for most
  special functions.
- Spad to Aldor translator is removed.
- Spad compiler no longer allows to denote sets using braces.

Bug fixes, in particular:

- Fixed few cases where elementary integrals were returned
  unevaluated or produced wrong results.
- Unwanted numerical evaluation should be no longer a problem
  (FriCAS interpreter now very strongly prefers symbolic
  evaluation over numerical evaluation).
- Fixed a truncation bug in guessing package which causes loss
  of some correct solutions.
- TeX and MathML format should correctly put parentheses around
  and inside sums and products.
- Fixes few problems with handling of Unicode.

Log message:
Update to FriCAS 1.1.1

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.

Log message:
Update to FriCAS 1.1.0

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.

Log message:
Update to FriCAS 1.0.9

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.

Log message:
Skip checks until better solution found.

Log message:
Update to FriCAS 1.0.8

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

Log message:
Improve PLIST maintainance.