brial-1.2.4-1-x86_64.pkg.tar.xz


Advertisement

Description

brial - Library for polynomials over boolean rings

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name brial
Package version 1.2.4
Package release 1
Package architecture x86_64
Package type xz
Installed size 5.08 MB
Download size 807.18 KB
Official Mirror ftp5.gwdg.de
Library for polynomials over boolean rings.
Packager: Antonio Rojas <arojas@archlinux.org>. License: GPL

Alternatives

Package Version Architecture Repository
brial - - -

Requires

Name Value
m4ri -
python2 -

Download

Type URL
Binary Package brial-1.2.4-1-x86_64.pkg.tar.xz
Source Package brial

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install brial xz package:
    # pacman -Sy brial

Files

Path
/usr/
/usr/include/polybori.h
/usr/include/polybori/BlockDegLexOrder.h
/usr/include/polybori/BlockDegRevLexAscOrder.h
/usr/include/polybori/BooleConstant.h
/usr/include/polybori/BooleEnv.h
/usr/include/polybori/BooleExponent.h
/usr/include/polybori/BooleMonomial.h
/usr/include/polybori/BoolePolyRing.h
/usr/include/polybori/BoolePolynomial.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleSetSequence.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/DegLexOrder.h
/usr/include/polybori/DegRevLexAscOrder.h
/usr/include/polybori/LexOrder.h
/usr/include/polybori/config.h
/usr/include/polybori/pbori_defs.h
/usr/include/polybori/polybori.h
/usr/include/polybori/cache/CCacheManagement.h
/usr/include/polybori/cache/CDegreeCache.h
/usr/include/polybori/cache/CacheManager.h
/usr/include/polybori/common/CCheckedIdx.h
/usr/include/polybori/common/CExtrusivePtr.h
/usr/include/polybori/common/CWeakPtr.h
/usr/include/polybori/common/CWeakPtrFacade.h
/usr/include/polybori/common/TransformedSequence.h
/usr/include/polybori/common/tags.h
/usr/include/polybori/common/traits.h
/usr/include/polybori/cudd/cudd.h
/usr/include/polybori/cudd/cuddInt.h
/usr/include/polybori/cudd/prefix.h
/usr/include/polybori/cudd/prefix_internal.h
/usr/include/polybori/diagram/CApplyNodeFacade.h
/usr/include/polybori/diagram/CCuddDDFacade.h
/usr/include/polybori/diagram/CDDOperations.h
/usr/include/polybori/diagram/CNodeCounter.h
/usr/include/polybori/except/CErrorInfo.h
/usr/include/polybori/except/PBoRiError.h
/usr/include/polybori/except/PBoRiGenericError.h
/usr/include/polybori/factories/CFactoryBase.h
/usr/include/polybori/factories/MonomialFactory.h
/usr/include/polybori/factories/PolynomialFactory.h
/usr/include/polybori/factories/SetFactory.h
/usr/include/polybori/factories/VariableBlock.h
/usr/include/polybori/factories/VariableFactory.h
/usr/include/polybori/groebner/BitMask.h
/usr/include/polybori/groebner/BlockOrderHelper.h
/usr/include/polybori/groebner/BoundedDivisorsOf.h
/usr/include/polybori/groebner/ChainCriterion.h
/usr/include/polybori/groebner/ChainVariableCriterion.h
/usr/include/polybori/groebner/CheckChainCriterion.h
/usr/include/polybori/groebner/CountCriterion.h
/usr/include/polybori/groebner/DegOrderHelper.h
/usr/include/polybori/groebner/ExpGreater.h
/usr/include/polybori/groebner/ExpLexLess.h
/usr/include/polybori/groebner/FGLMStrategy.h
/usr/include/polybori/groebner/GetNthPoly.h
/usr/include/polybori/groebner/GroebnerOptions.h
/usr/include/polybori/groebner/GroebnerStrategy.h
/usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
/usr/include/polybori/groebner/IJPairData.h
/usr/include/polybori/groebner/IsEcart0Predicate.h
/usr/include/polybori/groebner/IsVariableOfIndex.h
/usr/include/polybori/groebner/LLReduction.h
/usr/include/polybori/groebner/LLReductor.h
/usr/include/polybori/groebner/LMLessCompare.h
/usr/include/polybori/groebner/LMLessComparePS.h
/usr/include/polybori/groebner/LargerDegreeComparer.h
/usr/include/polybori/groebner/LeadingTerms.h
/usr/include/polybori/groebner/LeadingTerms00.h
/usr/include/polybori/groebner/LeadingTerms11.h
/usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
/usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
/usr/include/polybori/groebner/LexBucket.h
/usr/include/polybori/groebner/LexHelper.h
/usr/include/polybori/groebner/LexOrderGreaterComparer.h
/usr/include/polybori/groebner/LiteralFactorization.h
/usr/include/polybori/groebner/LiteralFactorizationIterator.h
/usr/include/polybori/groebner/Long64From32BitsPair.h
/usr/include/polybori/groebner/MatrixMonomialOrderTables.h
/usr/include/polybori/groebner/MinimalLeadingTerms.h
/usr/include/polybori/groebner/MonomialHasher.h
/usr/include/polybori/groebner/MonomialPlusOneTerms.h
/usr/include/polybori/groebner/MonomialTerms.h
/usr/include/polybori/groebner/NBitsUsed.h
/usr/include/polybori/groebner/NextSpoly.h
/usr/include/polybori/groebner/PSCompareByEl.h
/usr/include/polybori/groebner/PairData.h
/usr/include/polybori/groebner/PairE.h
/usr/include/polybori/groebner/PairECompare.h
/usr/include/polybori/groebner/PairLS.h
/usr/include/polybori/groebner/PairLSCompare.h
/usr/include/polybori/groebner/PairManager.h
/usr/include/polybori/groebner/PairManagerFacade.h
/usr/include/polybori/groebner/PairStatusSet.h
/usr/include/polybori/groebner/PolyEntry.h
/usr/include/polybori/groebner/PolyEntryBase.h
/usr/include/polybori/groebner/PolyEntryIndices.h
/usr/include/polybori/groebner/PolyEntryPtrLmLess.h
/usr/include/polybori/groebner/PolyEntryReference.h
/usr/include/polybori/groebner/PolyEntryVector.h
/usr/include/polybori/groebner/PolyFromPolyEntry.h
/usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
/usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
/usr/include/polybori/groebner/PolyPairData.h
/usr/include/polybori/groebner/PolynomialSugar.h
/usr/include/polybori/groebner/PseudoLongLong.h
/usr/include/polybori/groebner/PseudoLongProduct.h
/usr/include/polybori/groebner/RankingVector.h
/usr/include/polybori/groebner/RedTailNth.h
/usr/include/polybori/groebner/ReductionOptions.h
/usr/include/polybori/groebner/ReductionStrategy.h
/usr/include/polybori/groebner/ReductionTerms.h
/usr/include/polybori/groebner/RelatedTerms.h
/usr/include/polybori/groebner/RelatedTermsBase.h
/usr/include/polybori/groebner/SetAssociatedMinimal.h
/usr/include/polybori/groebner/SetBitUInt.h
/usr/include/polybori/groebner/ShorterEliminationLength.h
/usr/include/polybori/groebner/ShorterEliminationLengthModified.h
/usr/include/polybori/groebner/SlimgbReduction.h
/usr/include/polybori/groebner/TermsFacade.h
/usr/include/polybori/groebner/TimesConstantImplication.h
/usr/include/polybori/groebner/TimesVariableSubstitution.h
/usr/include/polybori/groebner/VariablePairData.h
/usr/include/polybori/groebner/ZeroFunction.h
/usr/include/polybori/groebner/add_up.h
/usr/include/polybori/groebner/cache_manager.h
/usr/include/polybori/groebner/contained_variables.h
/usr/include/polybori/groebner/dlex4data.h
/usr/include/polybori/groebner/dp_asc4data.h
/usr/include/polybori/groebner/draw_matrix.h
/usr/include/polybori/groebner/fixed_path_divisors.h
/usr/include/polybori/groebner/groebner.h
/usr/include/polybori/groebner/groebner_alg.h
/usr/include/polybori/groebner/groebner_defs.h
/usr/include/polybori/groebner/interpolate.h
/usr/include/polybori/groebner/linear_algebra_step.h
/usr/include/polybori/groebner/ll_red_nf.h
/usr/include/polybori/groebner/lp4data.h
/usr/include/polybori/groebner/minimal_elements.h
/usr/include/polybori/groebner/nf.h
/usr/include/polybori/groebner/pairs.h
/usr/include/polybori/groebner/polynomial_properties.h
/usr/include/polybori/groebner/randomset.h
/usr/include/polybori/groebner/red_tail.h
/usr/include/polybori/groebner/tables.h
/usr/include/polybori/iterators/CBidirectTermIter.h
/usr/include/polybori/iterators/CCuddFirstIter.h
/usr/include/polybori/iterators/CCuddLastIter.h
/usr/include/polybori/iterators/CCuddNavigator.h
/usr/include/polybori/iterators/CExpIter.h
/usr/include/polybori/iterators/CGenericIter.h
/usr/include/polybori/iterators/COrderedIter.h
/usr/include/polybori/iterators/CStackSelector.h
/usr/include/polybori/iterators/CTermGenerator.h
/usr/include/polybori/iterators/CTermIter.h
/usr/include/polybori/iterators/CTermStack.h
/usr/include/polybori/iterators/CVariableIter.h
/usr/include/polybori/iterators/PBoRiOutIter.h
/usr/include/polybori/iterators/TransformedIterator.h
/usr/include/polybori/literals/CLiteralCodes.h
/usr/include/polybori/literals/CStringLiteral.h
/usr/include/polybori/orderings/CBlockOrderingFacade.h
/usr/include/polybori/orderings/COrderingBase.h
/usr/include/polybori/orderings/COrderingFacade.h
/usr/include/polybori/orderings/COrderingTags.h
/usr/include/polybori/orderings/order_tags.h
/usr/include/polybori/orderings/order_traits.h
/usr/include/polybori/orderings/pbori_order.h
/usr/include/polybori/ring/CCallbackWrapper.h
/usr/include/polybori/ring/CCuddCore.h
/usr/include/polybori/ring/CCuddInterface.h
/usr/include/polybori/ring/CMemberFunctionTraits.h
/usr/include/polybori/ring/CVariableNames.h
/usr/include/polybori/ring/WeakRingPtr.h
/usr/include/polybori/routines/pbori_algo.h
/usr/include/polybori/routines/pbori_algo_int.h
/usr/include/polybori/routines/pbori_algorithms.h
/usr/include/polybori/routines/pbori_func.h
/usr/include/polybori/routines/pbori_routines.h
/usr/include/polybori/routines/pbori_routines_cuddext.h
/usr/include/polybori/routines/pbori_routines_dd.h
/usr/include/polybori/routines/pbori_routines_hash.h
/usr/include/polybori/routines/pbori_routines_misc.h
/usr/include/polybori/routines/pbori_routines_order.h
/usr/lib/libbrial.so
/usr/lib/libbrial.so.3
/usr/lib/libbrial.so.3.0.1
/usr/lib/libbrial_groebner.so
/usr/lib/libbrial_groebner.so.3
/usr/lib/libbrial_groebner.so.3.0.1
/usr/lib/python2.7/
/usr/lib/python2.7/site-packages/brial-1.0.2-py2.7.egg-info
/usr/lib/python2.7/site-packages/brial/PyPolyBoRi.py
/usr/lib/python2.7/site-packages/brial/PyPolyBoRi.pyc
/usr/lib/python2.7/site-packages/brial/PyPolyBoRi.pyo
/usr/lib/python2.7/site-packages/brial/__init__.py
/usr/lib/python2.7/site-packages/brial/__init__.pyc
/usr/lib/python2.7/site-packages/brial/__init__.pyo
/usr/lib/python2.7/site-packages/brial/addition.py
/usr/lib/python2.7/site-packages/brial/addition.pyc
/usr/lib/python2.7/site-packages/brial/addition.pyo
/usr/lib/python2.7/site-packages/brial/blocks.py
/usr/lib/python2.7/site-packages/brial/blocks.pyc
/usr/lib/python2.7/site-packages/brial/blocks.pyo
/usr/lib/python2.7/site-packages/brial/check_claims.py
/usr/lib/python2.7/site-packages/brial/check_claims.pyc
/usr/lib/python2.7/site-packages/brial/check_claims.pyo
/usr/lib/python2.7/site-packages/brial/cluster.py
/usr/lib/python2.7/site-packages/brial/cluster.pyc
/usr/lib/python2.7/site-packages/brial/cluster.pyo
/usr/lib/python2.7/site-packages/brial/cnf.py
/usr/lib/python2.7/site-packages/brial/cnf.pyc
/usr/lib/python2.7/site-packages/brial/cnf.pyo
/usr/lib/python2.7/site-packages/brial/coding.py
/usr/lib/python2.7/site-packages/brial/coding.pyc
/usr/lib/python2.7/site-packages/brial/coding.pyo
/usr/lib/python2.7/site-packages/brial/context.py
/usr/lib/python2.7/site-packages/brial/context.pyc
/usr/lib/python2.7/site-packages/brial/context.pyo
/usr/lib/python2.7/site-packages/brial/easy_polynomials.py
/usr/lib/python2.7/site-packages/brial/easy_polynomials.pyc
/usr/lib/python2.7/site-packages/brial/easy_polynomials.pyo
/usr/lib/python2.7/site-packages/brial/fglm.py
/usr/lib/python2.7/site-packages/brial/fglm.pyc
/usr/lib/python2.7/site-packages/brial/fglm.pyo
/usr/lib/python2.7/site-packages/brial/frontend.py
/usr/lib/python2.7/site-packages/brial/frontend.pyc
/usr/lib/python2.7/site-packages/brial/frontend.pyo
/usr/lib/python2.7/site-packages/brial/gbcore.py
/usr/lib/python2.7/site-packages/brial/gbcore.pyc
/usr/lib/python2.7/site-packages/brial/gbcore.pyo
/usr/lib/python2.7/site-packages/brial/gbrefs.py
/usr/lib/python2.7/site-packages/brial/gbrefs.pyc
/usr/lib/python2.7/site-packages/brial/gbrefs.pyo
/usr/lib/python2.7/site-packages/brial/general_boolean_polynomial.py
/usr/lib/python2.7/site-packages/brial/general_boolean_polynomial.pyc
/usr/lib/python2.7/site-packages/brial/general_boolean_polynomial.pyo
/usr/lib/python2.7/site-packages/brial/heuristics.py
/usr/lib/python2.7/site-packages/brial/heuristics.pyc
/usr/lib/python2.7/site-packages/brial/heuristics.pyo
/usr/lib/python2.7/site-packages/brial/interpolate.py
/usr/lib/python2.7/site-packages/brial/interpolate.pyc
/usr/lib/python2.7/site-packages/brial/interpolate.pyo
/usr/lib/python2.7/site-packages/brial/interred.py
/usr/lib/python2.7/site-packages/brial/interred.pyc
/usr/lib/python2.7/site-packages/brial/interred.pyo
/usr/lib/python2.7/site-packages/brial/intersect.py
/usr/lib/python2.7/site-packages/brial/intersect.pyc
/usr/lib/python2.7/site-packages/brial/intersect.pyo
/usr/lib/python2.7/site-packages/brial/intpolys.py
/usr/lib/python2.7/site-packages/brial/intpolys.pyc
/usr/lib/python2.7/site-packages/brial/intpolys.pyo
/usr/lib/python2.7/site-packages/brial/ll.py
/usr/lib/python2.7/site-packages/brial/ll.pyc
/usr/lib/python2.7/site-packages/brial/ll.pyo
/usr/lib/python2.7/site-packages/brial/memusage.py
/usr/lib/python2.7/site-packages/brial/memusage.pyc
/usr/lib/python2.7/site-packages/brial/memusage.pyo
/usr/lib/python2.7/site-packages/brial/ncf.py
/usr/lib/python2.7/site-packages/brial/ncf.pyc
/usr/lib/python2.7/site-packages/brial/ncf.pyo
/usr/lib/python2.7/site-packages/brial/nf.py
/usr/lib/python2.7/site-packages/brial/nf.pyc
/usr/lib/python2.7/site-packages/brial/nf.pyo
/usr/lib/python2.7/site-packages/brial/parallel.py
/usr/lib/python2.7/site-packages/brial/parallel.pyc
/usr/lib/python2.7/site-packages/brial/parallel.pyo
/usr/lib/python2.7/site-packages/brial/parsegat.py
/usr/lib/python2.7/site-packages/brial/parsegat.pyc
/usr/lib/python2.7/site-packages/brial/parsegat.pyo
/usr/lib/python2.7/site-packages/brial/partial.py
/usr/lib/python2.7/site-packages/brial/partial.pyc
/usr/lib/python2.7/site-packages/brial/partial.pyo
/usr/lib/python2.7/site-packages/brial/plot.py
/usr/lib/python2.7/site-packages/brial/plot.pyc
/usr/lib/python2.7/site-packages/brial/plot.pyo
/usr/lib/python2.7/site-packages/brial/randompoly.py
/usr/lib/python2.7/site-packages/brial/randompoly.pyc
/usr/lib/python2.7/site-packages/brial/randompoly.pyo
/usr/lib/python2.7/site-packages/brial/rank.py
/usr/lib/python2.7/site-packages/brial/rank.pyc
/usr/lib/python2.7/site-packages/brial/rank.pyo
/usr/lib/python2.7/site-packages/brial/simplebb.py
/usr/lib/python2.7/site-packages/brial/simplebb.pyc
/usr/lib/python2.7/site-packages/brial/simplebb.pyo
/usr/lib/python2.7/site-packages/brial/specialsets.py
/usr/lib/python2.7/site-packages/brial/specialsets.pyc
/usr/lib/python2.7/site-packages/brial/specialsets.pyo
/usr/lib/python2.7/site-packages/brial/statistics.py
/usr/lib/python2.7/site-packages/brial/statistics.pyc
/usr/lib/python2.7/site-packages/brial/statistics.pyo

See Also

Package Description
brise-0.38.20180515-1-x86_64.pkg.tar.xz Rime schema repository
broadcom-wl-6.30.223.271-65-x86_64.pkg.tar.xz Broadcom 802.11 Linux STA wireless driver
broadcom-wl-dkms-6.30.223.271-18-x86_64.pkg.tar.xz Broadcom 802.11 Linux STA wireless driver
brook-20180909-1-x86_64.pkg.tar.xz A cross-platform proxy/vpn software
brotli-1.0.7-1-x86_64.pkg.tar.xz Brotli compression library
brotli-testdata-1.0.7-1-x86_64.pkg.tar.xz Brotli compression library
brotli06-0.6.0-1-x86_64.pkg.tar.xz Brotli compression library - legacy 0.6.x version
brotli06-testdata-0.6.0-1-x86_64.pkg.tar.xz Brotli compression library - legacy 0.6.x version
browserify-16.2.3-1-any.pkg.tar.xz browser-side require() the node way
bs1770gain-0.5.1-1-x86_64.pkg.tar.xz A loudness scanner compliant with ITU-R BS.1770
bsd-games-2.17-18-x86_64.pkg.tar.xz Linux port of the collection of BSD command line games
bsdiff-4.3-9-x86_64.pkg.tar.xz bsdiff and bspatch are tools for building and applying patches to binary files
bspwm-0.9.5-1-x86_64.pkg.tar.xz Tiling window manager based on binary space partitioning
bt747-2.1.3-4-any.pkg.tar.xz The swiss army knife for MTK GPS dataloggers
btfs-2.18-4-x86_64.pkg.tar.xz A bittorrent filesystem based on FUSE
Advertisement
Advertisement