./math/fricas, Fork of the Axiom computer algebra system

[ Image CVSweb ] [ Image Homepage ] [ Image RSS ] [ Image Required by ]


Branch: CURRENT, Version: 1.3.13, Package name: fricas-1.3.13, 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:

Filesize: 10739.564 KB

Version history: (Expand)


CVS history: (Expand)


   2026-08-04 22:29:21 by Thomas Klausner | Files touched by this commit (336)
Log message:
*: add LDFLAGS overide that was previously in mk

This is a workaround and should be fixed properly per-package - they
should use the pkgsrc LDFLAGS, but this restores what happened
before the mk/ cleanup.

Fixes relro build for packages that do not honor LDFLAGS.

Package list provided by mef@, thanks!

Workaround commit requested by bsiegert on tech-pkg.
   2026-07-31 08:58:29 by Wen Heping | Files touched by this commit (3)
Log message:
Update to 1.3.13

Upstream changes:
1.3.13:
Changes:

- new constructors: BrowserInformation, TexParser,
   ModularU32MatrixOperations, AIntervalCategory, AInterval,
   PadeContinuousFraction.

- changes to conditions and exports.

- new implementation of IndexCard.

- better support for pure Lisp build.

Bug fixes, in particular:

- fixed wrong initialization of number of rows and columns for
   two dimensional arrays.

- corrected result of integrals in terms of elliptic functions.

- corrected stirling numbers at 0.

- fixed map between matrices with differing minimal indices.

- interpreter now avoids strange types.

- more consistent handling of pathnames.

1.3.12:
Changes:

- Added Berkowitz algorithm for computing characteristic polynomial
  in general case

- 'rootSplit' and 'rootFactor' now handle nested roots

- Terminal emulator used by FriCAS is now setable via
  environment variables

Bug fixes, in particular:

- Fixed several problem with handling type conditions in HyperDoc

- Fixed coercion from expressions to algebraic numbers

- Fixed artihmetic in FourierSeries

1.3.11:
Changes:

- Implemented numeric 'riemannZeta'.

- Improved 'radicalSolve' for degree 4 polynomials.

- Improved FriCAS Book.

- Old factorizers for univariate polynomials over finite fields
  are removed.

- 'simplifyExp' supports more kinds of expressions.

- Small improvements to Spad compiler.

Bug fixes, in particular:

- Implemented inverse trigonometric and hyperbolic functions for power
  series at branch points.

- HyperDoc launched by ')hd' now properly exits when FriCAS quits.

- ')display op groebner' now works.

- Prevent exits from page viewer when content is less than one page.

- Fixed HyperDoc logical search.

- Various build fixes.

1.3.10:
Changes:

- New package for root denesting.

- New convenience package containing Unicode symbols.

- Improvements to runtime accounting subsystem, in particular
  FriCAS can now print info about storage use.

- Improved handling of roots during integration.

- Improved 'simplifyExp'.

- Domain Pi is renamed to PiDomain.

- Added Lisp version to FriCAS banner.

Bug fixes, in particular:

- Disabled splitting of roots by default simplifications.

- Fixed various build problems.

- Fixed wrong creation of sparse power series.

- Fixed problem with derivatives of unevaluated definite integrals.

1.3.9:
- Distributed binary includes support for jfricas.

- Construct of tagged unions by specifying tag.

- New category Hashable.

- AlgebraGivenByStructuralConstants now more general and
      has FreeModuleCategory.

- Rename 'escape' in Character to 'underscore'.

Bug fixes, in particular:

- Fixed power series expander for 'polylog' at 0.

- Fixed storing complex data, in particular streams in files.

- Fixed varius build problems, in particular build with
  sbcl-2.3.2 and newer.

- Main integrator no longer uses 'real'.

1.3.8:
- Improvements to integrator, in particular integrator
  can now express some integrals in terms of elliptic
  integrals.

- More specialized array domains.

- Better handling of cyclotomic polynomials. Roots of
  cyclotomic polynomials are now presented in trigonometric
  form.

- Preliminary support for timeouts (only when using sbcl).

- 'iterate' is now implemented for Spad.

Bug fixes, in particular:

- Fixes for handling of kernels.

- Fixes for 'elt' when handling segments with increments.

- Fixed handling of predicates in rewrite rules.

- Fixed build with clisp.

1.3.7:
- Small improvements to integrator and limits

- Generalized a few domains and packages

- Two new convolutions for quantum probability

- Main FriCAS environment variable is now called FRICAS and main
  executable is called FRICASsys

Bug fixes, in particular:

- Better error detection for numeric elementary functions

- Fixed TeX output of formal derivatives

- Fixed input form of formal derivatives

1.3.6:
Changes:

- Small improvements to integrator and limits

- Generalized a few domains and packages

- Two new convolutions for quantum probability

- Main FriCAS environment variable is now called FRICAS and main
  executable is called FRICASsys

Bug fixes, in particular:

- Better error detection for numeric elementary functions

- Fixed TeX output of formal derivatives

- Fixed input form of formal derivatives
   2025-11-17 12:01:43 by Thomas Klausner | Files touched by this commit (709)
Log message:
*: switch all sourceforge HOMEPAGEs to https
   2024-08-11 17:32:44 by Robert Swindells | Files touched by this commit (3)
Log message:
Remove explicit use of devel/libffi when building with lang/ecl.
   2023-06-06 14:42:56 by Taylor R Campbell | Files touched by this commit (1319)
Log message:
Mass-change BUILD_DEPENDS to TOOL_DEPENDS outside mk/.

Almost all uses, if not all of them, are wrong, according to the
semantics of BUILD_DEPENDS (packages built for target available for
use _by_ tools at build-time) and TOOL_DEPEPNDS (packages built for
host available for use _as_ tools at build-time).

No change to BUILD_DEPENDS as used correctly inside buildlink3.

As proposed on tech-pkg:
https://mail-index.netbsd.org/tech-pkg/2023/06/03/msg027632.html
   2022-12-21 14:33:59 by Thomas Klausner | Files touched by this commit (2)
Log message:
fricas: skip PIE check for one file

Makes this package. If you know how to make this file PIE, please do so!
   2021-12-08 17:07:18 by Adam Ciarcinski | Files touched by this commit (3062)
Log message:
revbump for icu and libffi
   2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458)
Log message:
math: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes