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.

3 files changed, 19 insertions, 26 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index 9bb43eb8a6d..4aebd01eb29 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.13 2010/11/24 22:43:40 asau Exp $
+# $NetBSD: Makefile,v 1.14 2011/06/22 06:36:37 asau Exp $
 
-PKGNAME=		fricas-1.1.1
+PKGNAME=		fricas-1.1.2
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index db3ae91b2b2..51587a9674d 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.10 2010/11/24 22:43:40 asau Exp $
+@comment $NetBSD: PLIST,v 1.11 2011/06/22 06:36:37 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -251,6 +251,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIV.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIV2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIVCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIVCAT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FELFUN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FEVALAB-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FEVALAB.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FEXPR.${FASL}
@@ -897,6 +898,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/REPSQ.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RESLATC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RESRING.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RESULT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RETFROM-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RETFROM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RETRACT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RETRACT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RETSOL.${FASL}
@@ -1058,6 +1061,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TESTUNIT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEX.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEX1.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXTFILE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TMFORM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TOOLSIGN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TOPSP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRANFUN-.${FASL}
@@ -1069,6 +1073,11 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGMNIP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIMAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRMANIP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TS.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSEREXP-.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSEREXP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSEREXPL.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSEREXPP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSEREXPT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSETCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TSETCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TUBE.${FASL}
@@ -1224,8 +1233,6 @@ ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/comp-files.${FASL}
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/compiler.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/compiler.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/compiler.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/def.${FASL}
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/def.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/define.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/define.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/define.o
@@ -1250,29 +1257,18 @@ ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/info.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/iterator.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/iterator.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/iterator.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/mark.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/mark.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/mark.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/modemap.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/modemap.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/modemap.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/nruncomp.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/nruncomp.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/nruncomp.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/nspadaux.${FASL}
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/nspadaux.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/package.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/package.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/package.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/profile.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/profile.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/profile.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad1.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad1.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad1.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad2.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad2.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/pspad2.o
 ${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.lib
 ${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.o
@@ -1280,16 +1276,11 @@ ${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}
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi1.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi1.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi1.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi2.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi2.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/wi2.o
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/AXIOMsys
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/asq
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/axiom
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/clef
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/fricas
 ${x11}lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/htadd
 ${x11}lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/hypertex
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/sman
@@ -2813,6 +2804,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rinterp.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rule.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/scene.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/seg.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/serexp.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/setorder.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/sets.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/sex.spad.pamphlet
@@ -2850,6 +2842,7 @@ 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/texmacs.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/transsolve.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tree.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/trigcat.spad.pamphlet
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index 5237b20d840..f28e36bbedd 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.8 2010/11/24 22:43:40 asau Exp $
+$NetBSD: distinfo,v 1.9 2011/06/22 06:36:37 asau Exp $
 
-SHA1 (fricas-1.1.1-full.tar.bz2) = 01723accdbe5240a0062ea0137a6abbf3fb21ad4
-RMD160 (fricas-1.1.1-full.tar.bz2) = c59f2c18f5608984a411988052a66b1bb9560224
-Size (fricas-1.1.1-full.tar.bz2) = 9200773 bytes
+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