How To Install brial on Fedora 34

brial is Framework for Boolean Rings Framework for Boolean Rings

Introduction

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

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. brial 1.2.10 2.fc34 x86_64 642 k brial-1.2.10-2.fc34.src.rpm fedora Framework for Boolean Rings https GPLv2+ and BSD 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 34. In this tutorial we discuss both methods but you only need to choose one of method to install brial.

Install brial on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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

sudo dnf -y install brial

Install brial on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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 34

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

sudo dnf remove brial

brial Package Contents on Fedora 34

/usr/lib/.build-id
/usr/lib/.build-id/0d
/usr/lib/.build-id/0d/52ea0cb7bea63d0e23cb95fb4ae549b501ab26
/usr/lib/.build-id/73
/usr/lib/.build-id/73/db0713eaef50ab73000ec8dce3fbbfc5006a75
/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
/usr/lib/.build-id
/usr/lib/.build-id/3d
/usr/lib/.build-id/3d/31ea8f8a77176beb19c9cc8e968efb1a239fa3
/usr/lib/.build-id/65
/usr/lib/.build-id/65/218129f10d1ef7220936e19baea413076afac5
/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

[brial website](https://github.com/BRiAl/BRiAl/ https://github.com/BRiAl/BRiAl/)

Summary

In this tutorial we learn how to install brial on Fedora 34 using yum and dnf.