| Port details |
- brial Library for polynomials over boolean rings
- 1.2.10 math
 =1      1.2.10Version of this port present on the latest quarterly branch. - Maintainer: thierry@FreeBSD.org
- Port Added: 2020-03-31 17:29:13
- Last Update: 2021-04-06 14:31:07
- Commit Hash: 305f148
- People watching this port, also watch:: SparseBitSet, py38-cysignals, R-cran-eRm, python
- License: GPLv2
- 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.
WWW: https://github.com/BRiAl/BRiAl
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- For LIB depends:
- libbrial.so:math/brial
- libbrial_groebner.so:math/brial
- 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 = 1601575781
SHA256 (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 37de1ec013791650a466486b08a735c1575a47794c138e1ea4944188b33e3de9
SIZE (BRiAl-BRiAl-1.2.10_GH0.tar.gz) = 1723552
- 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.69 : devel/autoconf
- automake>=1.16.1 : 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:
|
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
06 Apr 2021 14:31:07
  1.2.10
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
01 Oct 2020 18:20:27
  1.2.10
|
thierry |
Upgrade to 1.2.10 (revert system CUDD support). |
25 Sep 2020 15:08:09
1.2.9
|
thierry |
Upgrade to 1.2.9.
Release notes at <https://github.com/BRiAl/BRiAl/releases/tag/1.2.9>. |
04 May 2020 21:31:39
1.2.8_1
|
dinoex |
- update libgd to 2.3.0
- new option RAQM
- resurrect deprecated gdlib-config
- bump dependend ports |
31 Mar 2020 17:28:25
1.2.8
|
thierry |
Adding BRiAl, a library for polynomials over boolean rings, and its Python
module.
To be used by SageMath. |
As an Amazon Associate I earn from qualifying purchases.