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
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Focal | release | 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 |
Available diffs
- diff from 1.2.7-1 (in Debian) to 1.2.7-1build1 (496 bytes)
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: No summary available for libbrial-groebner3 in ubuntu groovy.
No description available for libbrial-groebner3 in ubuntu groovy.
- 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: No summary available for libbrial3-dbgsym in ubuntu groovy.
No description available for libbrial3-dbgsym in ubuntu groovy.
- 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.