8 files changed, 561 insertions, 0 deletions

diff --git a/math/Makefile b/math/Makefile
index c92147214cae..4a6ab2664706 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -172,6 +172,7 @@
     SUBDIR += clrng
     SUBDIR += cminpack
     SUBDIR += cmlib
+    SUBDIR += cocoalib
     SUBDIR += coin-or-data-netlib
     SUBDIR += coin-or-data-sample
     SUBDIR += coin-or-data-stochastic
diff --git a/math/cocoalib/Makefile b/math/cocoalib/Makefile
new file mode 100644
index 000000000000..6c1c60d383ba
--- /dev/null
+++ b/math/cocoalib/Makefile
@@ -0,0 +1,87 @@
+# $FreeBSD$
+
+PORTNAME=	cocoalib
+DISTVERSION=	0.99600
+CATEGORIES=	math
+MASTER_SITES=	http://cocoa.dima.unige.it/cocoalib/tgz/
+DISTNAME=	CoCoALib-0.99600
+
+MAINTAINER=	phascolarctos@protonmail.ch
+COMMENT=	C++ library for doing Computations in Commutative Algebra
+
+LICENSE=			GPLv3+ GFDL PD
+LICENSE_COMB=			multi
+LICENSE_FILE_GPL3+ =		${WRKSRC}/COPYING-GPLv3
+LICENSE_FILE_GFDL=		${WRKSRC}/doc/COPYING
+
+BUILD_DEPENDS=	bash:shells/bash
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=		shebangfix tar:tgz
+
+SHEBANG_GLOB=	*.sh
+
+CXXFLAGS+=	-I${WRKSRC}/include \
+		-I${WRKSRC}/src/AlgebraicCore/TmpFactorDir \
+		-I${WRKSRC}/src/AlgebraicCore/TmpFactorDir/multivariate \
+		-I${WRKSRC}/src/AlgebraicCore/TmpFactorDir/linalg \
+		-I${LOCALBASE}/include
+LDFLAGS+=	-L${LOCALBASE}/lib -L${BUILD_WRKSRC} -lcocoa -lgmp
+
+BUILD_WRKSRC=	${WRKSRC}/src/AlgebraicCore
+
+TEST_TARGET=	all
+TEST_WRKSRC=	${WRKSRC}/src/tests
+
+OPTIONS_DEFINE=		DOCS EXAMPLES FROBBY GFAN \
+			GSL NORMALIZ SMALLDEG TEST
+FROBBY_DESC=		Link with libfrobby.a
+GFAN_DESC=		Link with libgfan.a
+GSL_DESC=		Link with libgsl.a
+NORMALIZ_DESC=		Link with libnormaliz.a (might cause circular dependency)
+SMALLDEG_DESC=		Optimization for small degree polynomials
+BOOST_BUILD_DEPENDS=	${LOCALBASE}/include/boost/thread.hpp:devel/boost-libs
+FROBBY_BUILD_DEPENDS=	${LOCALBASE}/lib/libfrobby.a:math/frobby
+FROBBY_CXXFLAGS=	-DCoCoA_WITH_FROBBY
+FROBBY_LDFLAGS=		-lfrobby
+GFAN_BUILD_DEPENDS=	${LOCALBASE}/lib/libgfan.a:math/gfanlib
+GFAN_CXXFLAGS=		-DCoCoA_WITH_GFAN
+GFAN_LDFLAGS=		-lgfan
+GSL_BUILD_DEPENDS=	${LOCALBASE}/lib/libgsl.a:math/gsl
+GSL_CXXFLAGS=		-DCoCoA_WITH_GSL
+GSL_LDFLAGS=		-lgsl -lgslcblas
+NORMALIZ_BUILD_DEPENDS=	${LOCALBASE}/lib/libnormaliz.a:math/libnormaliz
+NORMALIZ_CXXFLAGS=	-DCoCoA_WITH_NORMALIZ
+NORMALIZ_LDFLAGS=	-lnormaliz
+
+post-patch:
+	${CP} ${FILESDIR}/Makefile.AlgebraicCore ${BUILD_WRKSRC}/Makefile
+
+post-patch-SMALLDEG-on:
+	${REINPLACE_CMD} 's,int SmallExponent_t,short SmallExponent_t,' ${WRKSRC}/include/CoCoA/config.H
+
+post-patch-TEST-on:
+	${CP} ${FILESDIR}/Makefile.tests ${TEST_WRKSRC}/Makefile
+
+pre-build:
+	cd ${WRKSRC}/include/CoCoA && ./MakeUnifiedHeader.sh --check
+
+post-build-TEST-on: do-test
+
+do-install:
+	${INSTALL_DATA} ${BUILD_WRKSRC}/libcocoa.a ${STAGEDIR}${PREFIX}/lib
+	${MKDIR} ${STAGEDIR}${PREFIX}/include/CoCoA
+	cd ${WRKSRC}/include/CoCoA && ${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/include/CoCoA '-name *\.H'
+
+post-install-DOCS-on:
+	${MKDIR} ${STAGEDIR}${DOCSDIR}
+	${MKDIR} ${STAGEDIR}${DOCSDIR}/html
+	${INSTALL_MAN} ${WRKSRC}/doc/CoCoALib.pdf ${STAGEDIR}${DOCSDIR}
+	cd ${WRKSRC}/doc/html && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}/html
+
+post-install-EXAMPLES-on:
+	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
+	${INSTALL_MAN} ${WRKSRC}/examples/index.html ${STAGEDIR}${EXAMPLESDIR}
+	cd ${WRKSRC}/examples && ${COPYTREE_SHARE} . ${STAGEDIR}${EXAMPLESDIR} '-name ex-*\.C'
+
+.include <bsd.port.mk>
diff --git a/math/cocoalib/distinfo b/math/cocoalib/distinfo
new file mode 100644
index 000000000000..e2d8f970435c
--- /dev/null
+++ b/math/cocoalib/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1535050914
+SHA256 (CoCoALib-0.99600.tgz) = 9ba8c9ea45b55d8c553969193c8d7c4c9b311db89fb4ecda3986f442d7c24750
+SIZE (CoCoALib-0.99600.tgz) = 5346129
diff --git a/math/cocoalib/files/Makefile.AlgebraicCore b/math/cocoalib/files/Makefile.AlgebraicCore
new file mode 100644
index 000000000000..3a28196be6c0
--- /dev/null
+++ b/math/cocoalib/files/Makefile.AlgebraicCore
@@ -0,0 +1,11 @@
+# $FreeBSD$
+all: BuildInfo.o ApproxPts.o ApproxPts2.o BenchmarkToolkit.o BigInt.o BigIntOps.o BigRat.o BigRatInterval.o BigRatOps.o CanonicalHom.o CpuTimeLimit.o DUPFp.o DenseMatrix.o DenseUPolyClean.o DenseUPolyRing.o DistrMPolyClean.o DistrMPolyInlFpPP.o DistrMPolyInlPP.o DivMask.o DynamicBitset.o ExternalLibs-Frobby.o ExternalLibs-GFan.o ExternalLibs-GSL.o ExternalLibs-MathSAT.o ExternalLibs-Normaliz.o ExternalLibs.o FGModule.o FieldIdeal.o FloatApprox.o FractionField.o FreeModule.o GBEnv.o GCDFreeBasis.o GlobalManager.o HomomorphismOps.o LinDepMill.o LogStream.o MachineInt.o MatrixForOrdering.o MatrixFp.o MatrixOps.o MatrixSpecial.o MatrixView.o MemPool.o ModuleOrdering.o NumTheory-GCDFreeBasis.o NumTheory-prime.o NumTheory.o OpenMath.o OpenMathXML.o OrdvArith.o OrthogonalPolys.o PPMonoid.o PPMonoidEv.o PPMonoidEvOv.o PPMonoidHom.o PPMonoidOv.o PPMonoidSparse.o PPOrdering.o PPWithMask.o PolyRing.o ProgressReporter.o QBGenerator.o QuasiPoly.o QuotientModule.o QuotientRing.o RandomSparseNonSing01Mat.o ReductionCog.o RingDenseUPolyClean.o RingDistrMPolyClean.o RingDistrMPolyInlFpPP.o RingDistrMPolyInlPP.o RingElemInput.o RingExtAlg.o RingFp.o RingFpDouble.o RingFpLog.o RingFqLog.o RingFqVec.o RingHom.o RingQQ.o RingTwinFloat.o RingWeyl.o RingZZ.o RootBound.o SignalWatcher.o SmallFpDoubleImpl.o SmallFpImpl.o SmallFpLogImpl.o SmallFqLogImpl.o SmallFqUtils.o SmallFqVecImpl.o SparsePolyOps-EvalInterval.o SparsePolyOps-IdealOfPoints.o SparsePolyOps-IdealZeroDim.o SparsePolyOps-MinPoly.o SparsePolyOps-MonomialIdeal.o SparsePolyOps-RadicalMembership.o SparsePolyOps-RealRadical.o SparsePolyOps-RingElem.o SparsePolyOps-RingHom.o SparsePolyOps-SturmSeq.o SparsePolyOps-hilbert.o SparsePolyOps-ideal.o SparsePolyOps-implicit.o SparsePolyOps-involutive.o SparsePolyOps-reduce.o SparsePolyRing.o SugarDegree.o ThreadsafeCounter.o TmpF5.o TmpF5Mat.o TmpFactorDir/BM.o TmpFactorDir/DUPFF.o TmpFactorDir/DUPFFddf.o TmpFactorDir/DUPFFderiv.o TmpFactorDir/DUPFFfactor.o TmpFactorDir/DUPFFlist.o TmpFactorDir/DUPFFmod.o TmpFactorDir/DUPFFprint.o TmpFactorDir/DUPFFsqfrd.o TmpFactorDir/DUPZ.o TmpFactorDir/DUPZ_DUPFF.o TmpFactorDir/DUPZcontent.o TmpFactorDir/DUPZcra.o TmpFactorDir/DUPZevaluate.o TmpFactorDir/DUPZfactor.o TmpFactorDir/DUPZfactor_bound.o TmpFactorDir/DUPZfactor_combine.o TmpFactorDir/DUPZfactor_info.o TmpFactorDir/DUPZfactor_liftq.o TmpFactorDir/DUPZfactor_prime.o TmpFactorDir/DUPZfactor_refine_fds.o TmpFactorDir/DUPZfactors.o TmpFactorDir/DUPZformal_deriv.o TmpFactorDir/DUPZgcd.o TmpFactorDir/DUPZlist.o TmpFactorDir/DUPZprint.o TmpFactorDir/DUPZroot_bound.o TmpFactorDir/DUPZsqfrd.o TmpFactorDir/FF.o TmpFactorDir/FindPrimRoot.o TmpFactorDir/PPstream.o TmpFactorDir/WGD.o TmpFactorDir/add_logs.o TmpFactorDir/berlekamp.o TmpFactorDir/debug_malloc.o TmpFactorDir/jaaerror.o TmpFactorDir/jalloc.o TmpFactorDir/linalg/FFdet.o TmpFactorDir/linalg/FFfind_block.o TmpFactorDir/linalg/FFkernel.o TmpFactorDir/linalg/FFmat.o TmpFactorDir/linalg/FFsolve.o TmpFactorDir/linalg/Qmat.o TmpFactorDir/linalg/Qsolve.o TmpFactorDir/linalg/Zdet.o TmpFactorDir/linalg/Zkernel.o TmpFactorDir/linalg/Zmat.o TmpFactorDir/linalg/Zmat_det_bound.o TmpFactorDir/linalg/Zsolve.o TmpFactorDir/linalg/mpz_from_padic.o TmpFactorDir/logi.o TmpFactorDir/mpq_to_FFelem.o TmpFactorDir/mpz_cmp_abs.o TmpFactorDir/mpz_cra_ui.o TmpFactorDir/mpz_lift_recip.o TmpFactorDir/mpz_log.o TmpFactorDir/multivariate/DMPZ.o TmpFactorDir/multivariate/DMPZ_to_DUPFF.o TmpFactorDir/multivariate/DMPZ_to_DUPZ.o TmpFactorDir/multivariate/DMPZeval.o TmpFactorDir/multivariate/DMPZevalQ.o TmpFactorDir/multivariate/DMPZfactor.o TmpFactorDir/multivariate/DMPZfactor_modp.o TmpFactorDir/multivariate/DMPZfactors.o TmpFactorDir/multivariate/DMPZgcd.o TmpFactorDir/multivariate/DMPZinteger_content.o TmpFactorDir/multivariate/DMPZinterp.o TmpFactorDir/multivariate/DMPZlift.o TmpFactorDir/multivariate/DMPZlist.o TmpFactorDir/multivariate/DMPZmap_to_univariate.o TmpFactorDir/multivariate/DUPZbivariate_lift.o TmpFactorDir/multivariate/DUPZexgcd.o TmpFactorDir/multivariate/DUPZgcd_free_basis.o TmpFactorDir/multivariate/DUPZinterp.o TmpFactorDir/primes.o TmpGOperations.o TmpGPair.o TmpGPoly.o TmpGRStats.o TmpGReductor.o TmpHilbertDir/AnnaUtils.o TmpHilbertDir/IVectors.o TmpHilbertDir/TermList.o TmpHilbertDir/TmpPoincareCPP.o TmpHilbertDir/eterms.o TmpHilbertDir/poincare.o TmpHilbertDir/rum.o TmpHilbertDir/toric.o TmpHilbertDir/unipoly.o TmpIsTree.o TmpJBAlgorithm.o TmpJBDatastructure.o TmpJBMill.o TmpJBSets.o TmpLDP.o TmpMayerVietorisTree.o TmpMonomialFunctions.o TmpMorseBetti.o TmpMorseElement.o TmpMorseGraph.o TmpMorsePaths.o TmpMorseResolution.o TmpPBMill.o TmpPPVector.o TmpPartialMorseBetti.o TmpResolutionMinimization.o TmpStabilityAlgorithm.o TmpToric.o TmpUniversalInvolutiveBasisContainer.o ToString.o UPoly.o VectorOps.o VerificationLevel.o apply.o assert.o bool3.o combinatorics.o convert.o degree.o error.o exception.o factor-AlgExtn.o factor.o geobucket.o ideal.o interrupt.o matrix.o module.o obsolescent.o random.o ring.o submodule.o subresultant.o symbol.o time.o utils-gmp.o utils.o verbose.o 
+	ar rcs libcocoa.a ${.ALLSRC}
+
+.SUFFIXES:.o
+.c.o:
+	${CXX} ${CXXFLAGS} -o ${.TARGET} -c ${.IMPSRC}
+.C.o:
+	${CXX} ${CXXFLAGS} -o ${.TARGET} -c ${.IMPSRC}
+BuildInfo.o:
+	${CXX} ${CXXFLAGS} -DCOCOA_VERSION="\"0.99600\"" -DCOCOA_CXX="\"${CXX}\"" -DCOCOA_CXXFLAGS="\"${CXXFLAGS}\"" -DCOCOA_CXXFLAGS_DEFINES="\"\"" -o BuildInfo.o -c BuildInfo.C
diff --git a/math/cocoalib/files/Makefile.tests b/math/cocoalib/files/Makefile.tests
new file mode 100644
index 000000000000..edfe0e7e7d6b
--- /dev/null
+++ b/math/cocoalib/files/Makefile.tests
@@ -0,0 +1,6 @@
+# $FreeBSD$
+all: test-BigInt1 test-BigInt2 test-BigInt3 test-BigRat1 test-BigRat2 test-BigRat3 test-BigRat4 test-DenseUPolyRing1 test-DynamicBitset1 test-FloatApprox1 test-FractionField1 test-FreeModule1 test-FreeModule2 test-GFan1 test-GMPAllocator test-GOperations1 test-GOperations2 test-GReductor1 test-HomomorphismOps1 test-IdealOfPoints1 test-IntOperations1 test-IntOperations2 test-IntOperations3 test-IsInteger1 test-MachineInt1 test-MachineInt2 test-MatrixForOrdering1 test-MatrixForOrdering2 test-MatrixSpecial1 test-MatrixSpecial2 test-MinPoly1 test-MinPoly2 test-MonomialIdeal1 test-NumTheory1 test-NumTheory2 test-NumTheory3 test-NumTheory4 test-NumTheory5 test-NumTheory6 test-NumTheory7 test-NumTheory8 test-OpenMath1 test-OrderedDomain1 test-OrderedDomain2 test-PPMonoid1 test-PPMonoid2 test-PPMonoidHom1 test-PPMonoidSparse1 test-PPVector test-QBGenerator1 test-QuotientRing1 test-RadicalMembership1 test-RandomBigInt1 test-RandomLong1 test-RandomSource1 test-RandomSource2 test-RandomSource3 test-RingAssign1 test-RingElem1 test-RingElem2 test-RingElem3 test-RingElem4 test-RingElem5 test-RingElem6 test-RingFp1 test-RingFq1 test-RingHom1 test-RingHom2 test-RingHom3 test-RingHom4 test-RingQQ1 test-RingTwinFloat1 test-RingTwinFloat2 test-RingTwinFloat4 test-RingTwinFloat5 test-RingWeyl1 test-RingZZ1 test-RingZZ2 test-RingZZmodN1 test-RootBound1 test-RootBound2 test-SmallFp1 test-SmallFp2 test-SparsePolyRing1 test-SparsePolyRing2 test-SparsePolyRing3 test-SparsePolyRing4 test-SparsePolyRing5 test-SparsePolyRing6 test-SqFreeFactor1 test-SturmSeq1 test-TmpIsTree test-TmpMorseElement test-TmpMorseGraph test-TmpMorsePath test-TmpResolutionMinimization test-bool3 test-bug1 test-bug2 test-bug3 test-bug4 test-bug5 test-bug6 test-bug7 test-bug8 test-bug9 test-convert1 test-empty test-factor1 test-frobby1 test-gsl1 test-hilbert1 test-ideal1 test-ideal2 test-matrix1 test-matrix2 test-matrix3 test-matrix4 test-module1 test-normaliz1 test-normaliz2 test-obsolescent test-output test-symbol1 test-symbol2 test-toric1 test-utils1 test-utils2 
+	bash RunTests.sh ${.ALLSRC}
+
+.C:
+	${CXX} ${CXXFLAGS} -o ${.TARGET} ${.IMPSRC} ${LDFLAGS}
diff --git a/math/cocoalib/files/patch-src_AlgebraicCore_TmpLDP.C b/math/cocoalib/files/patch-src_AlgebraicCore_TmpLDP.C
new file mode 100644
index 000000000000..e042bac78fc9
--- /dev/null
+++ b/math/cocoalib/files/patch-src_AlgebraicCore_TmpLDP.C
@@ -0,0 +1,10 @@
+--- src/AlgebraicCore/TmpLDP.C.orig	2018-08-28 05:34:27 UTC
++++ src/AlgebraicCore/TmpLDP.C
+@@ -11,6 +11,7 @@
+ #include "CoCoA/QBGenerator.H"
+ #include "CoCoA/RingHom.H"
+ #include "CoCoA/SparsePolyRing.H"
++#include "CoCoA/SparsePolyOps-RingElem.H"
+ #include "CoCoA/convert.H"
+ #include "CoCoA/matrix.H"
+ #include "CoCoA/ring.H"
diff --git a/math/cocoalib/pkg-descr b/math/cocoalib/pkg-descr
new file mode 100644
index 000000000000..e42811f345d6
--- /dev/null
+++ b/math/cocoalib/pkg-descr
@@ -0,0 +1,8 @@
+CoCoALib is a C++ library for Computations in Commutative Algebra,
+focused mainly on polynomial rings, ideals, Groebner basis and
+similar topics.
+
+You might like to install CoCoA-5 too, a shell that lets you interact
+with most of CoCoALib without the need to learn C++.
+
+WWW: http://cocoa.dima.unige.it
diff --git a/math/cocoalib/pkg-plist b/math/cocoalib/pkg-plist
new file mode 100644
index 000000000000..6ebaa934a94e
--- /dev/null
+++ b/math/cocoalib/pkg-plist
@@ -0,0 +1,435 @@
+include/CoCoA/ApproxPts.H
+include/CoCoA/ApproxPts2.H
+include/CoCoA/BenchmarkToolkit.H
+include/CoCoA/BigInt.H
+include/CoCoA/BigIntOps.H
+include/CoCoA/BigRat.H
+include/CoCoA/BigRatInterval.H
+include/CoCoA/BigRatOps.H
+include/CoCoA/BuildInfo.H
+include/CoCoA/CanonicalHom.H
+include/CoCoA/CpuTimeLimit.H
+include/CoCoA/DUPFp.H
+include/CoCoA/DenseMatrix.H
+include/CoCoA/DenseUPolyClean.H
+include/CoCoA/DenseUPolyRing.H
+include/CoCoA/DistrMPolyClean.H
+include/CoCoA/DistrMPolyInlFpPP.H
+include/CoCoA/DistrMPolyInlPP.H
+include/CoCoA/DivMask.H
+include/CoCoA/DynamicBitset.H
+include/CoCoA/ExternalLibs-Frobby.H
+include/CoCoA/ExternalLibs-GFan.H
+include/CoCoA/ExternalLibs-GSL.H
+include/CoCoA/ExternalLibs-MathSAT.H
+include/CoCoA/ExternalLibs-Normaliz.H
+include/CoCoA/ExternalLibs.H
+include/CoCoA/FGModule.H
+include/CoCoA/FieldIdeal.H
+include/CoCoA/FloatApprox.H
+include/CoCoA/FractionField.H
+include/CoCoA/FreeModule.H
+include/CoCoA/GBEnv.H
+include/CoCoA/GCDFreeBasis.H
+include/CoCoA/GlobalManager.H
+include/CoCoA/HomomorphismOps.H
+include/CoCoA/LinDepMill.H
+include/CoCoA/LogStream.H
+include/CoCoA/MachineInt.H
+include/CoCoA/MatrixForOrdering.H
+include/CoCoA/MatrixFp.H
+include/CoCoA/MatrixOps.H
+include/CoCoA/MatrixSpecial.H
+include/CoCoA/MatrixView.H
+include/CoCoA/MemPool.H
+include/CoCoA/ModuleOrdering.H
+include/CoCoA/NumTheory-GCDFreeBasis.H
+include/CoCoA/NumTheory-prime.H
+include/CoCoA/NumTheory.H
+include/CoCoA/OpenMath.H
+include/CoCoA/OpenMathXML.H
+include/CoCoA/OrdvArith.H
+include/CoCoA/OrthogonalPolys.H
+include/CoCoA/PPMonoid.H
+include/CoCoA/PPMonoidEv.H
+include/CoCoA/PPMonoidEvOv.H
+include/CoCoA/PPMonoidHom.H
+include/CoCoA/PPMonoidOv.H
+include/CoCoA/PPMonoidSparse.H
+include/CoCoA/PPOrdering.H
+include/CoCoA/PPWithMask.H
+include/CoCoA/PREPROCESSOR_DEFNS.H
+include/CoCoA/PolyRing.H
+include/CoCoA/ProgressReporter.H
+include/CoCoA/QBGenerator.H
+include/CoCoA/QuasiPoly.H
+include/CoCoA/QuotientModule.H
+include/CoCoA/QuotientRing.H
+include/CoCoA/RandomSparseNonSing01Mat.H
+include/CoCoA/ReductionCog.H
+include/CoCoA/RingDenseUPolyClean.H
+include/CoCoA/RingDistrMPolyClean.H
+include/CoCoA/RingDistrMPolyInlFpPP.H
+include/CoCoA/RingDistrMPolyInlPP.H
+include/CoCoA/RingElemInput.H
+include/CoCoA/RingExtAlg.H
+include/CoCoA/RingFp.H
+include/CoCoA/RingFpDouble.H
+include/CoCoA/RingFpLog.H
+include/CoCoA/RingFqLog.H
+include/CoCoA/RingFqVec.H
+include/CoCoA/RingHom.H
+include/CoCoA/RingQQ.H
+include/CoCoA/RingTwinFloat.H
+include/CoCoA/RingWeyl.H
+include/CoCoA/RingZZ.H
+include/CoCoA/RootBound.H
+include/CoCoA/SignalWatcher.H
+include/CoCoA/SmallFpDoubleImpl.H
+include/CoCoA/SmallFpImpl.H
+include/CoCoA/SmallFpLogImpl.H
+include/CoCoA/SmallFqLogImpl.H
+include/CoCoA/SmallFqUtils.H
+include/CoCoA/SmallFqVecImpl.H
+include/CoCoA/SmartPtrIRC.H
+include/CoCoA/SparsePolyIter.H
+include/CoCoA/SparsePolyOps-EvalInterval.H
+include/CoCoA/SparsePolyOps-IdealOfPoints.H
+include/CoCoA/SparsePolyOps-MinPoly.H
+include/CoCoA/SparsePolyOps-MonomialIdeal.H
+include/CoCoA/SparsePolyOps-RadicalMembership.H
+include/CoCoA/SparsePolyOps-RealRadical.H
+include/CoCoA/SparsePolyOps-RingElem.H
+include/CoCoA/SparsePolyOps-SturmSeq.H
+include/CoCoA/SparsePolyOps-hilbert.H
+include/CoCoA/SparsePolyOps-ideal.H
+include/CoCoA/SparsePolyOps-implicit.H
+include/CoCoA/SparsePolyOps-involutive.H
+include/CoCoA/SparsePolyRing.H
+include/CoCoA/SugarDegree.H
+include/CoCoA/ThreadsafeCounter.H
+include/CoCoA/TmpF5.H
+include/CoCoA/TmpGOperations.H
+include/CoCoA/TmpGPair.H
+include/CoCoA/TmpGPoly.H
+include/CoCoA/TmpGRStats.H
+include/CoCoA/TmpGReductor.H
+include/CoCoA/TmpGTypes.H
+include/CoCoA/TmpIsTree.H
+include/CoCoA/TmpJBAlgorithm.H
+include/CoCoA/TmpJBDatastructure.H
+include/CoCoA/TmpJBMill.H
+include/CoCoA/TmpJBSets.H
+include/CoCoA/TmpMayerVietorisTree.H
+include/CoCoA/TmpMonomialFunctions.H
+include/CoCoA/TmpMorseBetti.H
+include/CoCoA/TmpMorseElement.H
+include/CoCoA/TmpMorseGraph.H
+include/CoCoA/TmpMorsePaths.H
+include/CoCoA/TmpMorseResolution.H
+include/CoCoA/TmpPBMill.H
+include/CoCoA/TmpPPVector.H
+include/CoCoA/TmpPartialMorseBetti.H
+include/CoCoA/TmpResolutionMinimization.H
+include/CoCoA/TmpStabilityAlgorithm.H
+include/CoCoA/TmpToric.H
+include/CoCoA/TmpUniversalInvolutiveBasisContainer.H
+include/CoCoA/ToString.H
+include/CoCoA/ULong2Long.H
+include/CoCoA/UPoly.H
+include/CoCoA/VectorOps.H
+include/CoCoA/VerificationLevel.H
+include/CoCoA/apply.H
+include/CoCoA/assert.H
+include/CoCoA/bool3.H
+include/CoCoA/combinatorics.H
+include/CoCoA/config.H
+include/CoCoA/convert.H
+include/CoCoA/debug_new.H
+include/CoCoA/degree.H
+include/CoCoA/error.H
+include/CoCoA/exception.H
+include/CoCoA/factor.H
+include/CoCoA/factorization.H
+include/CoCoA/geobucket.H
+include/CoCoA/ideal.H
+include/CoCoA/interrupt.H
+include/CoCoA/library.H
+include/CoCoA/matrix.H
+include/CoCoA/module.H
+include/CoCoA/obsolescent.H
+include/CoCoA/random.H
+include/CoCoA/ring.H
+include/CoCoA/submodule.H
+include/CoCoA/subresultant.H
+include/CoCoA/symbol.H
+include/CoCoA/time.H
+include/CoCoA/utils-gmp.H
+include/CoCoA/utils.H
+include/CoCoA/verbose.H
+lib/libcocoa.a
+%%PORTDOCS%%%%DOCSDIR%%/CoCoALib.pdf
+%%PORTDOCS%%%%DOCSDIR%%/html/00CodingConventions.html
+%%PORTDOCS%%%%DOCSDIR%%/html/00INTRODUCTION.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ApproxPts.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BigInt.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BigIntOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BigRat.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BigRatInterval.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BigRatOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BuildInfo.html
+%%PORTDOCS%%%%DOCSDIR%%/html/BuiltInFunctions.html
+%%PORTDOCS%%%%DOCSDIR%%/html/CanonicalHom.html
+%%PORTDOCS%%%%DOCSDIR%%/html/CpuTimeLimit.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DenseMatrix.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DenseUPolyClean.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DenseUPolyRing.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DistrMPolyClean.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DistrMPolyInlPP.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DivMask.html
+%%PORTDOCS%%%%DOCSDIR%%/html/DynamicBitset.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-BOOST.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-Frobby.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-GFan.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-GMP.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-MathSAT.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs-Normaliz.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ExternalLibs.html
+%%PORTDOCS%%%%DOCSDIR%%/html/FGModule.html
+%%PORTDOCS%%%%DOCSDIR%%/html/FieldIdeal.html
+%%PORTDOCS%%%%DOCSDIR%%/html/FloatApprox.html
+%%PORTDOCS%%%%DOCSDIR%%/html/FractionField.html
+%%PORTDOCS%%%%DOCSDIR%%/html/FreeModule.html
+%%PORTDOCS%%%%DOCSDIR%%/html/GBEnv.html
+%%PORTDOCS%%%%DOCSDIR%%/html/GPoly.html
+%%PORTDOCS%%%%DOCSDIR%%/html/GlobalManager.html
+%%PORTDOCS%%%%DOCSDIR%%/html/HomomorphismOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/INSTALL.html
+%%PORTDOCS%%%%DOCSDIR%%/html/IdealOfPoints.html
+%%PORTDOCS%%%%DOCSDIR%%/html/JBMill.html
+%%PORTDOCS%%%%DOCSDIR%%/html/LogStream.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MachineInt.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MatrixForOrdering.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MatrixOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MatrixSpecial.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MatrixView.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MemPool.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ModuleTermOrdering.html
+%%PORTDOCS%%%%DOCSDIR%%/html/MorseGraph.html
+%%PORTDOCS%%%%DOCSDIR%%/html/NumTheory.html
+%%PORTDOCS%%%%DOCSDIR%%/html/OpenMath.html
+%%PORTDOCS%%%%DOCSDIR%%/html/OrdvArith.html
+%%PORTDOCS%%%%DOCSDIR%%/html/OrthogonalPolys.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PBMill.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PPMonoid.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PPMonoidHom.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PPOrdering.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PPVector.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PPWithMask.html
+%%PORTDOCS%%%%DOCSDIR%%/html/PolyRing.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ProgressReporter.html
+%%PORTDOCS%%%%DOCSDIR%%/html/QBGenerator.html
+%%PORTDOCS%%%%DOCSDIR%%/html/QuasiPoly.html
+%%PORTDOCS%%%%DOCSDIR%%/html/QuotientRing.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RadicalMembership.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ReductionCog.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RegisterServerOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingDistrMPolyClean.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingDistrMPolyInlPP.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingElem.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingElemInput.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingFp.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingFpDouble.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingFpLog.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingHom.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingQQ.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingTwinFloat.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingWeyl.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RingZZ.html
+%%PORTDOCS%%%%DOCSDIR%%/html/RootBound.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ServerOp.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SignalWatcher.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmallFpDoubleImpl.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmallFpImpl.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmallFpLogImpl.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmallPrime.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmartPtrIRC.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SmartPtrIRCCOW.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SocketStream.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SparsePolyOps-MinPoly.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SparsePolyOps-RealRadical.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SparsePolyOps-SturmSeq.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SparsePolyOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SparsePolyRing.html
+%%PORTDOCS%%%%DOCSDIR%%/html/SugarDegree.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ThreadsafeCounter.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ToString.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ULong2Long.html
+%%PORTDOCS%%%%DOCSDIR%%/html/UniversalInvolutiveBasisContainer.html
+%%PORTDOCS%%%%DOCSDIR%%/html/VectorOps.html
+%%PORTDOCS%%%%DOCSDIR%%/html/VerificationLevel.html
+%%PORTDOCS%%%%DOCSDIR%%/html/assert.html
+%%PORTDOCS%%%%DOCSDIR%%/html/bool3.html
+%%PORTDOCS%%%%DOCSDIR%%/html/cocoalib-doc.css
+%%PORTDOCS%%%%DOCSDIR%%/html/combinatorics.html
+%%PORTDOCS%%%%DOCSDIR%%/html/config.html
+%%PORTDOCS%%%%DOCSDIR%%/html/convert.html
+%%PORTDOCS%%%%DOCSDIR%%/html/debug_new.html
+%%PORTDOCS%%%%DOCSDIR%%/html/degree.html
+%%PORTDOCS%%%%DOCSDIR%%/html/empty.html
+%%PORTDOCS%%%%DOCSDIR%%/html/error.html
+%%PORTDOCS%%%%DOCSDIR%%/html/exception.html
+%%PORTDOCS%%%%DOCSDIR%%/html/factor.html
+%%PORTDOCS%%%%DOCSDIR%%/html/factorization.html
+%%PORTDOCS%%%%DOCSDIR%%/html/geobucket.html
+%%PORTDOCS%%%%DOCSDIR%%/html/hilbert.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ideal.html
+%%PORTDOCS%%%%DOCSDIR%%/html/index-alpha.html
+%%PORTDOCS%%%%DOCSDIR%%/html/index.html
+%%PORTDOCS%%%%DOCSDIR%%/html/interrupt.html
+%%PORTDOCS%%%%DOCSDIR%%/html/leak_checker.html
+%%PORTDOCS%%%%DOCSDIR%%/html/library.html
+%%PORTDOCS%%%%DOCSDIR%%/html/matrix.html
+%%PORTDOCS%%%%DOCSDIR%%/html/module.html
+%%PORTDOCS%%%%DOCSDIR%%/html/obsolescent.html
+%%PORTDOCS%%%%DOCSDIR%%/html/random.html
+%%PORTDOCS%%%%DOCSDIR%%/html/ring.html
+%%PORTDOCS%%%%DOCSDIR%%/html/submodule.html
+%%PORTDOCS%%%%DOCSDIR%%/html/symbol.html
+%%PORTDOCS%%%%DOCSDIR%%/html/time.html
+%%PORTDOCS%%%%DOCSDIR%%/html/utils-gmp.html
+%%PORTDOCS%%%%DOCSDIR%%/html/utils.html
+%%PORTDOCS%%%%DOCSDIR%%/html/verbose.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-AlexanderDual.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ApproxPts1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BenchmarkToolkit.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BigInt1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BigInt2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BigInt3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BigRat1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BigRatInterval1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-BuildInfo.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-CpuTimeLimit1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-CpuTimeLimit2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-DivMask1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-DivMask2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-DynamicBitset1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-DynamicBitset2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ExternalLibs1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-FloatApprox1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-GCDFreeBasis1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-GFan1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-GMPAllocator1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-GMPAllocator2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-HomomorphismFns1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-IdealOfPoints1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-IntegrationUIBCToSparsePolyRing.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Janet1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Janet2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-LogStream1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MVT-SqFr.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MVT-edge.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MVT.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MathSat1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MathSat2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-MorseGraph.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NF.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Normaliz1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Normaliz2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NumTheory-crypto1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NumTheory1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NumTheory2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NumTheory3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-NumTheory4.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-OrderingGrading1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-OrthogPolys1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPMonoidElem1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPMonoidElem2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPMonoidHom1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPVector1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPWithMask1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PPWithMask2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyInput1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyInput2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyIterator1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyIterator2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyRing1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyRing2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyRing3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-PolyRing4.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Pommaret1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-Pommaret2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ProgressReporter1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-QuotientBasis.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RandomBigInt1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RandomBool1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RandomLong1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RandomSource1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RandomSource2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingElem1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingFp1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingFp2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingFq1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom4.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom5.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingHom6.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingQQ1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingTwinFloat1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingTwinFloat2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingTwinFloat3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingTwinFloat6.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingWeyl1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingWeyl2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingWeyl3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingWeyl4.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingWeyl5.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RingZZ1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-RootBound1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SmallFp1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SmallFp2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SmallFp3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SparsePolyOps1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SparsePolyOps2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-SparsePolyOps3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ToString1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ToString2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-UtilsTemplate1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-VectorOperations1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-VerificationLevel1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-bool3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-arith.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-basic.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-bool.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-class.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-fn-defn.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-for-loop.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++-vector.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-c++.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-convert1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-empty.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-error1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-factor1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-frobby1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-geobucket1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-hilbert1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ideal1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ideal2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-interrupt1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-interrupt2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-limits.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-matrix1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-matrix2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-matrix3.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-matrix4.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-module1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-module2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-obsolescent.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ring1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-ring2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-symbol1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-symbol2.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ex-verbose1.C
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/index.html