brial-devel-0.8.5-4.fc25.i686.rpm


Advertisement

Description

brial-devel - Development files for brial

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name brial-devel
Package version 0.8.5
Package release 4.fc25
Package architecture i686
Package type rpm
Installed size 763.99 KB
Download size 167.49 KB
Official Mirror dl.fedoraproject.org
Development headers and libraries for brial.

Alternatives

Package Version Architecture Repository
brial-devel-0.8.5-4.fc25.i686.rpm 0.8.5 i686 Fedora
brial-devel-0.8.5-4.fc25.x86_64.rpm 0.8.5 x86_64 Fedora
brial-devel - - -

Requires

Name Value
boost-devel(x86-32) -
brial(x86-32) = 0.8.5-4.fc25
libbrial.so.0 -
libbrial_groebner.so.0 -

Provides

Name Value
brial-devel = 0.8.5-4.fc25
brial-devel(x86-32) = 0.8.5-4.fc25
polybori-devel = 0.8.5-4.fc25

Obsoletes

Name Value
polybori-devel <= 0.8.5-1

Download

Type URL
Binary Package brial-devel-0.8.5-4.fc25.i686.rpm
Source Package brial-0.8.5-4.fc25.src.rpm

Install Howto

Install the brial-devel rpm package:

# dnf install brial-devel

Files

Path
/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_groebner.so
/usr/share/doc/brial-devel/ChangeLog

Changelog

See brial-0.8.5-4.fc25.i686.rpm changelog.

See Also

Package Description
bridge-method-annotation-1.14-5.fc25.noarch.rpm Bridge method injection annotations
bridge-method-injector-1.14-5.fc25.noarch.rpm Evolve Java classes without breaking compatibility
bridge-method-injector-javadoc-1.14-5.fc25.noarch.rpm Javadoc for bridge-method-injector
bridge-utils-1.5-13.fc24.x86_64.rpm Utilities for configuring the linux ethernet bridge
brise-0.35-3.fc24.x86_64.rpm The official Rime schema repository
bristol-0.60.11-6.fc24.i686.rpm Synthesizer emulator
bristol-0.60.11-6.fc24.x86_64.rpm Synthesizer emulator
bristol-devel-0.60.11-6.fc24.i686.rpm Synthesizer emulator
bristol-devel-0.60.11-6.fc24.x86_64.rpm Synthesizer emulator
brlapi-0.6.5-2.fc25.i686.rpm Application Programming Interface for BRLTTY
brlapi-0.6.5-2.fc25.x86_64.rpm Application Programming Interface for BRLTTY
brlapi-devel-0.6.5-2.fc25.i686.rpm Headers, static archive, and documentation for BrlAPI
brlapi-devel-0.6.5-2.fc25.x86_64.rpm Headers, static archive, and documentation for BrlAPI
brlapi-java-0.6.5-2.fc25.x86_64.rpm Java binding for BrlAPI
brltty-5.4-2.fc25.i686.rpm Braille display driver for Linux/Unix
Advertisement
Advertisement