sci-libs / libsemigroups

C++ library for semigroups and monoids

Official package sites : https://github.com/libsemigroups/libsemigroups ·

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).

v2.7.3-r1 :: 0/2 :: gentoo

Modified
License
GPL-3+
Keywords
~amd64 ~riscv ~x86

cpu_flags_x86

popcnt
Enable popcnt instruction support ([abm] or [popcnt] in cpuinfo)

dev-gap / semigroups : GAP package for semigroups and monoids

Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
sci-libs/libsemigroups: keyword 2.7.3-r1 for ~riscv
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
sci-libs/libsemigroups: backport gcc-15 build fix
Closes: https://bugs.gentoo.org/936564 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
sci-libs/libsemigroups: add 2.7.3, drop 2.7.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
sci-libs/libsemigroups: new package, add 2.7.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>