From 5ef87c454601f9d60ca44c4cb392ab412d32d88a Mon Sep 17 00:00:00 2001 From: asau Date: Wed, 16 Dec 2009 01:54:13 +0000 Subject: Update to OpenAxiom 1.3.0 Changes since previous release: Compiler - The compiler now treats ^ as alias for **. - The compiler now rejects ambiguous left hand sides of definitions where parameter types are left out for inference. Previously, the compiler would pick the first signature from some mostly random order, with a warning. - For categories with default implementations, the compiler can be directed to compile only the purely category part (exports), or only the default implementations (category packages). - The compiler now supports a Foreign Function Interface. In particular, signatures for external entities may be declared at capsule level. Currently, only ISO C functions are supported, but future releases may support ISO C++ and other mainstream languages. - The parsing of signature for operators has been improved. Previously, operator names needed to be quoted in signature. That is not longer needed. For instance, previously, one had to write (at category level) "*": (%,%) -> % _/_\: (%,%) -> % _not: % -> % With this release of OpenAxiom and onward, one can simply write *: (%,%) -> % /\: (%,%) -> % not: % -> % which is much simpler to read, write, and much more regular. - The compiler now supports is-case pattern matching. The new pattern matching syntax is useful for structuring retractions, and also for domain recovery from expressions of type Any. - The compiler now supports the loop control transfer operator iterate in repeat loops - previously, the construct was accepted only in scripts (not libraries). That discrepency is now ended. Interpreter - Declared variable with no specified values are now handled as if symbolic value with a specified type. - The interpreter now parses a disjunctive expression involving the 'is' operator the obvious way. E.g. Now T is Integer or T has Ring is now understood as (T is Integer) or (T has Ring) - The interpreter now handles existentially quantified or universally quantified expressions Algebra The following types have been added to OpenAxiom-1.3.0 - The domain Boolean and category BitAggregate no longer export the operation ^ for logical negation. Use the operator not which is the canonical and documented operator. - The domain InputForm now has a new exported signature parseString: String -> % for parsing expressions given as string. - The domain Boolean now belongs to the category OrderedFinite. - The domain KleeneTrivalentLogic is added. It implements Stephen Kleene's 3-valued propositional logic. - For file orinted I/O, new domains have been added: + IOMode: This domains defines three constants to indicate the direction of file I/O operations. + InputBinaryFile: This domains implements the basic input operations on binary files. + OutputBinaryFile: This domains implements the basic output operations on binary files. - The domain BinaryFile has been replaced by three specific domains: + InputBinaryFile: datatype for input file open in binary mode; + OutputBinaryFile: datatype for output file open in binary mode; + InputOutputBinaryFile: datatype for input and output file open in binary mode. - Three new categories are introduced, related to conversions: + CoercibleFrom: This category is the mirror image of the standard category CoercibleTo. + HomotopicTo: This category is the symmetrization of the category CoercibleTo. + ConvertibleFrom: This category is the mirror image of ConvertibleTo. - Previous releases defined instantiations of the domain constructor Expression as satisfying the category OrderedSet. That was both confusing and incorrect in conjunction with other algebraic structures. From now on, Expression(T) no longer satisfies OrderedSet. - Three new categories have been added: + LeftLinearSet + RightLinearSet + LinearSet The category AbelianGroup extends LeftLinearSet Integer. The parameterized category constructor LeftModule extends LeftLinearSet. Similarly, the category RightModule extends RightLinearSet. - The domain Any has been reworked. In particular, the operation domainOf, objectOf, and showTypeInOutput have been removed. Equality of two objects of domain Any is equality according to the underlying domain, if that domain belongs to the category BasicType; otherwise, it is equality of storage locations. Runtime System The Lisp backend now uses type information derived from exports and domain representation for code generation purposes. --- math/openaxiom/Makefile | 5 +- math/openaxiom/PLIST | 132 +++++++++++++++++++++++++++++++++++++--- math/openaxiom/distinfo | 9 +-- math/openaxiom/patches/patch-aa | 22 +++++++ 4 files changed, 154 insertions(+), 14 deletions(-) create mode 100644 math/openaxiom/patches/patch-aa (limited to 'math') diff --git a/math/openaxiom/Makefile b/math/openaxiom/Makefile index 99a1e946d68..4ab8e990de5 100644 --- a/math/openaxiom/Makefile +++ b/math/openaxiom/Makefile @@ -1,9 +1,8 @@ -# $NetBSD: Makefile,v 1.3 2009/04/18 11:17:33 asau Exp $ +# $NetBSD: Makefile,v 1.4 2009/12/16 01:54:13 asau Exp $ # -DISTNAME= open-axiom-1.2.1 +DISTNAME= open-axiom-1.3.0 PKGNAME= ${DISTNAME:S/open-/open/} -PKGREVISION= 1 CATEGORIES= math MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=open-axiom/} EXTRACT_SUFX= .tar.bz2 diff --git a/math/openaxiom/PLIST b/math/openaxiom/PLIST index a9f39f3f491..6bc1c8ad0f1 100644 --- a/math/openaxiom/PLIST +++ b/math/openaxiom/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.4 2009/06/14 20:47:52 joerg Exp $ +@comment $NetBSD: PLIST,v 1.5 2009/12/16 01:54:13 asau Exp $ bin/open-axiom lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/A1AGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/A1AGG.${FASL} @@ -13,6 +13,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACFS-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACFS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACPLOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ADDAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AGG.${FASL} @@ -36,6 +37,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANY1.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/APPLYORE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/APPRULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARITY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARR2CAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARR2CAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARRAY1.${FASL} @@ -72,9 +74,11 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP80.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP9.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASSOCEQ.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASTACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASTCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASTCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATRIG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATRIG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATTRAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATTRBUT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATTREG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AUTOMOR.${FASL} @@ -88,7 +92,6 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BGAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BGAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINARY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINDING.${FASL} -lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINFILE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BITS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BMODULE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BOOLEAN.${FASL} @@ -108,12 +111,17 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTOURN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTREE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTE.${FASL} -lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTEARY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTEBUF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTEORD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CABMON.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CACHSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CAPSLAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARTEN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARTEN2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CASEAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CATAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CATCTOR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CATEGORY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CCLASS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CDEN.${FASL} @@ -128,12 +136,15 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLIF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLIP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLLCTAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CMPLXRT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COLONAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COLOR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBINAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBOPC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMMAAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMMONOP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMMUPC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPCAT-.${FASL} @@ -144,15 +155,21 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPLEX2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPLPAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPPROP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CONDUIT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CONTFRAC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CONTOUR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COORDSYS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CPIMA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CPMATCH.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CRAPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CRCEAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CRFP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CSTTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTOR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTORCALL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTORCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTORCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTORKIND.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTRIGMNP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CVMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CYCLES.${FASL} @@ -178,10 +195,12 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02EJFA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03AGNT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03EEFA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03FAFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DATAARY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DBASE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DBLRESP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DDFACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DECIMAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEFAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEFINTEF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEFINTRF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEGRED.${FASL} @@ -213,6 +232,8 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DLIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DLP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DOMAIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DOMCTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DOMTMPLT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPMM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPMO.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPOLCAT-.${FASL} @@ -275,6 +296,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALAB-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALAB.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALCYC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXIT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXITAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPEXPAN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPR2.${FASL} @@ -295,6 +317,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAXF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FCOMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FCPAK1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FCTRDATA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIV.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIV2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIVCAT-.${FASL} @@ -401,6 +424,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSUPFACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FTEM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FUNCTION.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FUNDESC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FVC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FVFUN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GALFACT.${FASL} @@ -439,6 +463,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GSERIES.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GSTBL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GTSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HACKPI.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HASAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HASHTBL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HB.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HDMP.${FASL} @@ -450,6 +475,8 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HEUGCD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HEXADEC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOMOTOP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOSTNAME.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HYPCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HYPCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IALGFACT.${FASL} @@ -464,6 +491,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ICARD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ICDEN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDEAL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDECOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDENT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPAG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPAM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPC.${FASL} @@ -474,16 +502,23 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IEVALAB-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IEVALAB.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFAMON.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFARRAY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IIARRAY2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ILIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATLIN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATQF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMPTAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INBCON-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INBCON.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INBFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INBFILE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INCRMAPS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INDE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INETCLTS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFINITY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFORM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFORM1.${FASL} @@ -497,6 +532,10 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INPSIGN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INS-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT16.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT32.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT64.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT8.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTABL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTAF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTALG.${FASL} @@ -522,6 +561,10 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTSLPE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTTOOLS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTTR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INVLAPLA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IOBCON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IOBFILE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IOMODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IP4ADDR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPADIC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPRNTPK.${FASL} @@ -533,6 +576,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRREDFFX.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRRF2F.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRSN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRURPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISTRING.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISUMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISUPS.${FASL} @@ -545,6 +589,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IVECTOR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IXAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IXAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/JAVACODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/JOINAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/JORDAN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KAFILE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KDAGG-.${FASL} @@ -554,6 +599,9 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KERNEL2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KOERCE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KONVERT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KOVACIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KRCFROM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KTVLOGIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KVTFROM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LALG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LALG.${FASL} @@ -561,6 +609,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAPLACE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAUPOL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAZM3PK.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEADCDET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LETAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEXP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEXTRIPK.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LF.${FASL} @@ -574,10 +623,13 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIMITPS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIMITRF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LINDEP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LINEXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LINSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST2MAP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LITERAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LLINSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMDICT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMODULE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMOPS.${FASL} @@ -602,14 +654,17 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSMP1.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSPP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSQM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSTAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LWORD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LZSTAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LZSTAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/M3D.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MACROAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAGMA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK1.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG1.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG3.${FASL} @@ -619,6 +674,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATCAT2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATLIN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATRIX.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATSTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAYBE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCALCFN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCDEN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCMPLX.${FASL} @@ -630,7 +686,6 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MFLOAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MHROWRED.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MINT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKBCFUNC.${FASL} -lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKCHSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKFLCFN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKFUNC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKRECORD.${FASL} @@ -695,6 +750,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NASRING.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCEP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCNTFRAC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCODIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NETCLT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NFINTBAS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NIPROB.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NLINSOL.${FASL} @@ -762,7 +818,10 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMSERVER.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ONECOMP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ONECOMP2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPERCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPERCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPQUERY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPSIG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTPACK.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTPROB.${FASL} @@ -784,8 +843,12 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORTHPOL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OSGROUP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OSI.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUTBCON-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUTBCON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUTBFILE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUTFORM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OVERSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OWP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADEPAC.${FASL} @@ -874,6 +937,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYCATQ.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYLIFT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYROOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PORTNUM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PPCURVE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PREASSOC.${FASL} @@ -889,6 +953,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PROPFRML.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PROPLOG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRQAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRTDAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRTITION.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSCAT.${FASL} @@ -912,6 +977,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFORM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QQUTAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUAGG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUATCAT-.${FASL} @@ -936,6 +1002,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDETR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDETRS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDUCEAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL0.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL0Q.${FASL} @@ -952,6 +1019,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REPSQ.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESLATC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESRING.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESULT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETRACT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETRACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETSOL.${FASL} @@ -959,11 +1027,14 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFDIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFFACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFFACTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RGBCMDL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RGBCSPC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RGCHAIN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RIDIST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RING-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RING.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RINTERP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RLINSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATRIX.${FASL} @@ -977,12 +1048,15 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ROMAN.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ROUTINE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RPOLCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RPOLCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RPTAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RRCC-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RRCC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSDCMPK.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETCAT-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSTRCAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RTVALUE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULECOLD.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULESET.${FASL} @@ -991,6 +1065,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAEFACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAERFFC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAOS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SASTCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCACHE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCOPE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCPKG.${FASL} @@ -998,10 +1073,12 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SDPOL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SDVAR.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEG.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGBIND.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGBIND2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGXCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEQAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETAGG-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETAGG.${FASL} @@ -1021,6 +1098,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SGROUP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SHDP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SHP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIGAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIGNEF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIGNRF.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIMPAN.${FASL} @@ -1039,7 +1117,9 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SOLVETRA.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SORTPAK.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPACE3.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPACEC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPADAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPADPRSR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPADXPT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPECOUT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPFCAT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPLNODE.${FASL} @@ -1068,6 +1148,7 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STTFNC.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUBRESP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUBSPACE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUCH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUCHTAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SULS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUMFS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUMRF.${FASL} @@ -1083,6 +1164,8 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMPOLY.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMTAB.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYNTAX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSNNI.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSSOLP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSTEM.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TABLBUMP.${FASL} @@ -1114,10 +1197,15 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TUBETOOL.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TUPLE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TWOFACT.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TYPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TYPEAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UDPO.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UDVO.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UFD-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UFD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UINT16.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UINT32.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UINT64.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UINT8.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULS.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULS2.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULSCAT.${FASL} @@ -1170,6 +1258,8 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VSPACE-.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VSPACE.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WEIER.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WFFINTBS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WHEREAST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WHILEAST.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WP.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WUTSET.${FASL} lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XALG.${FASL} @@ -1220,6 +1310,37 @@ ${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/pile.o ${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/scanner.o ${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/tokens.o ${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/translator.o +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/gloss.text +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/glossdef.text +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/glosskey.text +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/abbreviation.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/boot.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/cd.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/clear.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/close.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/display.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/edit.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/fin.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/frame.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/help.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/history.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/library.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/lisp.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/load.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/ltrace.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/nclef.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/pquit.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/quit.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/read.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/savesystem.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/set.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/show.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/spool.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/synonym.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/system.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/trace.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/undo.help +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/doc/help/what.help lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algaggr.input lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algbrbf.input lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algfacob.input @@ -2613,6 +2734,3 @@ lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/src/algebra/xpoly.spad lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/src/algebra/ystream.spad lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/src/algebra/zerodim.spad lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/timestamp -@pkgdir lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/graph -@pkgdir lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/.libs -@pkgdir lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/.libs diff --git a/math/openaxiom/distinfo b/math/openaxiom/distinfo index 1d29be0259c..d38055242a0 100644 --- a/math/openaxiom/distinfo +++ b/math/openaxiom/distinfo @@ -1,5 +1,6 @@ -$NetBSD: distinfo,v 1.2 2009/04/10 05:21:59 asau Exp $ +$NetBSD: distinfo,v 1.3 2009/12/16 01:54:13 asau Exp $ -SHA1 (open-axiom-1.2.1.tar.bz2) = da15614b436fe53e729a716b6f64167385a80aee -RMD160 (open-axiom-1.2.1.tar.bz2) = 92af7f43d11c5c1e17da85fa65bc435a9727727d -Size (open-axiom-1.2.1.tar.bz2) = 11603067 bytes +SHA1 (open-axiom-1.3.0.tar.bz2) = a9e7fb441d120fe1b4cc9b12d9cc40c868f2dc8e +RMD160 (open-axiom-1.3.0.tar.bz2) = 71ab5b199ae3b4331e82f4b1a549b6e3a764784a +Size (open-axiom-1.3.0.tar.bz2) = 11821857 bytes +SHA1 (patch-aa) = 71b576dcc4a020e912371ed22eb3f1403230879b diff --git a/math/openaxiom/patches/patch-aa b/math/openaxiom/patches/patch-aa new file mode 100644 index 00000000000..55b07ecb0e3 --- /dev/null +++ b/math/openaxiom/patches/patch-aa @@ -0,0 +1,22 @@ +$NetBSD: patch-aa,v 1.1 2009/12/16 01:54:13 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 */ -- cgit v1.2.3