math/brial 1.2.12_1 DragonFly

Library for polynomials over boolean rings

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: GPLv2
Categories: math
Package size: 1031.0 KiB, 10785.1 KiB installed

Description

BRiAl is the successor to PolyBoRi.

The core of PolyBoRi 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 Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.

In the other systems

System

Port

Version

DragonFly

math/brial

1.2.12_1

FreeBSD

math/brial

1.2.15_1

HardenedBSD

math/brial

1.2.15_1

GhostBSD

math/brial

1.2.15

Install

Binary package:

pkg install BRiAl

From DPorts:

cd /usr/dports/math/brial && make install clean

Dependencies

Run dependencies 4

Required by 1

math/py-brial

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The BRiAl port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing