Commit graph

16 commits

Author SHA1 Message Date
asau
922570f7a0 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.
2010-11-24 22:43:40 +00:00
asau
1ed14b8ecb 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.
2010-07-05 22:41:16 +00:00
asau
fce135843e 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.
2010-01-23 02:11:40 +00:00
asau
00d30c1515 Skip checks until better solution found. 2009-12-23 17:17:35 +00:00
asau
c440f9919c 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
2009-12-15 23:36:28 +00:00
asau
4fbf25b8e8 Improve PLIST maintainance. 2009-10-26 07:53:39 +00:00
asau
04aed6866a Update to FriCAS 1.0.7
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.
2009-07-13 19:57:22 +00:00
joerg
674dbd1712 Convert @exec/@unexec to @pkgdir or drop it. 2009-06-14 20:47:52 +00:00
joerg
62d1ba2bac Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
asau
e30f319b03 Update to FriCAS 1.0.6
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
2009-04-30 19:55:47 +00:00
asau
afe9d70942 Recognize Dragofly as BSD Family representative.
Enables Dragonfly build (tested on 2.1.1).
2009-03-08 17:17:02 +00:00
asau
ab865e7de4 Fix DISTNAME so that it doesn't follow PKGREVISION changes.
Unbreaks fetch.
2009-02-25 01:49:48 +00:00
asau
0c97c611db CLISP isn't needed at run time, it is required for build time only.
Bump PKGREVISION.
2009-02-19 20:31:44 +00:00
asau
da45eeb096 Update to FriCAS 1.0.5, change default Lisp to CLISP.
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>.
2009-01-27 15:54:23 +00:00
asau
6abaa16949 Change category to "math" for consistency.
Discussed with tnn@.
2009-01-07 00:00:15 +00:00
ahoka
207dd9a17f Import fricas-1.0.3 as math/fricas.
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.
2008-09-14 12:25:00 +00:00