Port details on branch 2022Q3 |
- brial Library for polynomials over boolean rings
- 1.2.11_1 math =1 1.2.11_1Version of this port present on the latest quarterly branch.
- Maintainer: thierry@FreeBSD.org
- Port Added: 2020-03-31 17:29:13
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
- License: GPLv2
- WWW:
- https://github.com/BRiAl/BRiAl
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/brial/ && make install clean
- To add the package, run one of these commands:
- pkg install math/brial
- pkg install BRiAl
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: BRiAl
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1659287068
SHA256 (BRiAl-BRiAl-1.2.11_GH0.tar.gz) = 8e840c713519d7458be9c280f53cea8a0a6417011f693c37aeb2f16e4c306955
SIZE (BRiAl-BRiAl-1.2.11_GH0.tar.gz) = 1723672
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- pkgconf>=1.3.0_1 : devel/pkgconf
- autoconf>=2.71 : devel/autoconf
- automake>=1.16.5 : devel/automake
- libtoolize : devel/libtool
- Library dependencies:
-
- libm4ri.so : math/m4ri
- libgd.so : graphics/gd
- libpng.so : graphics/png
- libboost_thread.so : devel/boost-libs
- This port is required by:
- for Libraries
-
- math/py-brial
- math/sage
Configuration Options:
- No options to configure
- Options name:
- math_brial
- USES:
- autoreconf compiler:c++11-lang libtool localbase pkgconfig
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|