Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 31 Mar 2020 17:28:25 +0000 (UTC)
From:      Thierry Thomas <thierry@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r529990 - in head/math: . brial py-brial
Message-ID:  <202003311728.02VHSPrE051953@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: thierry
Date: Tue Mar 31 17:28:25 2020
New Revision: 529990
URL: https://svnweb.freebsd.org/changeset/ports/529990

Log:
  Adding BRiAl, a library for polynomials over boolean rings, and its Python
  module.
  
  To be used by SageMath.

Added:
  head/math/brial/
  head/math/brial/Makefile   (contents, props changed)
  head/math/brial/distinfo   (contents, props changed)
  head/math/brial/pkg-descr   (contents, props changed)
  head/math/brial/pkg-plist   (contents, props changed)
  head/math/py-brial/
  head/math/py-brial/Makefile   (contents, props changed)
  head/math/py-brial/distinfo   (contents, props changed)
  head/math/py-brial/pkg-descr   (contents, props changed)
  head/math/py-brial/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Tue Mar 31 17:25:31 2020	(r529989)
+++ head/math/Makefile	Tue Mar 31 17:28:25 2020	(r529990)
@@ -158,6 +158,7 @@
     SUBDIR += blocksolve95
     SUBDIR += bonmin
     SUBDIR += boolector
+    SUBDIR += brial
     SUBDIR += bsdnt
     SUBDIR += btor2tools
     SUBDIR += cadabra2
@@ -725,6 +726,7 @@
     SUBDIR += py-bitmath
     SUBDIR += py-bitvector
     SUBDIR += py-bottleneck
+    SUBDIR += py-brial
     SUBDIR += py-cdecimal
     SUBDIR += py-chaospy
     SUBDIR += py-claripy

Added: head/math/brial/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/brial/Makefile	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,28 @@
+# Created by: thierry@pompo.net
+# $FreeBSD$
+
+PORTNAME=	BRiAl
+PORTVERSION=	1.2.8
+CATEGORIES=	math
+
+MAINTAINER=	thierry@FreeBSD.org
+COMMENT=	Library for polynomials over boolean rings
+
+LICENSE=	GPLv2
+
+LIB_DEPENDS=	libm4ri.so:math/m4ri		\
+		libgd.so:graphics/gd		\
+		libpng.so:graphics/png		\
+		libboost_thread.so:devel/boost-libs
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	BRiAl
+
+USES=		autoreconf compiler:c++11-lang libtool localbase pkgconfig
+
+GNU_CONFIGURE=	yes
+USE_LDCONFIG=	yes
+
+TEST_TARGET=	check
+
+.include <bsd.port.mk>

Added: head/math/brial/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/brial/distinfo	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1585668283
+SHA256 (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = bf888574ea0deccd8cc55025bac112189409cb309937824717a458304f290e6a
+SIZE (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = 1721549

Added: head/math/brial/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/brial/pkg-descr	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,13 @@
+BRiAl is the successor to PolyBoRi.
+
+The core of PolyBoRi is a C++ library, which provides high-level data
+types for Boolean polynomials and monomials, exponent vectors, as well
+as for the underlying polynomial rings and subsets of the powerset of
+the Boolean variables. As a unique approach, binary decision diagrams
+are used as internal storage type for polynomial structures. On top of
+this C++-library we provide a Python interface. This allows parsing of
+complex polynomial systems, as well as sophisticated and extendable
+strategies for Groebner base computation. PolyBoRi features a powerful
+reference implementation for Groebner basis computation.
+
+WWW: https://github.com/BRiAl/BRiAl

Added: head/math/brial/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/brial/pkg-plist	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,196 @@
+include/polybori.h
+include/polybori/BlockDegLexOrder.h
+include/polybori/BlockDegRevLexAscOrder.h
+include/polybori/BooleConstant.h
+include/polybori/BooleEnv.h
+include/polybori/BooleExponent.h
+include/polybori/BooleMonomial.h
+include/polybori/BoolePolyRing.h
+include/polybori/BoolePolynomial.h
+include/polybori/BooleSet.h
+include/polybori/BooleSetSequence.h
+include/polybori/BooleVariable.h
+include/polybori/DegLexOrder.h
+include/polybori/DegRevLexAscOrder.h
+include/polybori/LexOrder.h
+include/polybori/cache/CCacheManagement.h
+include/polybori/cache/CDegreeCache.h
+include/polybori/cache/CacheManager.h
+include/polybori/common/CCheckedIdx.h
+include/polybori/common/CExtrusivePtr.h
+include/polybori/common/CWeakPtr.h
+include/polybori/common/CWeakPtrFacade.h
+include/polybori/common/TransformedSequence.h
+include/polybori/common/tags.h
+include/polybori/common/traits.h
+include/polybori/config.h
+include/polybori/cudd/cudd.h
+include/polybori/cudd/cuddInt.h
+include/polybori/cudd/prefix.h
+include/polybori/cudd/prefix_internal.h
+include/polybori/diagram/CApplyNodeFacade.h
+include/polybori/diagram/CCuddDDFacade.h
+include/polybori/diagram/CDDOperations.h
+include/polybori/diagram/CNodeCounter.h
+include/polybori/except/CErrorInfo.h
+include/polybori/except/PBoRiError.h
+include/polybori/except/PBoRiGenericError.h
+include/polybori/factories/CFactoryBase.h
+include/polybori/factories/MonomialFactory.h
+include/polybori/factories/PolynomialFactory.h
+include/polybori/factories/SetFactory.h
+include/polybori/factories/VariableBlock.h
+include/polybori/factories/VariableFactory.h
+include/polybori/groebner/BitMask.h
+include/polybori/groebner/BlockOrderHelper.h
+include/polybori/groebner/BoundedDivisorsOf.h
+include/polybori/groebner/ChainCriterion.h
+include/polybori/groebner/ChainVariableCriterion.h
+include/polybori/groebner/CheckChainCriterion.h
+include/polybori/groebner/CountCriterion.h
+include/polybori/groebner/DegOrderHelper.h
+include/polybori/groebner/ExpGreater.h
+include/polybori/groebner/ExpLexLess.h
+include/polybori/groebner/FGLMStrategy.h
+include/polybori/groebner/GetNthPoly.h
+include/polybori/groebner/GroebnerOptions.h
+include/polybori/groebner/GroebnerStrategy.h
+include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
+include/polybori/groebner/IJPairData.h
+include/polybori/groebner/IsEcart0Predicate.h
+include/polybori/groebner/IsVariableOfIndex.h
+include/polybori/groebner/LLReduction.h
+include/polybori/groebner/LLReductor.h
+include/polybori/groebner/LMLessCompare.h
+include/polybori/groebner/LMLessComparePS.h
+include/polybori/groebner/LargerDegreeComparer.h
+include/polybori/groebner/LeadingTerms.h
+include/polybori/groebner/LeadingTerms00.h
+include/polybori/groebner/LeadingTerms11.h
+include/polybori/groebner/LessCombinedManySizesInStrat.h
+include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
+include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
+include/polybori/groebner/LessWeightedLengthInStrat.h
+include/polybori/groebner/LessWeightedLengthInStratModified.h
+include/polybori/groebner/LexBucket.h
+include/polybori/groebner/LexHelper.h
+include/polybori/groebner/LexOrderGreaterComparer.h
+include/polybori/groebner/LiteralFactorization.h
+include/polybori/groebner/LiteralFactorizationIterator.h
+include/polybori/groebner/Long64From32BitsPair.h
+include/polybori/groebner/MatrixMonomialOrderTables.h
+include/polybori/groebner/MinimalLeadingTerms.h
+include/polybori/groebner/MonomialHasher.h
+include/polybori/groebner/MonomialPlusOneTerms.h
+include/polybori/groebner/MonomialTerms.h
+include/polybori/groebner/NBitsUsed.h
+include/polybori/groebner/NextSpoly.h
+include/polybori/groebner/PSCompareByEl.h
+include/polybori/groebner/PairData.h
+include/polybori/groebner/PairE.h
+include/polybori/groebner/PairECompare.h
+include/polybori/groebner/PairLS.h
+include/polybori/groebner/PairLSCompare.h
+include/polybori/groebner/PairManager.h
+include/polybori/groebner/PairManagerFacade.h
+include/polybori/groebner/PairStatusSet.h
+include/polybori/groebner/PolyEntry.h
+include/polybori/groebner/PolyEntryBase.h
+include/polybori/groebner/PolyEntryIndices.h
+include/polybori/groebner/PolyEntryPtrLmLess.h
+include/polybori/groebner/PolyEntryReference.h
+include/polybori/groebner/PolyEntryVector.h
+include/polybori/groebner/PolyFromPolyEntry.h
+include/polybori/groebner/PolyMonomialPairComparerLess.h
+include/polybori/groebner/PolyMonomialPairComparerLexLess.h
+include/polybori/groebner/PolyPairData.h
+include/polybori/groebner/PolynomialSugar.h
+include/polybori/groebner/PseudoLongLong.h
+include/polybori/groebner/PseudoLongProduct.h
+include/polybori/groebner/RankingVector.h
+include/polybori/groebner/RedTailNth.h
+include/polybori/groebner/ReductionOptions.h
+include/polybori/groebner/ReductionStrategy.h
+include/polybori/groebner/ReductionTerms.h
+include/polybori/groebner/RelatedTerms.h
+include/polybori/groebner/RelatedTermsBase.h
+include/polybori/groebner/SetAssociatedMinimal.h
+include/polybori/groebner/SetBitUInt.h
+include/polybori/groebner/ShorterEliminationLength.h
+include/polybori/groebner/ShorterEliminationLengthModified.h
+include/polybori/groebner/SlimgbReduction.h
+include/polybori/groebner/TermsFacade.h
+include/polybori/groebner/TimesConstantImplication.h
+include/polybori/groebner/TimesVariableSubstitution.h
+include/polybori/groebner/VariablePairData.h
+include/polybori/groebner/ZeroFunction.h
+include/polybori/groebner/add_up.h
+include/polybori/groebner/cache_manager.h
+include/polybori/groebner/contained_variables.h
+include/polybori/groebner/dlex4data.h
+include/polybori/groebner/dp_asc4data.h
+include/polybori/groebner/draw_matrix.h
+include/polybori/groebner/fixed_path_divisors.h
+include/polybori/groebner/groebner.h
+include/polybori/groebner/groebner_alg.h
+include/polybori/groebner/groebner_defs.h
+include/polybori/groebner/interpolate.h
+include/polybori/groebner/linear_algebra_step.h
+include/polybori/groebner/ll_red_nf.h
+include/polybori/groebner/lp4data.h
+include/polybori/groebner/minimal_elements.h
+include/polybori/groebner/nf.h
+include/polybori/groebner/pairs.h
+include/polybori/groebner/polynomial_properties.h
+include/polybori/groebner/randomset.h
+include/polybori/groebner/red_tail.h
+include/polybori/groebner/tables.h
+include/polybori/iterators/CBidirectTermIter.h
+include/polybori/iterators/CCuddFirstIter.h
+include/polybori/iterators/CCuddLastIter.h
+include/polybori/iterators/CCuddNavigator.h
+include/polybori/iterators/CExpIter.h
+include/polybori/iterators/CGenericIter.h
+include/polybori/iterators/COrderedIter.h
+include/polybori/iterators/CStackSelector.h
+include/polybori/iterators/CTermGenerator.h
+include/polybori/iterators/CTermIter.h
+include/polybori/iterators/CTermStack.h
+include/polybori/iterators/CVariableIter.h
+include/polybori/iterators/PBoRiOutIter.h
+include/polybori/iterators/TransformedIterator.h
+include/polybori/literals/CLiteralCodes.h
+include/polybori/literals/CStringLiteral.h
+include/polybori/orderings/CBlockOrderingFacade.h
+include/polybori/orderings/COrderingBase.h
+include/polybori/orderings/COrderingFacade.h
+include/polybori/orderings/COrderingTags.h
+include/polybori/orderings/order_tags.h
+include/polybori/orderings/order_traits.h
+include/polybori/orderings/pbori_order.h
+include/polybori/pbori_defs.h
+include/polybori/polybori.h
+include/polybori/ring/CCallbackWrapper.h
+include/polybori/ring/CCuddCore.h
+include/polybori/ring/CCuddInterface.h
+include/polybori/ring/CMemberFunctionTraits.h
+include/polybori/ring/CVariableNames.h
+include/polybori/ring/WeakRingPtr.h
+include/polybori/routines/pbori_algo.h
+include/polybori/routines/pbori_algo_int.h
+include/polybori/routines/pbori_algorithms.h
+include/polybori/routines/pbori_func.h
+include/polybori/routines/pbori_routines.h
+include/polybori/routines/pbori_routines_cuddext.h
+include/polybori/routines/pbori_routines_dd.h
+include/polybori/routines/pbori_routines_hash.h
+include/polybori/routines/pbori_routines_misc.h
+include/polybori/routines/pbori_routines_order.h
+lib/libbrial.a
+lib/libbrial.so
+lib/libbrial.so.3
+lib/libbrial.so.3.0.4
+lib/libbrial_groebner.a
+lib/libbrial_groebner.so
+lib/libbrial_groebner.so.3
+lib/libbrial_groebner.so.3.0.4

Added: head/math/py-brial/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-brial/Makefile	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,24 @@
+# Created by: thierry@pompo.net
+# $FreeBSD$
+
+PORTNAME=	BRiAl
+PORTVERSION=	1.2.8
+CATEGORIES=	math
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	thierry@FreeBSD.org
+COMMENT=	Python implementation of BRiAl
+
+LICENSE=	GPLv2
+
+LIB_DEPENDS=	libbrial.so:math/brial
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	BRiAl
+
+USES=		python:3.6+
+
+WRKSRC_SUBDIR=	sage-brial
+USE_PYTHON=	distutils
+
+.include <bsd.port.mk>

Added: head/math/py-brial/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-brial/distinfo	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1585668283
+SHA256 (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = bf888574ea0deccd8cc55025bac112189409cb309937824717a458304f290e6a
+SIZE (BRiAl-BRiAl-1.2.8_GH0.tar.gz) = 1721549

Added: head/math/py-brial/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-brial/pkg-descr	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,4 @@
+sage-BRiAl is the python implementation of BRiAl that relies on sage to
+interface with libbrial.
+
+WWW: https://github.com/BRiAl/BRiAl

Added: head/math/py-brial/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-brial/pkg-plist	Tue Mar 31 17:28:25 2020	(r529990)
@@ -0,0 +1,103 @@
+%%PYTHON_SITELIBDIR%%/brial-1.0.2-py%%PYTHON_VER%%.egg-info/PKG-INFO
+%%PYTHON_SITELIBDIR%%/brial-1.0.2-py%%PYTHON_VER%%.egg-info/SOURCES.txt
+%%PYTHON_SITELIBDIR%%/brial-1.0.2-py%%PYTHON_VER%%.egg-info/dependency_links.txt
+%%PYTHON_SITELIBDIR%%/brial-1.0.2-py%%PYTHON_VER%%.egg-info/top_level.txt
+%%PYTHON_SITELIBDIR%%/brial/PyPolyBoRi.py
+%%PYTHON_SITELIBDIR%%/brial/__init__.py
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/PyPolyBoRi.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/PyPolyBoRi.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/__init__.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/__init__.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/addition.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/addition.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/blocks.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/blocks.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/check_claims.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/check_claims.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/cluster.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/cluster.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/cnf.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/cnf.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/coding.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/coding.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/context.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/context.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/easy_polynomials.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/easy_polynomials.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/fglm.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/fglm.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/frontend.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/frontend.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/gbcore.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/gbcore.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/gbrefs.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/gbrefs.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/general_boolean_polynomial.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/general_boolean_polynomial.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/heuristics.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/heuristics.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/interpolate.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/interpolate.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/interred.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/interred.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/intersect.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/intersect.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/intpolys.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/intpolys.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/ll.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/ll.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/memusage.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/memusage.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/ncf.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/ncf.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/nf.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/nf.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/parallel.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/parallel.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/parsegat.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/parsegat.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/partial.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/partial.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/plot.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/plot.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/randompoly.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/randompoly.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/rank.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/rank.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/simplebb.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/simplebb.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/specialsets.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/specialsets.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/statistics.cpython-37.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/brial/__pycache__/statistics.cpython-37.pyc
+%%PYTHON_SITELIBDIR%%/brial/addition.py
+%%PYTHON_SITELIBDIR%%/brial/blocks.py
+%%PYTHON_SITELIBDIR%%/brial/check_claims.py
+%%PYTHON_SITELIBDIR%%/brial/cluster.py
+%%PYTHON_SITELIBDIR%%/brial/cnf.py
+%%PYTHON_SITELIBDIR%%/brial/coding.py
+%%PYTHON_SITELIBDIR%%/brial/context.py
+%%PYTHON_SITELIBDIR%%/brial/easy_polynomials.py
+%%PYTHON_SITELIBDIR%%/brial/fglm.py
+%%PYTHON_SITELIBDIR%%/brial/frontend.py
+%%PYTHON_SITELIBDIR%%/brial/gbcore.py
+%%PYTHON_SITELIBDIR%%/brial/gbrefs.py
+%%PYTHON_SITELIBDIR%%/brial/general_boolean_polynomial.py
+%%PYTHON_SITELIBDIR%%/brial/heuristics.py
+%%PYTHON_SITELIBDIR%%/brial/interpolate.py
+%%PYTHON_SITELIBDIR%%/brial/interred.py
+%%PYTHON_SITELIBDIR%%/brial/intersect.py
+%%PYTHON_SITELIBDIR%%/brial/intpolys.py
+%%PYTHON_SITELIBDIR%%/brial/ll.py
+%%PYTHON_SITELIBDIR%%/brial/memusage.py
+%%PYTHON_SITELIBDIR%%/brial/ncf.py
+%%PYTHON_SITELIBDIR%%/brial/nf.py
+%%PYTHON_SITELIBDIR%%/brial/parallel.py
+%%PYTHON_SITELIBDIR%%/brial/parsegat.py
+%%PYTHON_SITELIBDIR%%/brial/partial.py
+%%PYTHON_SITELIBDIR%%/brial/plot.py
+%%PYTHON_SITELIBDIR%%/brial/randompoly.py
+%%PYTHON_SITELIBDIR%%/brial/rank.py
+%%PYTHON_SITELIBDIR%%/brial/simplebb.py
+%%PYTHON_SITELIBDIR%%/brial/specialsets.py
+%%PYTHON_SITELIBDIR%%/brial/statistics.py



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003311728.02VHSPrE051953>