BSD Ports

math/brial 1.2.15_1 FreeBSD

Library for polynomials over boolean rings

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
97a84ef467
License
GPLv2
Categories
math
Package size
1153.2 KiB, 13042.4 KiB installed

Description

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.

In the other systems

SystemPortVersion
FreeBSDmath/brial1.2.15_1
DragonFlymath/brial1.2.12_1

Install

Binary package:

pkg install BRiAl

From the ports tree:

cd /usr/ports/math/brial/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	BRiAl>0:math/brial
LIB_DEPENDS=	libbrial.so:math/brial

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest1.2.15_11.2.15_11.2.11_11.2.12_21.2.15_1
FreeBSD:14:quarterly1.2.15_11.2.15_1n/a1.2.12_21.2.15_1
FreeBSD:15:latest1.2.15_11.2.15_1n/a1.2.12_21.2.12_2
FreeBSD:15:quarterly1.2.15_11.2.15_1n/an/an/a
FreeBSD:16:latest1.2.15_11.2.15_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 4

The full lists below include those, and their dependencies in turn.

Build dependencies 21
Run dependencies 20
Required by 1

Configuration

No options to configure.

USES
compiler:c++11-lang libtool localbase:ldflags pkgconfig tar:bz2
Service scripts
none

Message after installing

===>   NOTICE:

The BRiAl port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing

Files

pkg-plist 197
  • 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

The first 100 are listed.

distinfo 1
FileSizeSHA256
brial-1.2.15.tar.bz21.199316e+061d0e7de01b1b60ad892dee6c02503f5932e2ed211f3f8dbdf1a3216c696ef201
Master sites 1
  • https://github.com/BRiAl/BRiAl/releases/download/1.2.15/

Commit history 1

DateCommitCreditsLog message
97a84ef467 Dima Panov */*: update boost consumers after boost-1.92