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.

4 files changed, 21 insertions, 31 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index 48048a9a7be..670e050e8a2 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.10 2009/12/23 17:17:35 asau Exp $
+# $NetBSD: Makefile,v 1.11 2010/01/23 02:11:40 asau Exp $
 
-PKGNAME=		fricas-1.0.8
+PKGNAME=		fricas-1.0.9
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index fd664de4d5a..9259b88716a 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.7 2009/12/15 23:36:28 asau Exp $
+@comment $NetBSD: PLIST,v 1.8 2010/01/23 02:11:40 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -70,6 +70,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BBTREE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BEZOUT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BIALG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINARY.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINFILE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BITS.${FASL}
@@ -109,6 +110,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLAGG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLIF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CLIP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CMPLXRT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COALG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COLOR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMBF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMBINAT.${FASL}
@@ -293,6 +295,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOATRP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMC.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMFUN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMONOID.${FASL}
@@ -408,6 +411,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HEUGCD.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HEXADEC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOPFALG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HYPCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HYPCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IALGFACT.${FASL}
@@ -961,6 +965,8 @@ 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}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMPCOER.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMPEXPR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SMTS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SNTSCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOLVEFOR.${FASL}
@@ -1007,7 +1013,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUMFS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUMRF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUP2.${FASL}
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SUPEXPR.${FASL}
 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}
@@ -1026,6 +1031,13 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TBAGG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TBAGG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TBCMPPK.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEMUTL.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSCAT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSOR.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSPC-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSPC.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSPO2.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSPOW.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TENSPRP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TESTAUX.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TESTCNT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TESTUNIT.${FASL}
@@ -2826,6 +2838,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/system.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/table.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tableau.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/taylor.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tensor.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tex.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/transsolve.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tree.spad.pamphlet
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index ee6fec12838..ea898347c1a 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,6 +1,5 @@
-$NetBSD: distinfo,v 1.5 2009/12/15 23:36:28 asau Exp $
+$NetBSD: distinfo,v 1.6 2010/01/23 02:11:40 asau Exp $
 
-SHA1 (fricas-1.0.8-full.tar.bz2) = 6a3e6acb8908d5b8e01efb5a4a5fae25798038d8
-RMD160 (fricas-1.0.8-full.tar.bz2) = 60effe1eb39a83eacb0a742649ace6f2abe1c9c3
-Size (fricas-1.0.8-full.tar.bz2) = 9047376 bytes
-SHA1 (patch-ab) = 71b576dcc4a020e912371ed22eb3f1403230879b
+SHA1 (fricas-1.0.9-full.tar.bz2) = 9d88a37bd010845de19c818883554dbde221e716
+RMD160 (fricas-1.0.9-full.tar.bz2) = 86c1f8dcbacce9075bc13f46cbc2d19bb79d361f
+Size (fricas-1.0.9-full.tar.bz2) = 9088217 bytes
diff --git a/math/fricas/patches/patch-ab b/math/fricas/patches/patch-ab
deleted file mode 100644
index 199b1ea0b5a..00000000000
--- a/math/fricas/patches/patch-ab
+++ /dev/null
@@ -1,22 +0,0 @@
-$NetBSD: patch-ab,v 1.1 2009/12/15 23:36:29 asau Exp $
-
-Reuse strcmp to simplify logic and fix build.
-Shared between FriCAS and OpenAxiom.
-
---- src/hyper/addfile.c.orig	2009-07-10 00:50:28.000000000 +0400
-+++ src/hyper/addfile.c	2009-12-15 22:32:55.000000000 +0300
-@@ -50,13 +50,7 @@
- strpostfix(char *s, char *t)
- {
-     int slen = strlen(s), tlen = strlen(t);
--
--    if (tlen > slen)
--        return 0;
--    while (tlen > 0)
--        if (s[--slen] != t[--tlen])
--            return 0;
--    return 1;
-+    return (tlen < slen) && !strcmp(s+slen-tlen, t);
- }
- 
- /* extend_ht : just checks the name and adds a .ht if needed */