Ubuntu
brial package

brial 1.2.11-2.1 source package in Ubuntu

Changelog

brial (1.2.11-2.1) unstable; urgency=medium

  * Non-Maintainer upload.
  * Limit architectures for python3-brial package  to architectures where
    sagemath is available (Closes: #1034443).

 -- Peter Michael Green <email address hidden>  Tue, 09 May 2023 13:27:51 +0000

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
brial_1.2.11-2.1.dsc 2.4 KiB 8dc6510e62f30377f2b7d67824bb9e7370164c056d46affdb102f9ae37a977f7
brial_1.2.11.orig.tar.gz 1.6 MiB 8e840c713519d7458be9c280f53cea8a0a6417011f693c37aeb2f16e4c306955
brial_1.2.11-2.1.debian.tar.xz 7.7 KiB 396dc9a721f2bcd73af386a1086a481cb1e4f01fa0eca7048266921c3f59e2b4

No changes file available.

Binary packages built by this source

libbrial-dev: 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.

libbrial-groebner-dev: 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.

libbrial-groebner3: 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.

libbrial-groebner3-dbgsym: debug symbols for libbrial-groebner3
libbrial3: 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.

libbrial3-dbgsym: debug symbols for libbrial3
python3-brial: 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.