Language

Package: brial @ 1.2.5

Synopsis

Arithmetic of polynomials over boolean rings

Description

BRiAl is the successor to PolyBoRi maintained by the Sage community. Its core 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.

Home page
https://gitlab.com/sagemath/zn_poly
Location
gnu/packages/sagemath.scm (line: 333, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings