Group :: Ciências/Matemática
RPM: brial
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 1.2.12-alt1
Data da compilação: 16 janeiro 2023, 09:31 ( 68.7 weeks ago )
Tamanho:: 1084.00 Kb
Home page: https://github.com/BRiAl/BRiAl/
Licença: GPL-2.0+ and BSD-3-Clause
Sumário: Framework for Boolean Rings
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 16 janeiro 2023, 09:31 ( 68.7 weeks ago )
Tamanho:: 1084.00 Kb
Home page: https://github.com/BRiAl/BRiAl/
Licença: GPL-2.0+ and BSD-3-Clause
Sumário: Framework for Boolean Rings
Descrição:
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.
Mantenedor currente: 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.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- libbrial-devel
- libbrial3
- libbrial3-debuginfo