From owner-svn-ports-all@freebsd.org Tue Mar 31 17:28:36 2020 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D67202645BC; Tue, 31 Mar 2020 17:28:35 +0000 (UTC) (envelope-from thierry@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 48sGWl3qlhz3FSY; Tue, 31 Mar 2020 17:28:35 +0000 (UTC) (envelope-from thierry@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 7C198D9F2; Tue, 31 Mar 2020 17:28:27 +0000 (UTC) (envelope-from thierry@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id 02VHSRKv051967; Tue, 31 Mar 2020 17:28:27 GMT (envelope-from thierry@FreeBSD.org) Received: (from thierry@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id 02VHSPrE051953; Tue, 31 Mar 2020 17:28:25 GMT (envelope-from thierry@FreeBSD.org) Message-Id: <202003311728.02VHSPrE051953@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: thierry set sender to thierry@FreeBSD.org using -f From: Thierry Thomas Date: Tue, 31 Mar 2020 17:28:25 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: thierry X-SVN-Commit-Paths: in head/math: . brial py-brial X-SVN-Commit-Revision: 529990 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 31 Mar 2020 17:28:36 -0000 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 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 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