The NetBSD Project

CVS log for pkgsrc/math/fricas/PLIST

[BACK] Up to [cvs.NetBSD.org] / pkgsrc / math / fricas

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.20 / (download) - annotate - [select for diffs], Sat Mar 23 00:20:45 2019 UTC (8 months, 2 weeks ago) by ryoon
Branch: MAIN
CVS Tags: pkgsrc-2019Q3-base, pkgsrc-2019Q3, pkgsrc-2019Q2-base, pkgsrc-2019Q2, pkgsrc-2019Q1-base, pkgsrc-2019Q1, HEAD
Changes since 1.19: +41 -15 lines
Diff to previous 1.19 (colored)

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

Revision 1.19 / (download) - annotate - [select for diffs], Thu Apr 13 14:35:31 2017 UTC (2 years, 7 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2018Q4-base, pkgsrc-2018Q4, pkgsrc-2018Q3-base, pkgsrc-2018Q3, pkgsrc-2018Q2-base, pkgsrc-2018Q2, pkgsrc-2018Q1-base, pkgsrc-2018Q1, pkgsrc-2017Q4-base, pkgsrc-2017Q4, pkgsrc-2017Q3-base, pkgsrc-2017Q3, pkgsrc-2017Q2-base, pkgsrc-2017Q2, pkgsrc-
Changes since 1.18: +102 -114 lines
Diff to previous 1.18 (colored)

Update to FriCAS 1.3.1
Detailed changes are not known and not clear (besides regular cleanup).

Revision 1.18 / (download) - annotate - [select for diffs], Sat Mar 12 20:54:23 2016 UTC (3 years, 9 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2017Q1-base, pkgsrc-2017Q1, pkgsrc-2016Q4-base, pkgsrc-2016Q4, pkgsrc-2016Q3-base, pkgsrc-2016Q3, pkgsrc-2016Q2-base, pkgsrc-2016Q2, pkgsrc-2016Q1-base, pkgsrc-2016Q1
Changes since 1.17: +24 -21 lines
Diff to previous 1.17 (colored)

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.

Revision 1.17 / (download) - annotate - [select for diffs], Wed Aug 12 08:50:37 2015 UTC (4 years, 4 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2015Q4-base, pkgsrc-2015Q4, pkgsrc-2015Q3-base, pkgsrc-2015Q3
Changes since 1.16: +14 -32 lines
Diff to previous 1.16 (colored)

Update to FriCAS 1.2.6


Changse 1.2.6:

- Eigenvalues can be computed over larger range of base fields.
- Common denomiantor package handles now multivariate polynomials.
- More uniform break (error) handling.

Bug fixes, in particular:

- 'distribute' handles 'box' operator.
- Fixed problem with guessing over multivariate polynomilas.
- Fixed hashcode handling for Void in Aldor.

Revision 1.16 / (download) - annotate - [select for diffs], Mon Aug 10 08:13:45 2015 UTC (4 years, 4 months ago) by asau
Branch: MAIN
Changes since 1.15: +2667 -1321 lines
Diff to previous 1.15 (colored)

Update to FriCAS 1.2.5


Changes in FriCAS 1.2.5:

- Fixed printing of scripted symbols.
- Fixed 'totalDegreeSorted' (affected Groebner bases).
- Fixed few problems with Hensel lifting (including SF bug 47).
- Fixed 'series' in UnivariateLaurentSeriesConstructor.
- Fixed 'order' in SparseUnivariatePowerSeries.
- Printing of series now respect 'showall' setting, cyclic
  series are detected.
- Fixed problem with interpreter preferring Union to base type.


Changes in FriCAS 1.2.4:

- New cylindrical decomposition package.
- New GnuDraw package for plotting via gnuplot.
- Texmacs interface now handles Cork symbols.
- Added double precision versions of several special functions
      (needed for plotting).
- Nopile mode for Spad is changed to be more convenient.
- 'stringMatch' is removed (was broken beyond repair).

Bug fixes, in particular:

- Fixed intepreter assignment to parts of nested aggregates
      (issue 376).
- Fixed interpreter coercion from Equation to Boolean (issue 359).
- Fix printing of '\%i' in types (issue 132).
- Disabled incorrect shortcut during coercion (issue 29).
- Difference of intervals now agrees with definition as interval
      operation.
- Avoid overwriting loop limit and increment.
- Fix a polynomial gcd failure due to bad reduction.
- Avoid mangling unevaluated algebraic integrals.
- Fix integration of unevaluated derivatives.
- Restore parser handling of '\\/' and '/\\'.
- Properly escape strings and symbols in TeXFormat.


Changes in FriCAS 1.2.3:

- Fixed pattern matching using '%i' in patterns.
- Fixed ')display op coerce'.
- Fixed ')version' command.
- Fixed crash when printing '%'.
- Fix a buffer overflow in HyperDoc.
- Fixed HyperDoc errors in 'Dependants' and 'Users'.
- HyperDoc browser better handles constructors with parameters.


Changes in FriCAS 1.2.2:

- Improvements to 'integrate': better handling of algebraic
  integrals, new routine which handles some integrals contaning
  'lambertW'.
- Improvements to 'limit', now Gruntz algorithm knows about
  a few tractable functions.
- Smith form of sparse integer matrices is now much more
  efficient.
- Generalized indexing for two dimensional arrays.
- Pile/nopile mode is now restored after ')read' or ')compile'.
  Piling rules now accept some forms of multiline lists.
- Eliminated version checking in generated code. Note: this
  change means that Spad code compiled by earlier FriCAS versions
  will not run in FriCAS 1.2.2.
- Updated Aldor interface to work with free Aldor.

Bug fixes, in particular:

- Interpreter can now handle complicated mutually recursive
  functions.
- Spad compiler should now correctly handle 'has' inside a function.
- Fixed derivatives of Whittaker functions.


Changes in FriCAS 1.2.1:

-- Support for building Mac OS application bundle.

Bug fixes, in particular:

-- fixed few cases of wrong or unevaluated integrals.
-- better zero test during limit computation avoids division
   by zero.
-- fixed buffer overflow problems in view3D.
-- 'reducedSystem' on empty input returns basis of correct size.

Revision 1.15 / (download) - annotate - [select for diffs], Sun May 19 10:01:00 2013 UTC (6 years, 6 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2015Q2-base, pkgsrc-2015Q2, pkgsrc-2015Q1-base, pkgsrc-2015Q1, pkgsrc-2014Q4-base, pkgsrc-2014Q4, pkgsrc-2014Q3-base, pkgsrc-2014Q3, pkgsrc-2014Q2-base, pkgsrc-2014Q2, pkgsrc-2014Q1-base, pkgsrc-2014Q1, pkgsrc-2013Q4-base, pkgsrc-2013Q4, pkgsrc-2013Q3-base, pkgsrc-2013Q3, pkgsrc-2013Q2-base, pkgsrc-2013Q2
Changes since 1.14: +2 -0 lines
Diff to previous 1.14 (colored)

Update to FriCAS 1.2.0


Notable changes (compared to version 1.1.8):

- New MatrixManipulation package.

- New ParallelIntegrationTools package.

- Gruntz algorithm in now used also for finite one-sided limits.

- FriCAS has now true 2-dimensional arrays (previously they were
  emulated using vectors of vectors).

- Speedups in some matrix operations and in arithmetic with
  algebraic expressions.

- FreeModule is now more general, it allows Comparable as second
  argument.

- Changed Spad parser, it now uses common scanner with interpreter.
  Spad language is now closer to interpreter language and Aldor.
  'leave' is removed,  'free', 'generate' and 'goto' are now keywords.
  Pile rules changed slightly, they should be more intuitve now.
  Error messages from Spad parser should be slightly better.

Bug fixes, in particular:

- Fixed a few build problems.

- Eliminated division by 0 during 'normalize'.

- 'nthRootIfCan' removes leading zeros from generalized series
   (this avoids problems with power series expanders).

- Fixed corruption of formal derivatives.

- Fixed two problems with fortan output.

- Fixed ')untrace' and ')undo'.  Fixed ')trace' with ECL.

- Fixed problem with calling efricas if user default shell is (t)csh.

Revision 1.14 / (download) - annotate - [select for diffs], Sat Dec 8 15:26:57 2012 UTC (7 years ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2013Q1-base, pkgsrc-2013Q1, pkgsrc-2012Q4-base, pkgsrc-2012Q4
Changes since 1.13: +34 -1 lines
Diff to previous 1.13 (colored)

Update to FriCAS 1.1.8


Notable changes in FriCAS 1.1.8 (compared to version 1.1.7):

- Improvements of pattern matching integrator, it can now integrate
  in terms of Fresnel integrals and better handles integrals in terms
  of Si and Ci.
- Better integration of symbolic derivatives.
- Better normalization of Liouvillian functions.
- New package for computing limits using Gruntz algorithm.
- Faster removal of roots from denominators.
- New domains for mutivariate Ore algebras and partial differential
  operators.
- New package for noncommutative Groebner bases.
- New domain for univariate power series with arbitrary exponents.
- New special functions: Shi and Chi.
- New package for noncommutative Groebner bases.
- New domain for univariate power series with arbitrary exponents.
- New special functions: Shi and Chi.
- Several aggregates (in particular tables) allow more general
  parameter types.
- New domain for hash tables using equality from underlying
  domain.

Bug fixes, in particular:

- Fixed problem with gcd failing due to bad reduction.
- Fixed series of 'acot' and Puiseux series of several special functions.
- Fixed wrong factorization of differential operators.
- Fixed build problem on recent Mac OS X.


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

- Improved integration in terms of special functions.
- Updated new graphics framework and graph theory package.
- Added routines for numerical evaluation of several special
  functions.
- Added modular method for computing polynomial gcd over algebraic extensions.
- Derivatives of fresnelC and fresnelS are changed to agree
  with established convention.
- When printing floats groups of digits are now separated by
  underscores (previously were separated by spaces).
- Added C code for removing directories, this speeds up full
  build and should avoid build problems on Mac OSX.

Bug fixes, in particular:

- Series expansion now handle poles of Gamma.
- Fixed derivatives of meijerG.

Revision 1.13 / (download) - annotate - [select for diffs], Thu Feb 23 19:24:34 2012 UTC (7 years, 9 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2012Q3-base, pkgsrc-2012Q3, pkgsrc-2012Q2-base, pkgsrc-2012Q2, pkgsrc-2012Q1-base, pkgsrc-2012Q1
Changes since 1.12: +49 -9 lines
Diff to previous 1.12 (colored)

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

Revision 1.12 / (download) - annotate - [select for diffs], Fri Jul 8 10:18:21 2011 UTC (8 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2011Q4-base, pkgsrc-2011Q4, pkgsrc-2011Q3-base, pkgsrc-2011Q3
Changes since 1.11: +36 -2 lines
Diff to previous 1.11 (colored)

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.

Revision 1.11 / (download) - annotate - [select for diffs], Wed Jun 22 06:36:37 2011 UTC (8 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2011Q2-base, pkgsrc-2011Q2
Changes since 1.10: +13 -20 lines
Diff to previous 1.10 (colored)

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.

Revision 1.10 / (download) - annotate - [select for diffs], Wed Nov 24 22:43:40 2010 UTC (9 years ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2011Q1-base, pkgsrc-2011Q1, pkgsrc-2010Q4-base, pkgsrc-2010Q4
Changes since 1.9: +11 -0 lines
Diff to previous 1.9 (colored)

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.

Revision 1.9 / (download) - annotate - [select for diffs], Mon Jul 5 22:41:16 2010 UTC (9 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2010Q3-base, pkgsrc-2010Q3
Changes since 1.8: +13 -13 lines
Diff to previous 1.8 (colored)

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.

Revision 1.8 / (download) - annotate - [select for diffs], Sat Jan 23 02:11:40 2010 UTC (9 years, 10 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2010Q2-base, pkgsrc-2010Q2, pkgsrc-2010Q1-base, pkgsrc-2010Q1
Changes since 1.7: +14 -1 lines
Diff to previous 1.7 (colored)

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.

Revision 1.7 / (download) - annotate - [select for diffs], Tue Dec 15 23:36:28 2009 UTC (9 years, 11 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2009Q4-base, pkgsrc-2009Q4
Changes since 1.6: +38 -96 lines
Diff to previous 1.6 (colored)

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

Revision 1.6 / (download) - annotate - [select for diffs], Mon Jul 13 19:57:22 2009 UTC (10 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2009Q3-base, pkgsrc-2009Q3
Changes since 1.5: +6 -2 lines
Diff to previous 1.5 (colored)

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.

Revision 1.5 / (download) - annotate - [select for diffs], Sun Jun 14 20:47:52 2009 UTC (10 years, 5 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2009Q2-base, pkgsrc-2009Q2
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

Convert @exec/@unexec to @pkgdir or drop it.

Revision 1.4 / (download) - annotate - [select for diffs], Sun Jun 14 18:05:43 2009 UTC (10 years, 5 months ago) by joerg
Branch: MAIN
Changes since 1.3: +1 -167 lines
Diff to previous 1.3 (colored)

Remove @dirrm entries from PLISTs

Revision 1.3 / (download) - annotate - [select for diffs], Thu Apr 30 19:55:47 2009 UTC (10 years, 7 months ago) by asau
Branch: MAIN
Changes since 1.2: +1 -2 lines
Diff to previous 1.2 (colored)


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

Revision 1.2 / (download) - annotate - [select for diffs], Tue Jan 27 15:54:23 2009 UTC (10 years, 10 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2009Q1-base, pkgsrc-2009Q1
Changes since 1.1: +24 -6 lines
Diff to previous 1.1 (colored)


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

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Sun Sep 14 12:25:30 2008 UTC (11 years, 2 months ago) by ahoka
Branch: TNF
CVS Tags: pkgsrc-base, pkgsrc-2008Q4-base, pkgsrc-2008Q4, pkgsrc-2008Q3-base, pkgsrc-2008Q3
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

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.

Revision 1.1 / (download) - annotate - [select for diffs], Sun Sep 14 12:25:30 2008 UTC (11 years, 2 months ago) by ahoka
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.




CVSweb <webmaster@jp.NetBSD.org>