Package: libbrial-dev Status: install ok installed Priority: optional Section: libdevel Installed-Size: 600 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> [Debian Bug Report] Architecture: amd64 Source: brial Version: 1.2.11-2.1 Replaces: libpolybori-dev (<< 0.8.5) Depends: libbrial3 (= 1.2.11-2.1), libboost-dev, libgd-dev, libpng-dev, libm4ri-dev Breaks: libpolybori-dev (<< 0.8.5) Description: polynomials over Boolean Rings, core development files The core of BRiAl 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. BRiAl features a powerful reference implementation for Groebner basis computation. This package contains the BRiAl core development files. Homepage: https://github.com/BRiAl Files owned by package libbrial-dev: /usr /usr/include /usr/include/polybori /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/cache /usr/include/polybori/cache/CCacheManagement.h /usr/include/polybori/cache/CDegreeCache.h /usr/include/polybori/cache/CacheManager.h /usr/include/polybori/common /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/config.h /usr/include/polybori/cudd /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 /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 /usr/include/polybori/except/CErrorInfo.h /usr/include/polybori/except/PBoRiError.h /usr/include/polybori/except/PBoRiGenericError.h /usr/include/polybori/factories /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 /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 /usr/include/polybori/literals/CLiteralCodes.h /usr/include/polybori/literals/CStringLiteral.h /usr/include/polybori/orderings /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/pbori_defs.h /usr/include/polybori/polybori.h /usr/include/polybori/ring /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 /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 /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libbrial.so /usr/share /usr/share/doc /usr/share/doc/libbrial-dev /usr/share/doc/libbrial-dev/changelog.Debian.gz /usr/share/doc/libbrial-dev/copyright