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.

3 files changed, 31 insertions, 28 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index d6a80e0ca33..96dac62df0b 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.24 2015/08/12 08:50:37 asau Exp $
+# $NetBSD: Makefile,v 1.25 2016/03/12 20:54:23 asau Exp $
 
-PKGNAME=		fricas-1.2.6
+PKGNAME=		fricas-1.2.7
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index 76fbe4ced9f..0d38b38118f 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.17 2015/08/12 08:50:37 asau Exp $
+@comment $NetBSD: PLIST,v 1.18 2016/03/12 20:54:23 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -666,6 +666,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FM2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMAGMA.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMAGMA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMCAT-.${FASL}
@@ -786,8 +788,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSRROOT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSRROOT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FST.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FST.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSUPFACT.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSUPFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FTEM.${FASL}
@@ -1262,6 +1262,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOCONV.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOCONV.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOF2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOF2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOOPS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LODOOPS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LOGIC-.${FASL}
@@ -1310,8 +1312,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGCDT3.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGCDT3.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGCDT4.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGCDT4.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMA-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMA-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMA.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMA.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMAWU-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMAWU-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMAWU.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAGMAWU.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAMA.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAMA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MAPHACK1.${FASL}
@@ -1406,14 +1414,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MOEBIUS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MOEBIUS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MOMPKG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MOMPKG.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONAD-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONAD-.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONAD.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONAD.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONADWU-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONADWU-.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONADWU.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONADWU.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOGEN-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOGEN-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOGEN.${FASL}
@@ -1468,14 +1468,20 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NAALG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NAALG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NAALG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NAALG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARING-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARING-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARING.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARING.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRNG-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRNG-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRNG.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRNG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NBLM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NBLM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NCEP.${FASL}
@@ -1578,8 +1584,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ODVAR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ODVAR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OEXPR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OEXPR.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OFMONOID.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OFMONOID.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OFTOOL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OFTOOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OINTDOM.${FASL}
@@ -1962,8 +1966,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFX2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFX2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEPAR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEPAR.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDETR.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDETR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDETRS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDETRS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDIST.${FASL}
@@ -2535,6 +2537,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTOR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTOR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTOR2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTOR2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VHPSOLV.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VHPSOLV.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VIEW.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VIEW.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VIEW2D.${FASL}
@@ -3054,6 +3058,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FILE.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FILE.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FLOAT.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FLOAT.pht
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FMAGMA.ht
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FMAGMA.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FNAME.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FNAME.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/FPARFRAC.ht
@@ -3130,8 +3136,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/LPOLY.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/LPOLY.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/LWORD.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/LWORD.pht
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/MAGMA.ht
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/MAGMA.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/MAPPKG1.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/MAPPKG1.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/MATRIX.ht
@@ -4064,7 +4068,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/free.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fs2expxp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fs2ups.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fspace.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/funcpkgs.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/galfact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gaussfac.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gaussian.spad
@@ -4123,6 +4126,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/listgcd.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/lmdict.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/lodo.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/lodof.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/lodof2.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/manip.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mantepse.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mappkg.spad
@@ -4226,7 +4230,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/radix.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/random.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ratfact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rdeefx.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rderf.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rdesys.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/real0q.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/realzero.spad
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index c3065b5a201..8b861b2a29c 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.16 2015/11/03 23:33:33 agc Exp $
+$NetBSD: distinfo,v 1.17 2016/03/12 20:54:23 asau Exp $
 
-SHA1 (fricas-1.2.6-full.tar.bz2) = adafb5e9c1785d0a6db7f1062e2fbbcdb45faf44
-RMD160 (fricas-1.2.6-full.tar.bz2) = 4c8122e70421aedfdcd511f5ad653f3eab8ef909
-SHA512 (fricas-1.2.6-full.tar.bz2) = 6c98844b6815bd6bfbe50881179b746aa38af48e3992179e3746bd175ef2a0940d9855e79b66b1b5e34d9fc9fe1b8f3578483847b18d7cc2781f7f72b65fb2ac
-Size (fricas-1.2.6-full.tar.bz2) = 10196018 bytes
+SHA1 (fricas-1.2.7-full.tar.bz2) = f476a535ba189658cbc6055a951867c0c23787e4
+RMD160 (fricas-1.2.7-full.tar.bz2) = 4e7d7dbe33cdea115ddd00300d37203b293d61dc
+SHA512 (fricas-1.2.7-full.tar.bz2) = 1e6e34dc0e4b535bf937ebdefb5099629b2893e6db0dba8b84f259e2a3b7244692ab704dd04aa24f257089661f6747d8f367d0f58bb8cebd652469cb58c72897
+Size (fricas-1.2.7-full.tar.bz2) = 10289500 bytes