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

Last updated: May 20,2024

1. Install "libpolybori-groebner-0.8-3-dbg" package

This guide covers the steps necessary to install libpolybori-groebner-0.8-3-dbg on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolybori-groebner-0.8-3-dbg
            
                    
    
    Copied

2. Uninstall "libpolybori-groebner-0.8-3-dbg" package

This guide let you learn how to uninstall libpolybori-groebner-0.8-3-dbg on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolybori-groebner-0.8-3-dbg
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpolybori-groebner-0.8-3-dbg
Priority: extra
Section: universe/debug
Installed-Size: 4135
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polybori
Version: 0.8.3-5build1
Depends: libpolybori-groebner-0.8-3 (= 0.8.3-5build1)
Filename: pool/universe/p/polybori/libpolybori-groebner-0.8-3-dbg_0.8.3-5build1_amd64.deb
Size: 4114224
MD5sum: 1e6c8c3cb395e6f9c036553d127bc8a8
SHA1: 8a5b2fb6878acf778955cb5aa476f985b8f96d9a
SHA256: 284cb7240c25066ffe0cbb0bf735feb367027c17ed4ecca5b302687c26a0e78b
Description-en: debug symbols for libpolybori-groebner-0.8-3
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 debugging symbols of PolyBoRi's shared library
libpolybori-groebner.
Description-md5: 56d5c51220abcefc2d99d8d1917018aa
Multi-Arch: same
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu