diff options
Diffstat (limited to 'sci-libs/libsemigroups/metadata.xml')
-rw-r--r-- | sci-libs/libsemigroups/metadata.xml | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/sci-libs/libsemigroups/metadata.xml b/sci-libs/libsemigroups/metadata.xml new file mode 100644 index 000000000000..77788e074722 --- /dev/null +++ b/sci-libs/libsemigroups/metadata.xml @@ -0,0 +1,48 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="person"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> + 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). + </longdescription> + <upstream> + <remote-id type="github">libsemigroups/libsemigroups</remote-id> + </upstream> +</pkgmetadata> |