How to Install and Uninstall polybori-doc Package on Ubuntu 16.04 LTS (Xenial Xerus)
Last updated: December 24,2024
1. Install "polybori-doc" package
Please follow the step by step instructions below to install polybori-doc on Ubuntu 16.04 LTS (Xenial Xerus)
$
sudo apt update
Copied
$
sudo apt install
polybori-doc
Copied
2. Uninstall "polybori-doc" package
This guide let you learn how to uninstall polybori-doc on Ubuntu 16.04 LTS (Xenial Xerus):
$
sudo apt remove
polybori-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the polybori-doc package on Ubuntu 16.04 LTS (Xenial Xerus)
Package: polybori-doc
Priority: extra
Section: universe/doc
Installed-Size: 22363
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: all
Source: polybori
Version: 0.8.3-5build1
Replaces: libpolybori-dev (<< 0.8)
Breaks: libpolybori-dev (<< 0.8)
Filename: pool/universe/p/polybori/polybori-doc_0.8.3-5build1_all.deb
Size: 1416216
MD5sum: 469403ac13e7e156eda0069261612ecb
SHA1: 426a07dfa627d63cbcc5f0cafc15cf063440dd33
SHA256: 6fd3176d7828a16074ac7f3a1fe50e3651ae3997ea8820e7fa3ab2edfa0aee58
Description-en: polynomials over Boolean Rings, documentation
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 documentation.
Description-md5: 97c6767595f22689f87b7dea90b3e344
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Priority: extra
Section: universe/doc
Installed-Size: 22363
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: all
Source: polybori
Version: 0.8.3-5build1
Replaces: libpolybori-dev (<< 0.8)
Breaks: libpolybori-dev (<< 0.8)
Filename: pool/universe/p/polybori/polybori-doc_0.8.3-5build1_all.deb
Size: 1416216
MD5sum: 469403ac13e7e156eda0069261612ecb
SHA1: 426a07dfa627d63cbcc5f0cafc15cf063440dd33
SHA256: 6fd3176d7828a16074ac7f3a1fe50e3651ae3997ea8820e7fa3ab2edfa0aee58
Description-en: polynomials over Boolean Rings, documentation
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 documentation.
Description-md5: 97c6767595f22689f87b7dea90b3e344
Homepage: http://polybori.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu