CVS commit: pkgsrc/math/fricas

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math/fricas
From: "Wen Heping" <wen%netbsd.org@localhost>
Date: Fri, 31 Jul 2026 06:58:29 +0000

Module Name:    pkgsrc
Committed By:   wen
Date:           Fri Jul 31 06:58:29 UTC 2026

Modified Files:
        pkgsrc/math/fricas: Makefile PLIST distinfo

Log Message:
Update to 1.3.13

Upstream changes:
1.3.13:
Changes:

- new constructors: BrowserInformation, TexParser,
   ModularU32MatrixOperations, AIntervalCategory, AInterval,
   PadeContinuousFraction.

- changes to conditions and exports.

- new implementation of IndexCard.

- better support for pure Lisp build.

Bug fixes, in particular:

- fixed wrong initialization of number of rows and columns for
   two dimensional arrays.

- corrected result of integrals in terms of elliptic functions.

- corrected stirling numbers at 0.

- fixed map between matrices with differing minimal indices.

- interpreter now avoids strange types.

- more consistent handling of pathnames.

1.3.12:
Changes:

- Added Berkowitz algorithm for computing characteristic polynomial
  in general case

- 'rootSplit' and 'rootFactor' now handle nested roots

- Terminal emulator used by FriCAS is now setable via
  environment variables

Bug fixes, in particular:

- Fixed several problem with handling type conditions in HyperDoc

- Fixed coercion from expressions to algebraic numbers

- Fixed artihmetic in FourierSeries

1.3.11:
Changes:

- Implemented numeric 'riemannZeta'.

- Improved 'radicalSolve' for degree 4 polynomials.

- Improved FriCAS Book.

- Old factorizers for univariate polynomials over finite fields
  are removed.

- 'simplifyExp' supports more kinds of expressions.

- Small improvements to Spad compiler.

Bug fixes, in particular:

- Implemented inverse trigonometric and hyperbolic functions for power
  series at branch points.

- HyperDoc launched by ')hd' now properly exits when FriCAS quits.

- ')display op groebner' now works.

- Prevent exits from page viewer when content is less than one page.

- Fixed HyperDoc logical search.

- Various build fixes.

1.3.10:
Changes:

- New package for root denesting.

- New convenience package containing Unicode symbols.

- Improvements to runtime accounting subsystem, in particular
  FriCAS can now print info about storage use.

- Improved handling of roots during integration.

- Improved 'simplifyExp'.

- Domain Pi is renamed to PiDomain.

- Added Lisp version to FriCAS banner.

Bug fixes, in particular:

- Disabled splitting of roots by default simplifications.

- Fixed various build problems.

- Fixed wrong creation of sparse power series.

- Fixed problem with derivatives of unevaluated definite integrals.

1.3.9:
- Distributed binary includes support for jfricas.

- Construct of tagged unions by specifying tag.

- New category Hashable.

- AlgebraGivenByStructuralConstants now more general and
      has FreeModuleCategory.

- Rename 'escape' in Character to 'underscore'.

Bug fixes, in particular:

- Fixed power series expander for 'polylog' at 0.

- Fixed storing complex data, in particular streams in files.

- Fixed varius build problems, in particular build with
  sbcl-2.3.2 and newer.

- Main integrator no longer uses 'real'.

1.3.8:
- Improvements to integrator, in particular integrator
  can now express some integrals in terms of elliptic
  integrals.

- More specialized array domains.

- Better handling of cyclotomic polynomials. Roots of
  cyclotomic polynomials are now presented in trigonometric
  form.

- Preliminary support for timeouts (only when using sbcl).

- 'iterate' is now implemented for Spad.

Bug fixes, in particular:

- Fixes for handling of kernels.

- Fixes for 'elt' when handling segments with increments.

- Fixed handling of predicates in rewrite rules.

- Fixed build with clisp.

1.3.7:
- Small improvements to integrator and limits

- Generalized a few domains and packages

- Two new convolutions for quantum probability

- Main FriCAS environment variable is now called FRICAS and main
  executable is called FRICASsys

Bug fixes, in particular:

- Better error detection for numeric elementary functions

- Fixed TeX output of formal derivatives

- Fixed input form of formal derivatives

1.3.6:
Changes:

- Small improvements to integrator and limits

- Generalized a few domains and packages

- Two new convolutions for quantum probability

- Main FriCAS environment variable is now called FRICAS and main
  executable is called FRICASsys

Bug fixes, in particular:

- Better error detection for numeric elementary functions

- Fixed TeX output of formal derivatives

- Fixed input form of formal derivatives


To generate a diff of this commit:
cvs rdiff -u -r1.33 -r1.34 pkgsrc/math/fricas/Makefile
cvs rdiff -u -r1.20 -r1.21 pkgsrc/math/fricas/PLIST
cvs rdiff -u -r1.21 -r1.22 pkgsrc/math/fricas/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/fricas/Makefile
diff -u pkgsrc/math/fricas/Makefile:1.33 pkgsrc/math/fricas/Makefile:1.34
--- pkgsrc/math/fricas/Makefile:1.33    Mon Nov 17 11:01:07 2025
+++ pkgsrc/math/fricas/Makefile Fri Jul 31 06:58:29 2026
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.33 2025/11/17 11:01:07 wiz Exp $
+# $NetBSD: Makefile,v 1.34 2026/07/31 06:58:29 wen Exp $
 
 DISTNAME=              ${PKGNAME_NOREV}-full
-PKGNAME=               fricas-1.3.5
-PKGREVISION=           2
+PKGNAME=               fricas-1.3.13
 CATEGORIES=            math
 MASTER_SITES=          ${MASTER_SITE_SOURCEFORGE:=fricas/}
 EXTRACT_SUFX=          .tar.bz2

Index: pkgsrc/math/fricas/PLIST
diff -u pkgsrc/math/fricas/PLIST:1.20 pkgsrc/math/fricas/PLIST:1.21
--- pkgsrc/math/fricas/PLIST:1.20       Sat Mar 23 00:20:45 2019
+++ pkgsrc/math/fricas/PLIST    Fri Jul 31 06:58:29 2026
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.20 2019/03/23 00:20:45 ryoon Exp $
+@comment $NetBSD: PLIST,v 1.21 2026/07/31 06:58:29 wen Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -37,6 +37,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AHYP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AHYP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTCAT-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTCAT-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTCAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTRVL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AINTRVL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ALAGG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ALAGG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ALAGG.${FASL}
@@ -135,6 +141,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/AUTOMOR.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BALFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BALFACT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BASFILE.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BASFILE.lib
 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/BASTYPE.${FASL}
@@ -157,14 +165,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${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/BKAFILE.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BKAFILE.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}
@@ -189,6 +197,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BRAGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BRILL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BRILL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BRINFO.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BRINFO.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BSTREE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BSTREE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/BTAGG-.${FASL}
@@ -239,10 +249,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARNZ.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL0.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL0.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL3.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL3.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL4.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARPOL4.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARZ.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHARZ.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CHVAR.${FASL}
@@ -329,16 +343,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCGRP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLES.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLES.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLOTOM.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLOTOM.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLOT2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/CYCLOT2.lib
 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}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DECIMAL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEFINTEF.${FASL}
@@ -356,6 +368,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DEQUEUE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DERHAM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DERHAM.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DFELEM.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DFELEM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DFINTTLS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DFINTTLS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/DFLOAT.${FASL}
@@ -514,16 +528,20 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EQ2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EQTBL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EQTBL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ERRIND.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ERRIND.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ERROR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ERROR.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES1.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES1.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ES2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ESC2-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ESC2-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ESC2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ESC2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EUCDOM-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EUCDOM-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/EUCDOM.${FASL}
@@ -602,6 +620,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIVCAT-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIVCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FDIVCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FELEM.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FELEM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FELFUN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FELFUN.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FEVALAB-.${FASL}
@@ -670,6 +690,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FILE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FILECAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FILECAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FILSER.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FILSER.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINAALG-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINAALG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FINAALG.${FASL}
@@ -712,6 +734,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOATCP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOATRP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOATRP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOOPS.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FLOOPS.lib
 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}
@@ -732,8 +756,22 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${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/FMT1D.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMT1D.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMT2D.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMT2D.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTCAT-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTCAT-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTCAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTLATEX.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTLATEX.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTMJAX.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTMJAX.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTOUT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FMTOUT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FNAME.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FNAME.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FNCAT.${FASL}
@@ -746,12 +784,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FOP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORDER.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORDER.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMCAT.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMULA.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMULA.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMULA1.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORMULA1.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTFN.${FASL}
@@ -760,6 +796,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTFORM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTRAN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FORTRAN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FOUT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FOUT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPARFRAC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPARFRAC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FPATMAB.${FASL}
@@ -808,8 +846,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRNAALG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRUTIL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FRUTIL.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FS-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FS-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FS2.${FASL}
@@ -826,8 +862,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSAGG.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSAGG2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSAGG2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSC2-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSC2-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSC2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSC2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSCINT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSCINT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSCINTA.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSCINTA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSERIES.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSERIES.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FSFUN.${FASL}
@@ -854,6 +896,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FVC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FVFUN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/FVFUN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GALFACS.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GALFACS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GALFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GALFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GALFACTU.${FASL}
@@ -894,6 +938,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENPGCD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS1.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS1.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUPS2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUSER.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GENUSER.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GHENSEL.${FASL}
@@ -964,6 +1012,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HACKPI.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HANKP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HANKP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHABL-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHABL-.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHABL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHABL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHSTAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHSTAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHTBL.${FASL}
@@ -996,6 +1048,18 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HYPCAT-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HYPCAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HYPCAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I16MAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I16MAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I16VEC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I16VEC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I32MAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I32MAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I32VEC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I32VEC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I8MAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I8MAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I8VEC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/I8VEC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IALGFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IALGFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IARRAY1.${FASL}
@@ -1106,6 +1170,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTG0.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTG0.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTGEL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTGEL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTHEORY.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTHEORY.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INTHERAL.${FASL}
@@ -1140,6 +1206,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INVLAPLA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPADIC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPADIC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IPRNTPK.${FASL}
@@ -1152,8 +1220,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IR2F.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IROOT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IROOT.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IRREDFFX.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IRREDFFX.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IRRF2F.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IRRF2F.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IRSN.${FASL}
@@ -1214,6 +1280,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JDE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JDIFF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JDIFF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JFRICAS.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/JFRICAS.lib
 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}
@@ -1230,6 +1298,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KDAGG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KDAGG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KDAGG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KERCAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KERCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KERNEL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KERNEL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/KERNEL2.${FASL}
@@ -1306,6 +1376,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${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/LLINDEP.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LLINDEP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LLLRED.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LLLRED.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LMDICT.${FASL}
@@ -1364,6 +1436,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP1.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP1.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSMP2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSPP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSPP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/LSQM.${FASL}
@@ -1418,8 +1492,14 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATCAT2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATCAT2.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATHSYM.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATHSYM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATLIN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATLIN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATOP32.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATOP32.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATOPC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATOPC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATRIX.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATRIX.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MATSTOR.${FASL}
@@ -1432,8 +1512,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MCMPLX.lib
 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}
@@ -1450,6 +1528,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MFINFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MFLOAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MFLOAT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MFOPC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MFOPC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MHROWRED.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MHROWRED.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MINT.${FASL}
@@ -1472,10 +1552,18 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${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/MODFACK.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFACK.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/MODFACTG.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFACTG.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/MODFT1.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFT1.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFT3.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFT3.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHPS.${FASL}
@@ -1578,6 +1666,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NLINSOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NNI.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NNI.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NNRAT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NNRAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NODE1.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NODE1.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NONE.${FASL}
@@ -1614,6 +1704,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NUMQUAD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NUMTUBE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NUMTUBE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OAGROUP-.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OAGROUP-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OAGROUP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OAGROUP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OAMON.${FASL}
@@ -1698,6 +1790,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ONECOMP2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OPHANDL.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OPHANDL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OPQUERY.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OPQUERY.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDCOMP.${FASL}
@@ -1710,8 +1804,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDFUNS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDMON.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDMON.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDRING-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDRING-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDRING.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDRING.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ORDSET-.${FASL}
@@ -1738,6 +1830,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OSI.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUTBOX.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUTBOX.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUTFORM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OUTFORM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OVAR.${FASL}
@@ -1746,6 +1840,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/OWP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADECF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADECF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADEPAC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADEPAC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PADIC.${FASL}
@@ -1760,6 +1856,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PALETTE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PAN2EXPR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PAN2EXPR.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PARCCURV.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PARCCURV.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PARPC2.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PARPC2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PARPCURV.${FASL}
@@ -1902,6 +2000,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLTOPOL.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLUTIL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLUTIL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLVECF.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLVECF.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLVECP.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLVECP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLY.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLY.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLY2.${FASL}
@@ -1950,6 +2052,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMELT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMES.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMES.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMMAT2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRIMMAT2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRINT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRINT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PRODUCT.${FASL}
@@ -2034,6 +2138,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RANDSRC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATFACT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATFACT.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATPSCT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATPSCT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATRET.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RATRET.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RCAGG-.${FASL}
@@ -2046,16 +2152,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RCFIELD.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEAUX.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEAUX.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFS.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFX.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDEEFX.lib
 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/RDETRS.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDETRS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDIST.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDIST.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RDIV.${FASL}
@@ -2134,6 +2236,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNG-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNG.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNG.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNORM.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNORM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNS-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNS-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RNS.${FASL}
@@ -2142,6 +2246,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ROIRC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ROMAN.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ROMAN.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ROOTUT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ROOTUT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RPOLCAT-.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RPOLCAT-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RPOLCAT.${FASL}
@@ -2158,6 +2264,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RSETCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RSETGCD.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RSETGCD.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RSIMP.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RSIMP.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RULE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RULE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/RULECOLD.${FASL}
@@ -2368,8 +2476,12 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STRING.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STRTBL.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STRTBL.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYLO2.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYLO2.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYLOR.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYLOR.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYOC.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTAYOC.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTF.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTF.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/STTFNC.${FASL}
@@ -2450,8 +2562,16 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEX.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEX1.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEX1.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXPARSE.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXPARSE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXSCAN.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXSCAN.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXTFILE.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXTFILE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXTREE.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TEXTREE.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TIMEOUT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TIMEOUT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TMFORM.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TMFORM.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TOOLSIGN.${FASL}
@@ -2470,6 +2590,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGCAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGMNIP.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGMNIP.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGMNPA.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIGMNPA.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIMAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRIMAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TRMANIP.${FASL}
@@ -2512,6 +2634,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U32MAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U32VEC.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U32VEC.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U64INT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U64INT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U8MAT.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U8MAT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U8VEC.${FASL}
@@ -2526,6 +2650,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFD-.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFD.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFD.lib
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFFACT.${FASL}
+${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFFACT.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFPS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFPS.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFPS1.${FASL}
@@ -2639,10 +2765,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VOID.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSBASIS.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSBASIS.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE-.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE-.lib
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE.${FASL}
-${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VSPACE.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WEIER.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WEIER.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/WFFINTBS.${FASL}
@@ -2698,7 +2820,6 @@ ${clisp}lib/fricas/target/${MACHINE_GNU_
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/browse.daase
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/category.daase
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/comdb.text
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/compress.daase
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/exposed.${FASL}
 ${clisp}lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/exposed.lib
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/glossdef.text
@@ -2706,10 +2827,10 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/AXIOMsys
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/asq
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/FRICASsys
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/clef
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/fricas
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/fricas-readline
 ${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
@@ -3228,6 +3349,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/bmcat.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/coverex.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/coverex.pht
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/enum.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/evalex.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/exdiff.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/exdiff.pht
@@ -3272,6 +3394,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/topics.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/type.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug.ht
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug00.ht
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug00.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug01.ht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug01.pht
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/hypertex/pages/ug02.ht
@@ -3946,6 +4070,9 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugIntroGraphicsPage2.VIEW/data
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugIntroGraphicsPage2.VIEW/image.bm
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugIntroGraphicsPage2.VIEW/image.xpm
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugNewIntroGraphicsPage1.VIEW/data
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugNewIntroGraphicsPage1.VIEW/image.bm
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugNewIntroGraphicsPage1.VIEW/image.xpm
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugPackagesPackagesPage7.VIEW/data
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugPackagesPackagesPage7.VIEW/image.bm
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/share/viewports/ugPackagesPackagesPage7.VIEW/image.xpm
@@ -3974,6 +4101,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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/ainterval.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
@@ -4011,9 +4139,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/crfp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/curve.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/cycles.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/cyclotom.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/cyclo.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/cyldec.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ddfact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/defaults.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/defintef.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/defintrf.spad
@@ -4041,26 +4168,26 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/expps.spad
 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/extred.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/facutil.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fdalg.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
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffdoms.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fffg.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffhom.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffnb.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffp.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffpoly.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ffx.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/files.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/float.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/flopak.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmod.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmt.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmt1d.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmt2d.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmtjfricas.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmtlatex.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fmtmathjax.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fname.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fnla.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/formula.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fops.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fortcat.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fortmac.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/fortout.spad
@@ -4099,6 +4226,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/gseries.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/hashstate.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/html.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/hypertex.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ideal.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/idecomp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/indexedp.spad
@@ -4116,6 +4244,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/intpar.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/intpm.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/intrf.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/intspec.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/irexpand.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/irsn.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/ituple.spad
@@ -4145,6 +4274,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mappkg.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/matcat.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/matfuns.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/math_sym.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mathml.spad
 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
@@ -4152,7 +4283,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/moddfact.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modgcd.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modhpsol.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modmon.spad
@@ -4173,7 +4303,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/newpoint.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/newpoly.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/nlinsol.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/nlode.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/npcoef.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/nregset.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/nsregset.spad
@@ -4185,7 +4314,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/numsolve.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/numtheor.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/oct.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/odealg.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/odeef.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/oderf.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/omcat.spad
@@ -4201,6 +4329,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/outform.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/outform2.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pade.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/padecf.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/padic.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/padiclib.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/paramete.spad
@@ -4211,7 +4340,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pf.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pfbr.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pfo.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/pfr.spad
@@ -4241,7 +4369,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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/rdesys.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/real0q.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/realzero.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rec.spad
@@ -4254,6 +4381,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rf.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/riccati.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rinterp.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rsimp.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/rule.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/scene.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/seg.spad
@@ -4269,7 +4397,6 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/smith.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/smith2.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/solvedio.spad
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/solvefor.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/solvelin.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/solverad.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/sortpak.spad
@@ -4294,7 +4421,9 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/taylor.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tensor.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tex.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/texd.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/texmacs.spad
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/timeout.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/transsolve.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tree.spad
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/trigcat.spad
@@ -4323,4 +4452,3 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM
 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

Index: pkgsrc/math/fricas/distinfo
diff -u pkgsrc/math/fricas/distinfo:1.21 pkgsrc/math/fricas/distinfo:1.22
--- pkgsrc/math/fricas/distinfo:1.21    Tue Oct 26 10:55:40 2021
+++ pkgsrc/math/fricas/distinfo Fri Jul 31 06:58:29 2026
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.21 2021/10/26 10:55:40 nia Exp $
+$NetBSD: distinfo,v 1.22 2026/07/31 06:58:29 wen Exp $
 
-BLAKE2s (fricas-1.3.5-full.tar.bz2) = 75092ddd01e725302287d8a41322c729cb53dd6ef621d9a05ba1e4e9e3eda290
-SHA512 (fricas-1.3.5-full.tar.bz2) = b800a9b3793506e49a4c5a63bd12a20f00b183d00ed9bd0061865f6cea39b05c026975458dcb3bb7da652fb75b3ce6417bbe1c16312da08cd6a366428ae9eaf9
-Size (fricas-1.3.5-full.tar.bz2) = 10477848 bytes
+BLAKE2s (fricas-1.3.13-full.tar.bz2) = 4a9c18089a06f7af338b9566556d566950938cada04525bd5343ee772014ba16
+SHA512 (fricas-1.3.13-full.tar.bz2) = 8f2f8de62ccca7ee47a99ca19533ffd8384ee0acb888a5143836ed7587b78484bfe8da7bad13991166cf8b631243ceca44c45c879af7f38de5890f3c3db7ae6d
+Size (fricas-1.3.13-full.tar.bz2) = 10997314 bytes

Prev by Date: CVS commit: pkgsrc/doc
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/doc
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index