معرفی شرکت ها

libbrial-groebner3_1.2.0-2_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

computer algebra routines of BRiAl
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته libbrial-groebner3
نام فایل بسته libbrial-groebner3_1.2.0-2_amd64.deb
نسخه بسته 1.2.0
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/BRiAl
مجوز -
حجم دانلود 440424
حجم نصب 3206
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 shared library libbrial_groebner.


جایگزین ها

بسته نسخه معماری مخزن
libbrial-groebner3_1.2.0-2_i386.deb 1.2.0 i386 Ubuntu universe


نیازمندی

مقدار نام
= 1.2.0-2 libbrial3
>= 2.14 libc6
>= 1:3.0 libgcc1
- libm4ri-0.0.20140914
>= 5.2 libstdc++6


نحوه نصب


نصب پکیج deb libbrial-groebner3:

    sudo apt-get install libbrial-groebner3_1.2.0-2_amd64.deb


فایل ها

مسیرها
./usr/lib/x86_64-linux-gnu/libbrial_groebner.so.3.0.0
./usr/share/doc/libbrial-groebner3/copyright
./usr/lib/x86_64-linux-gnu/libbrial_groebner.so.3 -> libbrial_groebner.so.3.0.0
./usr/share/doc/libbrial-groebner3/changelog.Debian.gz -> ../libbrial3/changelog.Debian.gz