معرفی شرکت ها
libbrial-dev_1.2.4-2_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
polynomials over Boolean Rings, core development files
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main amd64 |
| نام بسته | libbrial-dev |
| نام فایل بسته | libbrial-dev_1.2.4-2_amd64.deb |
| نسخه بسته | 1.2.4 |
| انتشار بسته | 2 |
| معماری بسته | amd64 |
| نگهدارنده | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/BRiAl |
| مجوز | - |
| حجم دانلود | 90780 |
| حجم نصب | 604 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libbrial-dev_1.2.4-2_arm64.deb | 1.2.4 | arm64 | Debian main |
| libbrial-dev_1.2.4-2_armel.deb | 1.2.4 | armel | Debian main |
| libbrial-dev_1.2.4-2_armhf.deb | 1.2.4 | armhf | Debian main |
| libbrial-dev_1.2.4-2_i386.deb | 1.2.4 | i386 | Debian main |
| libbrial-dev_1.2.4-2_mips.deb | 1.2.4 | mips | Debian main |
| libbrial-dev_1.2.4-2_mips64el.deb | 1.2.4 | mips64el | Debian main |
| libbrial-dev_1.2.4-2_mipsel.deb | 1.2.4 | mipsel | Debian main |
| libbrial-dev_1.2.4-2_ppc64el.deb | 1.2.4 | ppc64el | Debian main |
| libbrial-dev_1.2.4-2_s390x.deb | 1.2.4 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| = 1.2.4-2 | libbrial3 |
| - | libboost-dev |
| - | libgd-dev |
| - | libpng-dev |
| - | libm4ri-dev |
نحوه نصب
نصب پکیج deb libbrial-dev:
sudo apt-get install libbrial-dev_1.2.4-2_amd64.deb
فایل ها
| مسیرها |
|---|
| ./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/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/config.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/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 |
| ... and 38 more |