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

Last updated: November 26,2024

1. Install "libpolybori-dev" package

This is a short guide on how to install libpolybori-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolybori-dev
            
                    
    
    Copied

2. Uninstall "libpolybori-dev" package

Learn how to uninstall libpolybori-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolybori-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpolybori-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 619
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), libboost-dev, libgd-dev, libpng12-dev, libm4ri-dev
Filename: pool/universe/p/polybori/libpolybori-dev_0.8.3-5build1_amd64.deb
Size: 90628
MD5sum: 5f35bf0780183ab814524e7d3e2362e6
SHA1: 83ddfecbd8594c21c4dd6be5cb3013f86e9770a6
SHA256: ee79fb3bfb046340baf1cbd383eaf3037b792dd5c098d4185a32d92d35d73a94
Description-en: polynomials over Boolean Rings, core development files
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 core development files.
Description-md5: 206017b1f272ce51632003fe30dc4830
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu