From c6323b9e2cad85a4f8a49d7a83391075d9842cd8 Mon Sep 17 00:00:00 2001 From: asau Date: Fri, 8 Jul 2011 10:18:21 +0000 Subject: 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. --- math/fricas/Makefile | 15 +++++++-------- math/fricas/PLIST | 38 ++++++++++++++++++++++++++++++++++++-- math/fricas/distinfo | 8 ++++---- 3 files changed, 47 insertions(+), 14 deletions(-) (limited to 'math') 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 -- cgit v1.2.3