Группа :: Науки/Математика
Пакет: brial
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 1.2.12-alt1
Время сборки: 16 января 2023, 09:31 ( 67.7 недели назад )
Размер архива: 1084.00 Kb
Домашняя страница: https://github.com/BRiAl/BRiAl/
Лицензия: GPL-2.0+ and BSD-3-Clause
О пакете: Framework for Boolean Rings
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 16 января 2023, 09:31 ( 67.7 недели назад )
Размер архива: 1084.00 Kb
Домашняя страница: https://github.com/BRiAl/BRiAl/
Лицензия: GPL-2.0+ and BSD-3-Clause
О пакете: Framework for Boolean Rings
Описание:
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.
Текущий майнтейнер: 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.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- libbrial-devel
- libbrial3
- libbrial3-debuginfo