Update to FriCAS 1.0.8

Notable changes (compared to version 1.0.7) include:

  - Improved version of guessing package.  It can now handle
    much larger problems than before.  Added ability to guess
    functional substitution (Mahler) equations.
  - Experimental support for build using CMU CL.
  - Various speed improvements including faster indexing for two
    dimensional arrays.
  - By default FriCAS build tries to use SBCL.
  - Building no longer require patch.

Bug fixes, in particular:

  - correct definition of random() for matrices
  - conditionals in .input files work again
  - Spad compiler now recognizes more types as equal
  - fixed problem with pattern-matching quote

4 files changed, 67 insertions, 102 deletions

diff --git a/math/fricas/Makefile b/math/fricas/Makefile
index 3c29d9ba637..2a721b2adc5 100644
--- a/math/fricas/Makefile
+++ b/math/fricas/Makefile
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.8 2009/07/13 19:57:22 asau Exp $
+# $NetBSD: Makefile,v 1.9 2009/12/15 23:36:28 asau Exp $
 
-PKGNAME=		fricas-1.0.7
+PKGNAME=		fricas-1.0.8
 DISTNAME=		${PKGNAME_NOREV}-full
 CATEGORIES=		math
 MASTER_SITES=		${MASTER_SITE_SOURCEFORGE:=fricas/}
diff --git a/math/fricas/PLIST b/math/fricas/PLIST
index 727839fb911..fd664de4d5a 100644
--- a/math/fricas/PLIST
+++ b/math/fricas/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.6 2009/07/13 19:57:22 asau Exp $
+@comment $NetBSD: PLIST,v 1.7 2009/12/15 23:36:28 asau Exp $
 bin/efricas
 bin/fricas
 lib/fricas/emacs/fricas-cpl.el
@@ -395,6 +395,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSF1.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSINT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSP1.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/GUESSPI.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HACKPI.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HASHTBL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/HB.${FASL}
@@ -436,6 +438,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/ILIST.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATLIN.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATQF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMATRIX.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/IMODHP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INBFF.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INCRMAPS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/INDE.${FASL}
@@ -593,6 +596,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MLO.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMAP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MMLFORM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODFIELD.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHP.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODHPS.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODMON.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODMONOM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/MODOP.${FASL}
@@ -633,6 +638,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NARNG.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NASRING.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NBLM.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NCEP.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NCNTFRAC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/NCODIV.${FASL}
@@ -802,6 +808,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLYCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLYCATQ.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLYLIFT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLYROOT.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/POLYVEC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PPCURVE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/PREASSOC.${FASL}
@@ -960,6 +967,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOLVEFOR.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOLVERAD.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOLVESER.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOLVETRA.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SOREXPV.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SORTPAK.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SPACE3.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/SPACEC.${FASL}
@@ -1042,6 +1050,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TUBETOOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TUPLE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TWOFACT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/TYPE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/U32VEC.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UDPO.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UDVO.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UFD-.${FASL}
@@ -1087,6 +1096,8 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSODE.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSODETL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/UTSSOL.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VARIABLE.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECREC1.${FASL}
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECREC2.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTCAT-.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTCAT.${FASL}
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/algebra/VECTOR.${FASL}
@@ -1266,54 +1277,32 @@ ${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
 ${x11}lib/fricas/target/${MACHINE_GNU_PLATFORM}/bin/viewAlone
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ACPLOT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ALIST.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ARRAY1.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ARRAY2.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Any.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ArrayStack.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/AssociationList.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BBTREE.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BINARY.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BOP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BSTREE.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BalancedBinaryTree.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BasicOperator.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BinaryExpansion.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/BinarySearchTree.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CARD.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CARTEN.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CCLASS.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CHAR.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CLIF.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/COMPLEX.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CONTFRAC.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CYCLES.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CardinalNumber.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CartesianTensor.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Character.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CharacterClass.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CliffordAlgebra.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CombinatorialFunction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Complex.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ContinuedFraction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/CycleIndicators.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DECIMAL.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DERHAM.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DFLOAT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DMP.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DeRhamComplex.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DecimalExpansion.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Dequeue.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DistributedMultivariatePolynomial.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/DoubleFloat.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/EQ.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/EQTBL.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ElementaryFunction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/EqTable.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Equation.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FARRAY.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FILE.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FLOAT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FNAME.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FPARFRAC.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FR.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FR2.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/EuclideanGroebnerBasisPackage.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Expression.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Factored.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FactoredFunctions2.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/File.help
@@ -1322,36 +1311,20 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FlexibleArray.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Float.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Fraction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/FullPartialFractionExpansion.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GBF.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GDMP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GSTBL.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GeneralDistributedMultivariatePolynomial.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GeneralSparseTable.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GroebnerFactorizationPackage.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/HDMP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/HEAP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/HEXADEC.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/GroebnerPackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Heap.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/HexadecimalExpansion.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/HomogeneousDistributedMultivariatePolynomial.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/INT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/INTHEORY.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Integer.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/IntegerCombinatoricFunctions.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/IntegerLinearDependence.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/IntegerNumberTheoryFunctions.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/KAFILE.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/KERNEL.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Kernel.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/KeyedAccessFile.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LEXP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LEXTRIPK.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LIB.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LIST.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LODO.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LODO1.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LODO2.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LPOLY.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LWORD.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LazardSetSolvingPackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LexTriangularPackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Library.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LieExponentials.help
@@ -1361,100 +1334,64 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LinearOrdinaryDifferentia
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LinearOrdinaryDifferentialOperator2.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/List.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/LyndonWord.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MAGMA.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MAPPKG1.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MAPPKG2.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MAPPKG3.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MATRIX.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MKFUNC.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MPOLY.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MSET.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Magma.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MakeFunction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MappingPackage1.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MappingPackage2.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MappingPackage3.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MathMLFormat.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Matrix.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MatrixCategory.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Multiset.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/MultivariatePolynomial.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/NONE.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/None.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OCT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ODPOL.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OP.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OVAR.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Octonion.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OneDimensionalArray.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Operator.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OrderedVariableList.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/OrderlyDifferentialPolynomial.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/PERM.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/PERMAN.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/PFR.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/POLY.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/PartialFraction.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Permanent.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Permutation.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/PlaneAlgebraicCurvePlot.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Plot.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Polynomial.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/QUAT.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Quaternion.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RADIX.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/REALSOLV.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RECLOS.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/REGSET.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ROMAN.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/QuaternionCategoryFunctions2.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Queue.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RadixExpansion.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RealClosure.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RealSolvePackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RegularTriangularSet.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/RomanNumeral.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SEG.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SET.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SINT.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SQMATRIX.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SREGSET.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/STBL.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/STREAM.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/STRING.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/STRTBL.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SYMBOL.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Segment.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SegmentBinding.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Set.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SingleInteger.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SparseMultivariateTaylorSeries.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SparseTable.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SquareFreeRegularTriangularSet.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/SquareMatrix.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Stack.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Stream.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/String.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/String.help~
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/StringTable.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Symbol.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TABLE.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TEXTFILE.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Table.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TexFormat.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TextFile.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TransSolvePackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TwoDimensionalArray.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/TwoDimensionalViewport.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/UNISEG.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/UP.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/UnivariatePolynomial.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/UnivariateSkewPolynomial.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/UniversalSegment.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/VECTOR.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/VIEW2D.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/VOID.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Vector.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/Void.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/WUTSET.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/WuWenTsunTriangularSet.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPBWPOLY.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPBWPolynomial.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPOLY.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPR.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPolynomial.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/XPolynomialRing.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ZDSOLVE.help
-lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ZLINDEP.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/ZeroDimensionalSolvePackage.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/abbreviations.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/assignment.help
@@ -1474,6 +1411,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/frame.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/help.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/history.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/if.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/include.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/iterate.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/leave.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/library.help
@@ -1490,6 +1428,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/set.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/show.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/spool.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/suchthat.help
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/summary.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/synonym.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/syntax.help
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/doc/spadhelp/system.help
@@ -2750,6 +2689,7 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mkrecord.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/mlift.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/moddfact.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modgcd.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modhpsol.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modmon.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modmonom.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/modring.spad.pamphlet
@@ -2893,11 +2833,13 @@ lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/trigcat.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/triset.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/tube.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/twofact.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/u32vec.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/unifact.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/updecomp.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/updivp.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/utsode.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/variable.spad.pamphlet
+lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/vecrec.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/vector.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/view2D.spad.pamphlet
 lib/fricas/target/${MACHINE_GNU_PLATFORM}/src/algebra/view3D.spad.pamphlet
diff --git a/math/fricas/distinfo b/math/fricas/distinfo
index 2aafe5afde1..ee6fec12838 100644
--- a/math/fricas/distinfo
+++ b/math/fricas/distinfo
@@ -1,5 +1,6 @@
-$NetBSD: distinfo,v 1.4 2009/07/13 19:57:22 asau Exp $
+$NetBSD: distinfo,v 1.5 2009/12/15 23:36:28 asau Exp $
 
-SHA1 (fricas-1.0.7-full.tar.bz2) = 7f33cafc085ed70c37ba4073e7288be295b3b064
-RMD160 (fricas-1.0.7-full.tar.bz2) = 8d33707f1828835d105588721242eca68219afe1
-Size (fricas-1.0.7-full.tar.bz2) = 9007793 bytes
+SHA1 (fricas-1.0.8-full.tar.bz2) = 6a3e6acb8908d5b8e01efb5a4a5fae25798038d8
+RMD160 (fricas-1.0.8-full.tar.bz2) = 60effe1eb39a83eacb0a742649ace6f2abe1c9c3
+Size (fricas-1.0.8-full.tar.bz2) = 9047376 bytes
+SHA1 (patch-ab) = 71b576dcc4a020e912371ed22eb3f1403230879b
diff --git a/math/fricas/patches/patch-ab b/math/fricas/patches/patch-ab
new file mode 100644
index 00000000000..199b1ea0b5a
--- /dev/null
+++ b/math/fricas/patches/patch-ab
@@ -0,0 +1,22 @@
+$NetBSD: patch-ab,v 1.1 2009/12/15 23:36:29 asau Exp $
+
+Reuse strcmp to simplify logic and fix build.
+Shared between FriCAS and OpenAxiom.
+
+--- src/hyper/addfile.c.orig	2009-07-10 00:50:28.000000000 +0400
++++ src/hyper/addfile.c	2009-12-15 22:32:55.000000000 +0300
+@@ -50,13 +50,7 @@
+ strpostfix(char *s, char *t)
+ {
+     int slen = strlen(s), tlen = strlen(t);
+-
+-    if (tlen > slen)
+-        return 0;
+-    while (tlen > 0)
+-        if (s[--slen] != t[--tlen])
+-            return 0;
+-    return 1;
++    return (tlen < slen) && !strcmp(s+slen-tlen, t);
+ }
+ 
+ /* extend_ht : just checks the name and adds a .ht if needed */