brial 1.2.7-1build1 source package in Ubuntu

Changelog

brial (1.2.7-1build1) focal; urgency=medium

  * No change rebuild against new libm4ri ABI

 -- Dimitri John Ledkov <email address hidden>  Mon, 10 Feb 2020 18:48:33 +0000

Upload details

Uploaded by:
Dimitri John Ledkov on 2020-02-10
Uploaded to:
Focal
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2020-02-13 universe misc

Downloads

File Size SHA-256 Checksum
brial_1.2.7.orig.tar.gz 1.6 MiB e3b3c72d75aa1777ec9aa800b914b7a2011d435c65d337b4768f269246b65b91
brial_1.2.7-1build1.debian.tar.xz 6.9 KiB d75d0fbbe6e81a7e22651acdfb5c2c0bde019b94223791e0c90ec06ac63fdac6
brial_1.2.7-1build1.dsc 2.4 KiB 67b9200b3bfafe45de41be85717fee99e40258045721b39bdbfd4bb3b2dbed4a

View changes file

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.