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

Last updated: December 29,2024

1. Install "libbrial-groebner-dev" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial-groebner-dev
            
                    
    
    Copied

2. Uninstall "libbrial-groebner-dev" package

This is a short guide on how to uninstall libbrial-groebner-dev on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial-groebner-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libbrial-groebner-dev
Architecture: amd64
Version: 1.2.10-1
Priority: extra
Section: universe/libdevel
Source: brial
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 286
Depends: libbrial-groebner3 (= 1.2.10-1), libbrial-dev
Breaks: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Replaces: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Filename: pool/universe/b/brial/libbrial-groebner-dev_1.2.10-1_amd64.deb
Size: 42108
MD5sum: e743adc766cc849516083dab22b6da82
SHA1: 924c05fd8727e24971b10a63ab7b9cf88fd15fba
SHA256: 6576c076fce0d4b2d55eafa1342051638f154c4b1e752440bb5c088b4f71668a
SHA512: cd3265bb5150d32bc6755ac2c77f8c1b3544a840856590e9d65e1eae3b8a2b2d1dd867c1e7f1d45834e8fd53a972778e1a03bbde13d799f2233d0cf5156cf687
Homepage: https://github.com/BRiAl
Description-en: development files for libbrial-groebner
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 development files for libbrial-groebner.
Description-md5: 06b76f7f1667b2f0b3f088ab64c02c58