Group :: Sciences/Mathematics
RPM: brial
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 1.2.12-alt1
Build date: 16 january 2023, 09:31 ( 66.5 weeks ago )
Size: 1084.00 Kb
Home page: https://github.com/BRiAl/BRiAl/
License: GPL-2.0+ and BSD-3-Clause
Summary: Framework for Boolean Rings
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 16 january 2023, 09:31 ( 66.5 weeks ago )
Size: 1084.00 Kb
Home page: https://github.com/BRiAl/BRiAl/
License: GPL-2.0+ and BSD-3-Clause
Summary: Framework for Boolean Rings
Description:
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 we provide a Python interface. This allows parsing of
complex polynomial systems, as well as sophisticated and extendable
strategies for Grobner base computation. BRiAL features a powerful
reference implementation for Grobner basis computation.
Current maintainer: Leontiy Volodin 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 we provide a Python interface. This allows parsing of
complex polynomial systems, as well as sophisticated and extendable
strategies for Grobner base computation. BRiAL features a powerful
reference implementation for Grobner basis computation.
List of contributors List of rpms provided by this srpm:
- libbrial-devel
- libbrial3
- libbrial3-debuginfo