gentoo-overlay/dev-gap/semigroups/metadata.xml

<?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>