[  squeeze  ] [  sid  ]
[ Source: polybori  ]

Package: libpolybori-0.5.0-0 (0.5~rc1-2 and others)

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, PolyBoRi provides a Python interface. 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 libraries.

Other Packages Related to libpolybori-0.5.0-0

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • dep: libc0.3 (>= 2.10) [hurd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.3-udeb
  • dep: libc6 (>= 2.10) [hppa]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.5-5) [m68k]
    dep: libc6 (>= 2.7) [not alpha, hppa, hurd-i386, ia64, kfreebsd-amd64, kfreebsd-i386, m68k]
  • dep: libc6.1 (>= 2.7) [alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libgcc1 (>= 1:4.1.1) [not armel, hppa, hurd-i386, kfreebsd-amd64, kfreebsd-i386, m68k]
    GCC support library
    dep: libgcc1 (>= 1:4.4) [kfreebsd-amd64, kfreebsd-i386]
    dep: libgcc1 (>= 1:4.4.0) [armel]
    dep: libgcc1 (>= 4.2.1) [hurd-i386]
  • dep: libgcc2 (>= 4.2.1) [m68k]
    Package not available
  • dep: libgcc4 (>= 4.1.1) [hppa]
    GCC support library
  • dep: libstdc++6 (>= 4.2.1) [not armel, kfreebsd-amd64, kfreebsd-i386]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.4) [kfreebsd-amd64, kfreebsd-i386]
    dep: libstdc++6 (>= 4.4.0) [armel]
  • dep: libunwind7 [ia64]
    A library to determine the call-chain of a program - runtime

Download libpolybori-0.5.0-0

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 0.5~rc1-2+b1 2,139.1 kB6728 kB [list of files]
amd64 0.5~rc1-2+b1 2,027.0 kB5980 kB [list of files]
armel 0.5~rc1-2+b1 1,893.9 kB5560 kB [list of files]
hppa 0.5~rc1-2+b1 2,134.1 kB6296 kB [list of files]
hurd-i386 0.5~rc1-2 1,973.7 kB5812 kB [list of files]
i386 0.5~rc1-2+b1 2,011.1 kB5860 kB [list of files]
ia64 0.5~rc1-2+b1 2,544.7 kB8716 kB [list of files]
kfreebsd-amd64 0.5~rc1-2+b1 2,027.2 kB6052 kB [list of files]
kfreebsd-i386 0.5~rc1-2+b1 2,011.1 kB5876 kB [list of files]
m68k (unofficial port) 0.5~rc1-1 1,863.8 kB5580 kB [list of files]
mips 0.5~rc1-2+b1 1,941.6 kB6660 kB [list of files]
mipsel 0.5~rc1-2+b1 1,923.8 kB6660 kB [list of files]
powerpc 0.5~rc1-2+b1 2,103.2 kB6344 kB [list of files]
s390 0.5~rc1-2+b1 2,039.8 kB6064 kB [list of files]
sparc 0.5~rc1-2+b1 2,024.9 kB6000 kB [list of files]