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

Last updated: May 14,2024

1. Install "libpolybori-0.8-3" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolybori-0.8-3
            
                    
    
    Copied

2. Uninstall "libpolybori-0.8-3" package

Please follow the guidelines below to uninstall libpolybori-0.8-3 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolybori-0.8-3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpolybori-0.8-3
Priority: extra
Section: universe/libs
Installed-Size: 523
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polybori
Version: 0.8.3-5build1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 5.2)
Suggests: polybori-doc (= 0.8.3-5build1)
Filename: pool/universe/p/polybori/libpolybori-0.8-3_0.8.3-5build1_amd64.deb
Size: 152590
MD5sum: 6f0afb6432cd44f909751ea28ecd0ffb
SHA1: e24805a6a13bdfad7511d3f4a465ff20df5d9319
SHA256: d71ac3edb8a4383fc19365f8ec0d5df44b197ce5f4541fca6f6b78634add0668
Description-en: polynomials over Boolean Rings, shared library
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 PolyBoRi shared library libpolybori.
Description-md5: 5a85675f69bf9c2ab3486c2da0eb2e87
Multi-Arch: same
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu