Update to FriCAS 1.3.1

Detailed changes are not known and not clear (besides regular cleanup).

3 files changed, 110 insertions, 122 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index 96dac62df0b..ec1fd37a0f1 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.25 2016/03/12 20:54:23 asau Exp $
+# $NetBSD: Makefile,v 1.26 2017/04/13 14:35:31 asau Exp $
 
-PKGNAME=		fricas-1.2.7
+PKGNAME=		fricas-1.3.1
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index 0d38b38118f..6587ccdb92e 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.18 2016/03/12 20:54:23 asau Exp $
+@comment $NetBSD: PLIST,v 1.19 2017/04/13 14:35:31 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -137,20 +137,34 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BASTYPE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BASTYPE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BBTREE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BBTREE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BDISTL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BDISTL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BEZOUT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BEZOUT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BEZOUT2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BEZOUT2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BGAGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BIALG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BIALG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BICPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BICPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINARY.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINARY.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINFILE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BINFILE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BITS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BITS.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BITST.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BITST.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BJOIN.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BJOIN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BLAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BMEET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BMEET.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BMODULE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BMODULE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BOOLEAN.${FASL}
@@ -209,8 +223,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CDFVEC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CDFVEC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CELL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CELL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CFACET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CFACET.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CFCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CFCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHAINC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHAINC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHAR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHAR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARNZ.${FASL}
@@ -239,6 +257,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CMPLXRT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CMPLXRT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COALG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COALG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COCHNC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COCHNC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CODCPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CODCPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COLOR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COLOR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/COMBF.${FASL}
@@ -289,6 +311,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CSTTOOLS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CSTTOOLS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CTRIGMNP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CTRIGMNP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CUBEC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CUBEC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CUBECF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CUBECF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CVMP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CVMP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCGRP.${FASL}
@@ -301,6 +327,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DBASE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DBASE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DBLRESP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DBLRESP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DCPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DCPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DDFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DDFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DECIMAL.${FASL}
@@ -311,6 +339,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEFINTRF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEFINTRF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEGRED.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEGRED.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DELTAC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DELTAC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DELTCF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DELTCF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEPENDENTS.DAASE/index.KAF
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEQUEUE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEQUEUE.lib
@@ -368,6 +400,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTEX.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTEX.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTLAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTPOL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTPOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DISTRO.${FASL}
@@ -512,6 +546,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EXPRTUBE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EXPRTUBE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EXPUPXS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EXPUPXS.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTCAT-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTCAT-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTCAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTFUNC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACTFUNC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FACUTIL.${FASL}
@@ -536,14 +574,20 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FAXF-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FAXF-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FAXF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FAXF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FBICPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FBICPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCDCPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCDCPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCOMP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCOMP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCPAK1.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCPAK1.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCTOOL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FCTOOL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDCPO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDCPO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIV.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIV.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIV2.${FASL}
@@ -636,12 +680,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINITE-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINITE-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINITE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINITE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINLAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINRALG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINRALG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINRALG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINRALG.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLAGG-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLAGG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLAGG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLAGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLAGG2.${FASL}
@@ -678,6 +722,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMCF2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMCF2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMFUN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMFUN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMOEBF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMOEBF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMONOID.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMONOID.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTC.${FASL}
@@ -718,6 +764,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPC-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPC-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPOSET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPOSET.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPS-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPS-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPS.${FASL}
@@ -742,6 +790,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIDEAL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIDEAL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIDEAL2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIDEAL2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIMOD.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRIMOD.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRMOD-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRMOD-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRMOD.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRMOD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRNAAF2.${FASL}
@@ -832,6 +884,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENEEZ.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENEEZ.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENMFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENMFACT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENMOEBF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENMOEBF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENPGCD.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENPGCD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS.${FASL}
@@ -874,6 +928,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUP-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUP-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUPP.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GROUPP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GSERIES.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GSERIES.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GSTBL.${FASL}
@@ -924,6 +980,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOAGG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOMOL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOMOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOPFALG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HOPFALG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HTMLFORM.${FASL}
@@ -990,6 +1048,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMODHP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMODHP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INBFF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INBFF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INCALG.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INCALG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INCRMAPS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INCRMAPS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INDE.${FASL}
@@ -1154,6 +1214,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JGB.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JGB.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JLF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JLF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JOINLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JOINLAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JORDAN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JORDAN.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JVF.${FASL}
@@ -1188,6 +1250,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAMBDA.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAMBDA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAPLACE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAPLACE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LATJOFM.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LATJOFM.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LATMOFJ.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LATMOFJ.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAUPOL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAUPOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LAZM3PK.${FASL}
@@ -1230,6 +1298,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LIST2MAP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LIST2MAP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LIST3.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LIST3.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LISTPKG.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LISTPKG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LMDICT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LMDICT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LMODULE.${FASL}
@@ -1266,8 +1336,6 @@ 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}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LOGIC-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LOGIC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LOGIC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LOOP.${FASL}
@@ -1356,6 +1424,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MDAGG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MDAGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MDDFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MDDFACT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MEETLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MEETLAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MESH.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MESH.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MEVAL1.${FASL}
@@ -1392,6 +1462,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMAP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMAP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMLFORM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMLFORM.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFACT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFIELD.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFIELD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHP.${FASL}
@@ -1418,8 +1490,6 @@ 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}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOGEN.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOID-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOID-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOID.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOID.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MONOTOOL.${FASL}
@@ -1584,6 +1654,8 @@ 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/OFACET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OFACET.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}
@@ -1716,10 +1788,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PBWLB.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PBWLB.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PCDEN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PCDEN.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PCOMP.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PCOMP.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PDECOMP.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PDECOMP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PDO.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PDO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PDOHLP.${FASL}
@@ -1742,6 +1810,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PEVALUT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PEVALUT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PFACET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PFACET.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PFBR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PFBR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PFECAT-.${FASL}
@@ -1844,12 +1914,20 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PORDER-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PORDER-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PORDER.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PORDER.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSET-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSET-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSET.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSET.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSETF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POSETF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PPCURVE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PPCURVE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PREASSOC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PREASSOC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PREORD.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PREORD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIGCD3.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIGCD3.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMARR.${FASL}
@@ -2030,8 +2108,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RGCHAIN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RGCHAIN.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RIDIST.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RIDIST.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RING-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RING-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RING.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RING.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RINTERP.${FASL}
@@ -2142,6 +2218,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETCAT-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETCAT-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETLAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETLAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETMN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SETMN.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SEX.${FASL}
@@ -2160,8 +2238,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SFRTCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SFRTCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGCF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGCF.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGROUP-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGROUP-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGROUP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SGROUP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SHDP.${FASL}
@@ -2174,6 +2250,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIGNRF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIGNRF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPAN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPAN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPCF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SIMPCF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SINT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SINT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SKAGG.${FASL}
@@ -2614,102 +2694,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/glosskey.text
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/interp.daase
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/libdb.text
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/operation.daase
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/apply.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/apply.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/apply.o
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/asauto-files.${FASL}
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ax.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ax.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ax.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-matrix.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-matrix.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-matrix.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-misc.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-misc.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-misc.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-solve.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-solve.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-solve.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-util.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-util.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/bc-util.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-con.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-con.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-con.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-data.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-data.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-data.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op1.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op1.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op1.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op2.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op2.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-op2.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-prof.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-prof.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-prof.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-saturn.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-saturn.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-saturn.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-search.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-search.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-search.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-util.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-util.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/br-util.o
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/browse-files.${FASL}
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-doc.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-doc.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-doc.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-util.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-util.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/c-util.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/category.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/category.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/category.o
-${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/define.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/define.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/define.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/functor.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/functor.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/functor.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-root.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-root.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-root.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-util.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-util.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/ht-util.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htcheck.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htcheck.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htcheck.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htsetvar.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htsetvar.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/htsetvar.o
-${clisp-sbcl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/info.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/info.lib
-${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/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/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/showimp.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.lib
-${ecl}lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload/showimp.o
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/AXIOMsys
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/asq
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/clef
@@ -3972,6 +3956,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugProblemNumericPage32
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/acplot.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/aggcat.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/aggcat2.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/alg_top.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/algcat.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/algext.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/algfact.spad
@@ -4039,6 +4024,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/expr.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/expr2ups.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/exprode.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/facutil.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffcat.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffcg.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fff.spad
@@ -4084,6 +4070,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ghensel.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gnudraw.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gpgcd.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gpol.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gpresent.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/graph.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/grdef.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/groebf.spad
@@ -4127,6 +4114,8 @@ 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/logic.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mama.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
@@ -4136,7 +4125,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/matrix.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/matstor.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mesh.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mfinfact.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/misc.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mkfunc.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mkrecord.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mlift.spad
@@ -4196,7 +4184,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/partperm.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/patmatch1.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pattern.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pcurve.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pdecomp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/perm.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/perman.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/permgrps.spad
@@ -4291,8 +4278,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/triset.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tube.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/twofact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/u32vec.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/unittest.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/updecomp.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/updivp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/utsode.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/variable.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/vecrec.spad
@@ -4301,7 +4288,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/view2D.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/view3D.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/viewDef.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/viewpack.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/void.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/vsbasis.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/weier.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/wtpol.spad
@@ -4310,3 +4296,5 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/xlpoly.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/xpoly.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ystream.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/zerodim.spad
+@pkgdir lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/texmf/tex
+@pkgdir lib/fricas/target/${MACHINE_GNU_PLATFORM}/autoload
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index 8b861b2a29c..aa753e4ca9e 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.17 2016/03/12 20:54:23 asau Exp $
+$NetBSD: distinfo,v 1.18 2017/04/13 14:35:31 asau Exp $
 
-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
+SHA1 (fricas-1.3.1-full.tar.bz2) = 6c5316b3ea0dfb95e7118d1498087d3e4c4b4ec3
+RMD160 (fricas-1.3.1-full.tar.bz2) = 637e59847e9a3b92b07278e401a087811c9aaabe
+SHA512 (fricas-1.3.1-full.tar.bz2) = d492686fc03ed704cc015ec0ba250ab7928b637ff6ef8cf1aa924190e7fe22bd63a512074439dbf7ce44dce786d51ad5e27857522a1e21136b4b8d6cf014c486
+Size (fricas-1.3.1-full.tar.bz2) = 10522387 bytes