You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
46 lines
2.1 KiB
46 lines
2.1 KiB
<?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">
|
|
The Semigroups package is a GAP package for semigroups, and
|
|
monoids. There are particularly efficient methods for finitely
|
|
presented semigroups and monoids, and for semigroups and monoids
|
|
consisting of transformations, partial permutations, bipartitions,
|
|
partitioned binary relations, subsemigroups of regular Rees 0-matrix
|
|
semigroups, and matrices of various semirings including boolean
|
|
matrices, matrices over finite fields, and certain tropical
|
|
matrices. Semigroups contains efficient methods for creating
|
|
semigroups, monoids, and inverse semigroups and monoids, calculating
|
|
their Green's structure, ideals, size, elements, group of units,
|
|
small generating sets, testing membership, finding the inverses of a
|
|
regular element, factorizing elements over the generators, and so
|
|
on. It is possible to test if a semigroup satisfies a particular
|
|
property, such as if it is regular, simple, inverse, completely
|
|
regular, and a large number of further properties. There are methods
|
|
for finding presentations for a semigroup, the congruences of a
|
|
semigroup, the maximal subsemigroups of a finite semigroup, smaller
|
|
degree partial permutation representations, and the character tables
|
|
of inverse semigroups. There are functions for producing pictures of
|
|
the Green's structure of a semigroup, and for drawing graphical
|
|
representations of certain types of elements.
|
|
</longdescription>
|
|
<upstream>
|
|
<remote-id type="github">semigroups/Semigroups</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|