How to Install and Uninstall libpolybori-groebner-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "libpolybori-groebner-dev" package

This guide let you learn how to install libpolybori-groebner-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolybori-groebner-dev
            
                    
    
    Copied

2. Uninstall "libpolybori-groebner-dev" package

Here is a brief guide to show you how to uninstall libpolybori-groebner-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolybori-groebner-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolybori-groebner-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libpolybori-groebner-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 291
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polybori
Version: 0.8.3-5build1
Replaces: libpolybori-dev (<< 0.8)
Depends: libpolybori-groebner-0.8-3 (= 0.8.3-5build1), libpolybori-dev
Breaks: libpolybori-dev (<< 0.8)
Filename: pool/universe/p/polybori/libpolybori-groebner-dev_0.8.3-5build1_amd64.deb
Size: 43448
MD5sum: c0080b8e3ac301daf116ae6b0bfa82b9
SHA1: 61fa9f4a43396f1460b6329305d2fd19dc557a81
SHA256: 30967a97de32a86a1429a3b331ab32dd81eed83ec1759b1be117cd459cf398a2
Description-en: development files for libpolybori-groebner
The core of PolyBoRi 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. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
.
This package contains the development files for libpolybori-groebner.
Description-md5: 133e1595fcf52a6630dfebde46994a0a
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu