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.

3 files changed, 47 insertions, 14 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index 4aebd01eb29..0690a903ec5 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.14 2011/06/22 06:36:37 asau Exp $
+# $NetBSD: Makefile,v 1.15 2011/07/08 10:18:21 asau Exp $
 
-PKGNAME=		fricas-1.1.2
+PKGNAME=		fricas-1.1.3
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
@@ -9,19 +9,18 @@ EXTRACT_SUFX=		.tar.bz2
 MAINTAINER=		asau@inbox.ru
 HOMEPAGE=		http://fricas.sourceforge.net/
 COMMENT=		FriCAS is a fork of the Axiom computer algebra system
-
 LICENSE=		modified-bsd
 
-WRKSRC=			${WRKDIR}/${PKGNAME_NOREV}
-
 BUILD_DEPENDS+=		noweb-[0-9]*:../../devel/noweb
 
-GNU_CONFIGURE=		yes
-USE_TOOLS+=		gmake
-
 PKG_DESTDIR_SUPPORT=	user-destdir
 MAKE_JOBS_SAFE=		no
 
+WRKSRC=			${WRKDIR}/${PKGNAME_NOREV}
+
+GNU_CONFIGURE=		yes
+USE_TOOLS+=		gmake
+
 # Problems:
 # 4. Emacs files should go into "site-lisp".
 
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index 51587a9674d..1753eba806b 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.11 2011/06/22 06:36:37 asau Exp $
+@comment $NetBSD: PLIST,v 1.12 2011/07/08 10:18:21 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -55,6 +55,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATCANON.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATCS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATCUNOR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATFINAG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATLR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATMULVA.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATNZDIV.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ATPOSET.${FASL}
@@ -107,6 +108,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARZ.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHVAR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CINTSLPE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CKP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLAGG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLIF.${FASL}
@@ -128,6 +130,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMPLEX.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMPLEX2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMPLPAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMPPROP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMPUTIL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMRING.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CONTFRAC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COORDSYS.${FASL}
@@ -173,6 +176,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DIRRING.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISPLAY.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DIVRING-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DIVRING.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DJBP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DLAGG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DLIST.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DLP.${FASL}
@@ -446,7 +450,9 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IFAMON.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IFARRAY.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IFF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IIARRAY2.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IJB.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ILIST.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ILOGIC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATLIN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATQF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATRIX.${FASL}
@@ -513,7 +519,25 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ITUPLE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IVECTOR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IXAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IXAGG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBBFC-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBBFC.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBC-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBC.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBFC-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBFC.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBLF.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBSA.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBUNDLE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JBX.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JCT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JDE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JDIFF.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JGB.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JLF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JORDAN.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JVF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KAFILE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KDAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KDAGG.${FASL}
@@ -525,6 +549,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KOVACIC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LA.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LALG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LALG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAMBDA.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAPLACE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAUPOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAZM3PK.${FASL}
@@ -570,6 +595,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP1.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSPP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSQM.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LUD.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LWORD.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LZSTAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LZSTAGG.${FASL}
@@ -953,6 +979,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEGBIND.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEGBIND2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEGCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEGXCAT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SET.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETAGG.${FASL}
@@ -976,6 +1003,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIGNRF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPAN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SINT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SKAGG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SKICOMB.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMATCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMATCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMITH.${FASL}
@@ -1034,6 +1062,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUPFRACF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUPXS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUTS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SWITCH.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SYMANA.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SYMBOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SYMFUNC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SYMPOLY.${FASL}
@@ -1085,6 +1114,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TUBETOOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TUPLE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TWOFACT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TYPE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TYPED.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U32VEC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UDPO.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UDVO.${FASL}
@@ -1101,6 +1131,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ULSCONS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UNIFACT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UNISEG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UNISEG2.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UNTYPED.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UP2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UPCDEN.${FASL}
@@ -1130,6 +1161,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSODE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSODETL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSSOL.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VARCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VARIABLE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECREC1.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECREC2.${FASL}
@@ -1145,6 +1177,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VOID.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSBASIS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VTYP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WEIER.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WFFINTBS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WP.${FASL}
@@ -1275,7 +1308,6 @@ ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/topics.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/topics.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/topics.o
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/translate-files.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/AXIOMsys
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/asq
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/axiom
@@ -2562,6 +2594,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/color.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/combfunc.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/combinat.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/complet.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/computation.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/constant.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/contfrac.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/coordsys.spad.pamphlet
@@ -2669,6 +2702,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/intrf.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/irexpand.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/irsn.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ituple.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/jet.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/kl.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/kovacic.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/laplace.spad.pamphlet
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index f28e36bbedd..0f8ffe6e5d7 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.9 2011/06/22 06:36:37 asau Exp $
+$NetBSD: distinfo,v 1.10 2011/07/08 10:18:21 asau Exp $
 
-SHA1 (fricas-1.1.2-full.tar.bz2) = a361c52488c77772390b74c330621cea0756b462
-RMD160 (fricas-1.1.2-full.tar.bz2) = 737bb8b5a537590d929f2107e8f58161d074a437
-Size (fricas-1.1.2-full.tar.bz2) = 9198731 bytes
+SHA1 (fricas-1.1.3-full.tar.bz2) = 40b96a4fbe3b53b1bd18de500a6c46bdcd913c32
+RMD160 (fricas-1.1.3-full.tar.bz2) = b673b9c2c60e9750c376393aab8d795cf57b1691
+Size (fricas-1.1.3-full.tar.bz2) = 9350351 bytes