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

Last updated: November 26,2024

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

Please follow the guidance below to install libpolybori-0.8-3-dbg on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolybori-0.8-3-dbg
            
                    
    
    Copied

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

This tutorial shows how to uninstall libpolybori-0.8-3-dbg on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolybori-0.8-3-dbg
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpolybori-0.8-3-dbg
Priority: extra
Section: universe/debug
Installed-Size: 2062
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polybori
Version: 0.8.3-5build1
Depends: libpolybori-0.8-3 (= 0.8.3-5build1)
Filename: pool/universe/p/polybori/libpolybori-0.8-3-dbg_0.8.3-5build1_amd64.deb
Size: 1975778
MD5sum: c376bf24b7916ee20548836c9564e5d1
SHA1: ec081e0ac23c52d924d4e74ef4e6358215d9fdff
SHA256: c59fb9b85a19d12138913ec7d8ba116a9bf4177c3dd8f51d9b81922ab7f26466
Description-en: debug symbols for libpolybori-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 libraries.
Description-md5: 6fc664a9ee230493806caa7885b20dd3
Multi-Arch: same
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu