معرفی شرکت ها
libbrial-groebner-dev_1.2.7-1build1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
development files for libbrial-groebner
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Focal-20.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | libbrial-groebner-dev |
| نام فایل بسته | libbrial-groebner-dev_1.2.7-1build1_amd64.deb |
| نسخه بسته | 1.2.7 |
| انتشار بسته | 1build1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/BRiAl |
| مجوز | - |
| حجم دانلود | 42124 |
| حجم نصب | 286 |
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.
نیازمندی
| مقدار | نام |
|---|---|
| = 1.2.7-1build1 | libbrial-groebner3 |
| - | libbrial-dev |
نحوه نصب
نصب پکیج deb libbrial-groebner-dev:
sudo apt-get install libbrial-groebner-dev_1.2.7-1build1_amd64.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 58 more |