How To Install brial on Fedora 36

In this tutorial we learn how to install brial in Fedora 36. brial is Framework for Boolean Rings

Introduction

In this tutorial we learn how to install brial on Fedora 36.

What is brial

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 we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gröbner base computation. BRiAL features a powerful reference implementation for Gröbner basis computation.

We can use yum or dnf to install brial on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install brial.

Install brial on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install brial using dnf by running the following command:

sudo dnf -y install brial

Install brial on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install brial using yum by running the following command:

sudo yum -y install brial

How To Uninstall brial on Fedora 36

To uninstall only the brial package we can use the following command:

sudo dnf remove brial

brial Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/32
/usr/lib/.build-id/32/75e231b35b4d9226e8971209a3082881e4e42e
/usr/lib/.build-id/65
/usr/lib/.build-id/65/34d73ea904c66aab9b4f9d64f31f26a4809f9b
/usr/lib64/libbrial.so.3
/usr/lib64/libbrial.so.3.0.6
/usr/lib64/libbrial_groebner.so.3
/usr/lib64/libbrial_groebner.so.3.0.6
/usr/share/doc/brial
/usr/share/doc/brial/README
/usr/share/licenses/brial
/usr/share/licenses/brial/LICENSE

References

Summary

In this tutorial we learn how to install brial on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).

title: “How To Install brial on Fedora 36” linkTitle: “brial” type: “docs” description: “In this tutorial we learn how to install brial in Fedora 36. brial is Framework for Boolean Rings” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/brial-featured.png

Introduction

In this tutorial we learn how to install brial on Fedora 36.

What is brial

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 we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gröbner base computation. BRiAL features a powerful reference implementation for Gröbner basis computation.

We can use yum or dnf to install brial on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install brial.

Install brial on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install brial using dnf by running the following command:

sudo dnf -y install brial

Install brial on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install brial using yum by running the following command:

sudo yum -y install brial

How To Uninstall brial on Fedora 36

To uninstall only the brial package we can use the following command:

sudo dnf remove brial

brial Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/780d668507711ba079f59b9f1c0bc0a90dc7b8
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/72db4736cb8c8d281eeddd4bdfac3ae2c4eee0
/usr/lib/libbrial.so.3
/usr/lib/libbrial.so.3.0.6
/usr/lib/libbrial_groebner.so.3
/usr/lib/libbrial_groebner.so.3.0.6
/usr/share/doc/brial
/usr/share/doc/brial/README
/usr/share/licenses/brial
/usr/share/licenses/brial/LICENSE

References

Summary

In this tutorial we learn how to install brial on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).