libsemigroups
C++ library for semigroups and monoids
libsemigroups is a C++14 library containing implementations of several algorithms for computing finite, and finitely presented, semigroups and monoids. Namely: * the Froidure-Pin algorithm for computing finite semigroups; * the Todd-Coxeter algorithm for finitely presented semigroups and monoids; * the Knuth-Bendix algorithm for finitely presented semigroups and monoids; * the Schreier-Sims algorithm for permutation groups; * a preliminary implementation of the Konieczny and Lallement- McFadden algorithm for computing finite semigroups which act on sets; * an implementation of the Radoszewski-Rytter algorithm for testing equivalence of words in free bands; * an implementation of the algorithm for solving the word problem for small overlap monoids, and for computing normal forms in such monoids; * a version of Sims low index subgroup algorithm for computing one-sided congruences of a semigroup or monoid; * a version of Stephen's procedure for finitely presented semigroups and monoids (for a given word w this procedure is for determining words equivalent to w or that are left divisors of w).
homepage ↗ github: libsemigroups/libsemigroups
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 3.5.5 | 1 | 15 h | details › |
Versions & arches
Use flags of 3.5.5
- eigen Use dev-cpp/eigen (at build time only) to speed up some matrix operations.
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
1 expansion flags (python targets, ABIs, cpu flags…)
- cpu_flags_x86_popcnt