Source: brial
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
XSBC-Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Tobias Hansen <thansen@debian.org>,
           Julien Puydt <jpuydt@debian.org>
Section: math
Priority: optional
Build-Depends: dpkg-dev (>= 1.22.5), debhelper-compat (= 13),
               dh-python,
               libboost-dev,
               libboost-python-dev,
               libboost-test-dev,
               libm4ri-dev,
               python3-all-dev,
               libgd-dev,
               libjpeg-dev,
               libpng-dev,
               scons
Standards-Version: 4.6.2
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/science-team/brial.git
Vcs-Browser: https://salsa.debian.org/science-team/brial
Homepage: https://github.com/BRiAl

Package: python3-brial
Architecture: amd64 arm64 i386 riscv64
Section: python
Depends: python3-sage,
         ${misc:Depends},
         libbrial3t64 (= ${binary:Version}),
         libbrial-groebner3t64 (= ${binary:Version}),
         ${python3:Depends}
Description: polynomials over Boolean Rings, Python 3 module
 The core of BRiAl 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. BRiAl features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the BRiAl Python 3 module.

Package: libbrial-dev
Architecture: any
Section: libdevel
Replaces: libpolybori-dev (<< 0.8.5)
Breaks: libpolybori-dev (<< 0.8.5)
Depends: ${misc:Depends},
         libbrial3t64 (= ${binary:Version}),
         libboost-dev,
         libgd-dev,
         libpng-dev,
         libm4ri-dev
Description: polynomials over Boolean Rings, core development files
 The core of BRiAl 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. BRiAl features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the BRiAl core development files.

Package: libbrial3t64
Provides: ${t64:Provides}
Replaces: libbrial3
Breaks: libbrial3 (<< ${source:Version})
Architecture: any
Multi-Arch: same
Section: libs
Depends: ${shlibs:Depends},
         ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Description: polynomials over Boolean Rings, shared library
 The core of BRiAl 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. BRiAl features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the BRiAl shared library libbrial.

Package: libbrial-groebner-dev
Architecture: any
Section: libdevel
Depends: ${misc:Depends},
         libbrial-groebner3t64 (= ${binary:Version}),
         libbrial-dev
Breaks: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Replaces: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Description: development files for libbrial-groebner
 The core of BRiAl 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. BRiAl features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the development files for libbrial-groebner.

Package: libbrial-groebner3t64
Provides: ${t64:Provides}
Architecture: any
Multi-Arch: same
Section: libs
Depends: ${shlibs:Depends},
         ${misc:Depends},
         libbrial3t64 (= ${binary:Version})
Pre-Depends: ${misc:Pre-Depends}
Breaks: libbrial-groebner3 (<< ${source:Version}), libpolybori (<< 0.8)
Replaces: libbrial-groebner3, libpolybori (<< 0.8)
Description: computer algebra routines of BRiAl
 The core of BRiAl 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. BRiAl features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the BRiAl shared library libbrial_groebner.
