libpolybori-groebner-dev_0.8.3-3+b2_i386.deb


Advertisement

Description

libpolybori-groebner-dev - development files for libpolybori-groebner

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name libpolybori-groebner-dev
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 230 B
Download size 51.31 KB
Official Mirror ftp.br.debian.org
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 a Python interface
is provided. 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.
This package contains the development files for libpolybori-groebner.

Alternatives

Package Version Architecture Repository
libpolybori-groebner-dev_0.8.3-3+b2_amd64.deb 0.8.3 amd64 Debian Main
libpolybori-groebner-dev - - -

Requires

Name Value
libpolybori-groebner-0.8-3 = 0.8.3-3+b2

Replaces

Name Value
libpolybori-dev << 0.8

Download

Type URL
Binary Package libpolybori-groebner-dev_0.8.3-3+b2_i386.deb
Source Package polybori

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libpolybori-groebner-dev deb package:
    # sudo apt-get install libpolybori-groebner-dev

Files

Path
/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/lib/i386-linux-gnu/libpolybori_groebner-0.8.so
/usr/lib/i386-linux-gnu/pkgconfig/polybori-groebner-0.8.pc
/usr/share/doc/libpolybori-groebner-dev/changelog.Debian.gz
/usr/share/doc/libpolybori-groebner-dev/changelog.Debian.i386.gz
/usr/share/doc/libpolybori-groebner-dev/changelog.gz
/usr/share/doc/libpolybori-groebner-dev/copyright

Changelog

See polybori_0.8.3-3+b2_i386.deb changelog.

See Also

Package Description
libpolyclipping-dev_6.1.3a-2_i386.deb polygon clipping, polygon offsetting and polyline offsetting library
libpolyclipping16_6.1.3a-2_i386.deb polygon clipping, polygon offsetting and polyline offsetting library
libpolyglot-maven-java-doc_0.8~tobrien+git20120905-3_all.deb modules to enable Maven usage in others JVM languages - docs
libpolyglot-maven-java_0.8~tobrien+git20120905-3_all.deb modules to enable Maven usage in others JVM languages
libpolylib64-8_5.22.5-3+dfsg_i386.deb Polyhedral library - long int version
libpolylib64-dev_5.22.5-3+dfsg_i386.deb Development files for the long int version of PolyLib
libpolyml-dev_5.2.1-1.1_i386.deb development files for Poly/ML, a compiler for the Standard ML
libpolyml1_5.2.1-1.1_i386.deb runtime files for Poly/ML, a compiler for the Standard ML
libpolyorb3-dev_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada (development)
libpolyorb4_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada
libpomegranate-clojure_0.2.0-1_all.deb dependency resolution and repository handling library for Clojure
libpomp-dev_1.1+dfsg-3_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp0_1.1+dfsg-3_i386.deb OpenMP Pragma And Region Instrumentor - shared library
libpomp2-dev_1.0.7+dfsg-5_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp2-doc_1.0.7+dfsg-5_all.deb OpenMP Pragma And Region Instrumentor - documentation
Advertisement
Advertisement