libpolybori-dev_0.8.3-3+b2_i386.deb


Advertisement

Description

libpolybori-dev - polynomials over Boolean Rings, core development files

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name libpolybori-dev
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 560 B
Download size 97.54 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 PolyBoRi core development files.

Alternatives

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

Requires

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

Download

Type URL
Binary Package libpolybori-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-dev deb package:
    # sudo apt-get install libpolybori-dev

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

Changelog

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

See Also

Package Description
libpolybori-groebner-0.8-3_0.8.3-3+b2_i386.deb computer algebra routines of PolyBoRi
libpolybori-groebner-dev_0.8.3-3+b2_i386.deb development files for libpolybori-groebner
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
Advertisement
Advertisement