How to Install and Uninstall libbrial-groebner3 Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: November 07,2024

1. Install "libbrial-groebner3" package

This is a short guide on how to install libbrial-groebner3 on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial-groebner3
            
                    
    
    Copied

2. Uninstall "libbrial-groebner3" package

This guide covers the steps necessary to uninstall libbrial-groebner3 on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial-groebner3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbrial-groebner3 package on Ubuntu 21.04 (Hirsute Hippo)

Package: libbrial-groebner3
Architecture: amd64
Version: 1.2.10-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: 3258
Depends: libbrial3 (= 1.2.10-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.10-1_amd64.deb
Size: 455764
MD5sum: 2a1f05e8658785abb8bd4f175fccbd9a
SHA1: 0b62f7187363ae605aebd96f528a3ecc81c6e46f
SHA256: aea8738342249b468ba676cc484a0157ed28131fa23a84c635b1bf9aa8588dd5
SHA512: 335cd0264da4d0a72b50ee59c6279505b8afd741994159777009096e4fd758b1f44a5a041971ede81f4195440f153b3621e3e563cd2507fb8c81c6bf3d24346f
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