معرفی شرکت ها
libbrial-groebner-dev_1.2.10-1+b1_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
development files for libbrial-groebner
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main i386 |
| نام بسته | libbrial-groebner-dev |
| نام فایل بسته | libbrial-groebner-dev_1.2.10-1+b1_i386.deb |
| نسخه بسته | 1.2.10 |
| انتشار بسته | 1+b1 |
| معماری بسته | i386 |
| نگهدارنده | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/BRiAl |
| مجوز | - |
| حجم دانلود | 46316 |
| حجم نصب | 287 |
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 development files for libbrial-groebner.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libbrial-groebner-dev_1.2.10-1+b1_amd64.deb | 1.2.10 | amd64 | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_arm64.deb | 1.2.10 | arm64 | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_armel.deb | 1.2.10 | armel | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_armhf.deb | 1.2.10 | armhf | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_mips64el.deb | 1.2.10 | mips64el | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_mipsel.deb | 1.2.10 | mipsel | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_ppc64el.deb | 1.2.10 | ppc64el | Debian main |
| libbrial-groebner-dev_1.2.10-1+b1_s390x.deb | 1.2.10 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| = 1.2.10-1+b1 | libbrial-groebner3 |
| - | libbrial-dev |
نحوه نصب
نصب پکیج deb libbrial-groebner-dev:
sudo apt-get install libbrial-groebner-dev_1.2.10-1+b1_i386.deb
فایل ها
| مسیرها |
|---|
| ./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 |
| ... and 59 more |