How to Install and Uninstall libbrial-groebner3 Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 02,2024

1. Install "libbrial-groebner3" package

Please follow the guidelines below to install libbrial-groebner3 on Ubuntu 20.10 (Groovy Gorilla)

$ sudo apt update $ sudo apt install libbrial-groebner3

2. Uninstall "libbrial-groebner3" package

Please follow the step by step instructions below to uninstall libbrial-groebner3 on Ubuntu 20.10 (Groovy Gorilla):

$ sudo apt remove libbrial-groebner3 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libbrial-groebner3 package on Ubuntu 20.10 (Groovy Gorilla)

Package: libbrial-groebner3
Architecture: amd64
Version: 1.2.8-1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: brial
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3254
Depends: libbrial3 (= 1.2.8-1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 9)
Breaks: libpolybori (<< 0.8)
Replaces: libpolybori (<< 0.8)
Filename: pool/universe/b/brial/libbrial-groebner3_1.2.8-1_amd64.deb
Size: 460120
MD5sum: a2d3aa5f85e5938c7f23953c5c3de387
SHA1: 87357fc9510fb98e26acf89663976b88a9066100
SHA256: a33ed46ebdd2a6dc0956262e3a5d3e8ac046bd522189239bd5ae0704de79c424
SHA512: eadf6e70d82a1c7b228dc9d5afaafead9ab743304a15494ad41a18e0844225d448987c388dd505ed2099011a419a3fbae86beb28c5db9e915fe0c62e552b82a8
Homepage: https://github.com/BRiAl
Description-en: computer algebra routines of 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 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.
Description-md5: c85b9b23bc19cfbcd1c4f6095e22ba7e