dev-gap / semigroups

GAP package for semigroups and monoids

Official package sites : https://www.gap-system.org/packages/#semigroups ·

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.

v5.4.0 :: 0 :: gentoo

Modified
License
GPL-3+
Keywords
~amd64 ~riscv
USE flags
test

General

test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

sci-libs / libsemigroups : C++ library for semigroups and monoids

sci-mathematics / gap : System for computational discrete algebra. Core functionality.

dev-gap / datastructures : Collection of standard data structures for GAP

dev-gap / digraphs : Graphs, digraphs, and multidigraphs in GAP

dev-gap / gapdoc : GAP documentation structure and tooling

dev-gap / genss : GAP implementation of the randomized Schreier-Sims algorithm

dev-gap / images : Find minimal and canonical images in permutation groups

dev-gap / io : Bindings for low level C library I/O routines

dev-gap / orb : GAP methods to enumerate orbits

dev-gap / primgrp : GAP Primitive Permutation Groups Library

dev-gap / smallgrp : The GAP Small Groups Library

dev-gap / transgrp : GAP transitive groups library

sci-libs / libsemigroups : C++ library for semigroups and monoids

sci-mathematics / gap : System for computational discrete algebra. Core functionality.

Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-gap/semigroups: add 5.4.0, drop 5.3.7
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
sci-mathematics/gap,dev-gap/*: add ~riscv keywords
(And rearrange some variables to appease pkgcheck.) Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-gap/semigroups: add 5.3.7, drop 5.3.6
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-gap/semigroups: add 5.3.6, drop 5.3.2
Closes: https://bugs.gentoo.org/924165 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-gap/semigroups: new package, add 5.3.2
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>