./math/fricas, FriCAS is a fork of the Axiom computer algebra system

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 1.3.5nb1, Package name: fricas-1.3.5nb1, Maintainer: asau

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.


Required to run:
[x11/libXpm]

Required to build:
[lang/clisp] [pkgtools/x11-links] [pkgtools/cwrappers] [x11/xorgproto]

Package options: clisp, x11

Master sites:

SHA1: 5bcf66349eda3c6c34d0290892adf4d9e25ece78
RMD160: 594b600e99dd161d2ec0091c569adcfaf0356f2f
Filesize: 10232.273 KB

Version history: (Expand)


CVS history: (Expand)


   2020-03-20 12:58:37 by Nia Alarie | Files touched by this commit (640)
Log message:
*: Convert broken sourceforge HOMEPAGEs back to http
   2020-03-08 17:42:31 by Benny Siegert | Files touched by this commit (67)
Log message:
Revbump packages depending on libffi after .so version change.

Requested by Matthias Ferdinand and Oskar on pkgsrc-users.
   2020-01-19 00:36:14 by Roland Illig | Files touched by this commit (3046)
Log message:
all: migrate several HOMEPAGEs to https

pkglint --only "https instead of http" -r -F

With manual adjustments afterwards since pkglint 19.4.4 fixed a few
indentations in unrelated lines.

This mainly affects projects hosted at SourceForce, as well as
freedesktop.org, CTAN and GNU.
   2019-03-23 01:20:45 by Ryo ONODERA | Files touched by this commit (3) | Package updated
Log message:
Update to 1.3.5

Changelog:
1.3.5
Notable changes (compared to version 1.3.4):

- Added free noncommutative field.

- Added factorization in free algebra.

- Improved coercion to InputForm.

- Removed cycle related functions from Tree and BinaryTreeCategory.

Bug fixes, in particular:

- Improved portablity to Windows and Mac OSX.

- Fixed input form of formal derivatives.

- Fixed coercion of polynomials to patterns.

- Fixed comparison with signed floating point zero.

1.3.4
otable changes (compared to version 1.3.3):

- Implemented 'sqrt' for prime fields.

- Improved computation of characteristic polynomial.

- Added convertion from list of elements of a free group to
  group presentation.

- Added 'extendedLLL'.

- Removed FreeAbelianGroup.

- Removed several old misfeatures.

Bug fixes, in particular:

- Fixed limit of Fresnel functions.

- Fixed few operations for matrices with specialised type.

- Fixed 'factor' for polynomials over finite fields.

1.3.3
Notable changes (compared to version 1.3.2):

- Added LLL reduction.

- New domain IntegerLocalizedAtPrime.

- Implemented numeric 'ellipticPi'.

- Improved Texmacs interface.

- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.

Bug fixes, in particular:

- Fixed compatiblility with sbcl-1.4.5.

- Fixed 'write' to Postscript file.

- Removed unsound power simplification.

- Recursion depth when resolving types is now limited (avoids crashes).

- Fixed handling of leading coefficient in gcd and square-free factorization.

- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):

- Implemented 'sqrt' for prime fields.

- Improved computation of characteristic polynomial.

- Added convertion from list of elements of a free group to
  group presentation.

- Added 'extendedLLL'.

- Removed FreeAbelianGroup.

- Removed several old misfeatures.

Bug fixes, in particular:

- Fixed limit of Fresnel functions.

- Fixed few operations for matrices with specialised type.

- Fixed 'factor' for polynomials over finite fields.

1.3.3
Notable changes (compared to version 1.3.2):

- Added LLL reduction.

- New domain IntegerLocalizedAtPrime.

- Implemented numeric 'ellipticPi'.

- Improved Texmacs interface.

- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.

Bug fixes, in particular:

- Fixed compatiblility with sbcl-1.4.5.

- Fixed 'write' to Postscript file.

- Removed unsound power simplification.

- Recursion depth when resolving types is now limited (avoids crashes).

- Fixed handling of leading coefficient in gcd and square-free factorization.

- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):

- Implemented 'sqrt' for prime fields.

- Improved computation of characteristic polynomial.

- Added convertion from list of elements of a free group to
  group presentation.

- Added 'extendedLLL'.

- Removed FreeAbelianGroup.

- Removed several old misfeatures.

Bug fixes, in particular:

- Fixed limit of Fresnel functions.

- Fixed few operations for matrices with specialised type.

- Fixed 'factor' for polynomials over finite fields.

1.3.3
Notable changes (compared to version 1.3.2):

- Added LLL reduction.

- New domain IntegerLocalizedAtPrime.

- Implemented numeric 'ellipticPi'.

- Improved Texmacs interface.

- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.

Bug fixes, in particular:

- Fixed compatiblility with sbcl-1.4.5.

- Fixed 'write' to Postscript file.

- Removed unsound power simplification.

- Recursion depth when resolving types is now limited (avoids crashes).

- Fixed handling of leading coefficient in gcd and square-free factorization.

- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):

- Implemented 'sqrt' for prime fields.

- Improved computation of characteristic polynomial.

- Added convertion from list of elements of a free group to
  group presentation.

- Added 'extendedLLL'.

- Removed FreeAbelianGroup.

- Removed several old misfeatures.

Bug fixes, in particular:

- Fixed limit of Fresnel functions.

- Fixed few operations for matrices with specialised type.

- Fixed 'factor' for polynomials over finite fields.

1.3.3
Notable changes (compared to version 1.3.2):

- Added LLL reduction.

- New domain IntegerLocalizedAtPrime.

- Implemented numeric 'ellipticPi'.

- Improved Texmacs interface.

- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.

Bug fixes, in particular:

- Fixed compatiblility with sbcl-1.4.5.

- Fixed 'write' to Postscript file.

- Removed unsound power simplification.

- Recursion depth when resolving types is now limited (avoids crashes).

- Fixed handling of leading coefficient in gcd and square-free factorization.

- Build fixes.

1.3.2
Notable changes (compared to version 1.3.1):

- Todd-Coxeter enumeration works also on cosets of subgroups.

- Handle some integrals in terms of incomplete Gamma with
  irrational first argument.

- Improvement to expressions: added symbolic 'conjugate',
  added derivatives of 'box' and 'paren'.

- Output now contains more spaces.

- Improvements to simplifying routines.

Bug fixes, in particular:

- Fixed a few glitches in printing operations.

- Fixed linear algebra with empty matrices.

- Avoided crash computing some determinants over GF(2).
   2017-04-13 16:35:31 by Aleksej Saushev | Files touched by this commit (3) | Package updated
Log message:
Update to FriCAS 1.3.1
Detailed changes are not known and not clear (besides regular cleanup).
   2017-04-13 15:00:43 by Aleksej Saushev | Files touched by this commit (1)
Log message:
Handle MACHINE_GNU_PLATFORM when generating PLIST.
   2016-03-12 21:54:23 by Aleksej Saushev | Files touched by this commit (3) | Package updated
Log message:
Update to FriCAS 1.2.7

Changes:

- New package implementing van Hoej factorization algorithm
  for LODO-s.

- Gcd over Expression(Integer) now uses modular method.

- Improvements to integrator, in partucular trigonomoetric
  functions are consistently integrated via transformation
  to complex exponentials.

- Some categories and domains are more general. In particular
  OrderedFreeMonoid is removed, as ordered case is handled
  by FreeMonoid.

- Category Monad in renamed to Magma. Domain Magma is
  renamed to  FreeMagma.

Bug fixes, in particular:

- Coercion of square matrices to polynomials is fixed.

- Problem with division by 0 in derivative of 'ellipticPi'
  is fixed.

- Division in Ore algebras used to cause infinite loop
  when coefficients were power series.
   2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262)
Log message:
Add SHA512 digests for distfiles for math category

Problems found locating distfiles:
	Package dfftpack: missing distfile dfftpack-20001209.tar.gz
	Package eispack: missing distfile eispack-20001130.tar.gz
	Package fftpack: missing distfile fftpack-20001130.tar.gz
	Package linpack: missing distfile linpack-20010510.tar.gz
	Package minpack: missing distfile minpack-20001130.tar.gz
	Package odepack: missing distfile odepack-20001130.tar.gz
	Package py-networkx: missing distfile networkx-1.10.tar.gz
	Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
	Package quadpack: missing distfile quadpack-20001130.tar.gz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.