Skip to content

Commit 1e5e8e6

Browse files
author
Release Manager
committed
gh-40509: split Semigroups into a separate spkg, bump versions
this will allow more flexibilitity w.r.t. GAP's (lib)semigroups packages, so they can be updated independently, without extensive patchquilts ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - #12345: short description why this is a dependency --> <!-- - #34567: ... --> URL: #40509 Reported by: Dima Pasechnik Reviewer(s): Antonio Rojas, Enrique Manuel Artal Bartolo
2 parents fa83177 + 66fb284 commit 1e5e8e6

File tree

18 files changed

+158
-37
lines changed

18 files changed

+158
-37
lines changed

‎build/pkgs/configure/checksums.ini

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
tarball=configure-VERSION.tar.gz
2-
sha1=4c9aecce436e09a96fa3358fce94e4732c56982b
3-
sha256=8b48d72d7ed68b2b17550fb3dabd30437536b040cadc7662d667d2cb5fa53173
2+
sha1=f534ae06643e543165ff0a18e40f2c328e26efc7
3+
sha256=3aba0453e27bd22b86a463aa61f2cbba36c0e58da7c6c7248d05fc2745503f63

‎build/pkgs/configure/package-version.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
a1fb267e04a39b64e714b1b97ca625eef075f4d4
1+
b51e5bfbb96a19e51a34b227e691c62cb07849b6

‎build/pkgs/gap_packages/SPKG.rst

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -173,33 +173,7 @@ Adriaan de Graaf)
173173
repsn - The package provides GAP functions for computing characteristic
174174
zero matrix representations of finite groups. (Author: Vahid Dabbaghian)
175175

176-
Semigroups - This is a GAP package for semigroups, and monoids. There are
177-
particularly efficient methods for finitely presented semigroups and monoids,
178-
and for semigroups and monoids consisting of transformations, partial
179-
permutations, bipartitions, partitioned binary relations, subsemigroups of
180-
regular Rees 0-matrix semigroups, and matrices of various semirings including
181-
boolean matrices, matrices over finite fields, and certain tropical matrices.
182-
Semigroups contains efficient methods for creating semigroups, monoids, and
183-
inverse semigroups and monoids, calculating their Green's structure, ideals,
184-
size, elements, group of units, small generating sets, testing membership,
185-
finding the inverses of a regular element, factorizing elements over the
186-
generators, and so on. It is possible to test if a semigroup satisfies a
187-
particular property, such as if it is regular, simple, inverse, completely
188-
regular, and a large number of further properties. There are methods for
189-
finding presentations for a semigroup, the congruences of a semigroup, the
190-
maximal subsemigroups of a finite semigroup, smaller degree partial
191-
permutation representations, and the character tables of inverse semigroups.
192-
There are functions for producing pictures of the Green's structure of a
193-
semigroup, and for drawing graphical representations of certain types of
194-
elements. (Authors: James Mitchell, Marina Anagnostopoulou-Merkouri,
195-
Thomas Breuer, Stuart Burrell, Reinis Cirpons, Tom Conti-Leslie,
196-
Joseph Edwards, Attila Egri-Nagy, Luke Elliott, Fernando Flores Brito,
197-
Tillman Froehlich, Nick Ham, Robert Hancock, Max Horn, Christopher Jefferson,
198-
Julius Jonusas, Chinmaya Nagpal, Olexandr Konovalov, Artemis Konstantinidi,
199-
Hyeokjun Kwon, Dima V. Pasechnik, Markus Pfeiffer, Christopher Russell,
200-
Jack Schmidt, Sergio Siccha, Finn Smith, Ben Spiers, Nicolas Thiéry,
201-
Maria Tsalakou, Chris Wensley, Murray Whyte, Wilf A. Wilson, Tianrun Yang,
202-
Michael Young and Fabian Zickgraf)
176+
Semigroups - split out as a separate optional spkg
203177

204178
sla - a package for doing computations with simple Lie algebras (Author:
205179
Willem Adriaan de Graaf)

‎build/pkgs/gap_packages/dependencies

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
gap libsemigroups planarity | $(SAGERUNTIME)
1+
gap planarity | $(SAGERUNTIME)
22

33
----------
44
All lines of this file are ignored except the first.

‎build/pkgs/gap_packages/spkg-install.in

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -112,13 +112,12 @@ done
112112
#
113113
# nq : none
114114
# io : none
115-
# semigroups needs to use external libsemigroups
116115
# digraphs needs to use external planarity
117-
pararr=( " " " " "--with-external-planarity" "--with-external-libsemigroups" )
116+
pararr=( " " " " "--with-external-planarity" )
118117
##############################################################################
119118

120119
parind=0
121-
for pkg in nq io digraphs semigroups
120+
for pkg in nq io digraphs
122121
do
123122
echo "Building GAP package $pkg"
124123
cd "$PKG_SRC_DIR/$pkg"

‎build/pkgs/libsemigroups/checksums.ini

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
tarball=libsemigroups-VERSION.tar.gz
2-
sha1=9c8e73b18a4964135b63e03b2f36b874742edd62
3-
sha256=d4d88a11651c7d7d497f847fea97e3ff60a39b25b851c1d0d7ccf41e052612be
2+
sha1=e3856b817638d64016ff53c84cb2c895676ae7c8
3+
sha256=a2d7a1e5b41360a89af0ea836cfddb4669a30516b35d4b9ff73422624ed1aa12
44
upstream_url=https://github.com/libsemigroups/libsemigroups/releases/download/vVERSION/libsemigroups-VERSION.tar.gz

‎build/pkgs/libsemigroups/package-version.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2.7.3
1+
2.7.4

‎build/pkgs/semigroups/SPKG.rst

Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
semigroups: An optional GAP package
2+
===================================
3+
4+
Description
5+
-----------
6+
7+
Installing this SPKG will install the corresponding GAP package, but
8+
before you can use them in Sage, they still have to be loaded into
9+
either the GAP interface or libgap::
10+
11+
sage: gap.eval('LoadPackage("semigroups")') # optional - semigroups
12+
'true'
13+
sage: libgap.LoadPackage("semigroups") # optional - semigroups
14+
true
15+
16+
Those correspond to::
17+
18+
gap> LoadPackage("semigroups");
19+
20+
within the GAP interface and libgap, respectively.
21+
22+
Upstream Contact
23+
----------------
24+
25+
See https://semigroups.github.io/Semigroups/
26+
27+
Dependencies
28+
------------
29+
30+
- GAP (a standard spkg), gap_packages and libsemigroups (optional packages)
31+
32+
Notes
33+
-----------
34+
This is a GAP package for semigroups, and monoids. There are
35+
particularly efficient methods for finitely presented semigroups and monoids,
36+
and for semigroups and monoids consisting of transformations, partial
37+
permutations, bipartitions, partitioned binary relations, subsemigroups of
38+
regular Rees 0-matrix semigroups, and matrices of various semirings including
39+
boolean matrices, matrices over finite fields, and certain tropical matrices.
40+
Semigroups contains efficient methods for creating semigroups, monoids, and
41+
inverse semigroups and monoids, calculating their Green's structure, ideals,
42+
size, elements, group of units, small generating sets, testing membership,
43+
finding the inverses of a regular element, factorizing elements over the
44+
generators, and so on. It is possible to test if a semigroup satisfies a
45+
particular property, such as if it is regular, simple, inverse, completely
46+
regular, and a large number of further properties. There are methods for
47+
finding presentations for a semigroup, the congruences of a semigroup, the
48+
maximal subsemigroups of a finite semigroup, smaller degree partial
49+
permutation representations, and the character tables of inverse semigroups.
50+
There are functions for producing pictures of the Green's structure of a
51+
semigroup, and for drawing graphical representations of certain types of
52+
elements.
53+
(Authors: James Mitchell, Marina Anagnostopoulou-Merkouri,
54+
Thomas Breuer, Stuart Burrell, Reinis Cirpons, Tom Conti-Leslie,
55+
Joseph Edwards, Attila Egri-Nagy, Luke Elliott, Fernando Flores Brito,
56+
Tillman Froehlich, Nick Ham, Robert Hancock, Max Horn, Christopher Jefferson,
57+
Julius Jonusas, Chinmaya Nagpal, Olexandr Konovalov, Artemis Konstantinidi,
58+
Hyeokjun Kwon, Dima V. Pasechnik, Markus Pfeiffer, Christopher Russell,
59+
Jack Schmidt, Sergio Siccha, Finn Smith, Ben Spiers, Nicolas Thiéry,
60+
Maria Tsalakou, Chris Wensley, Murray Whyte, Wilf A. Wilson, Tianrun Yang,
61+
Michael Young and Fabian Zickgraf)

‎build/pkgs/semigroups/checksums.ini

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
tarball=semigroups-VERSION.tar.gz
2+
sha1=9bd365a9691b489989d9c652f67ed5ac011c936a
3+
sha256=c237dd642668fd9aa5ebd7a7346467ab4261116892359d4480f0a265a91ed8d3
4+
upstream_url=https://github.com/semigroups/Semigroups/releases/download/vVERSION/semigroups-VERSION.tar.gz

‎build/pkgs/semigroups/dependencies

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
gap gap_packages libsemigroups | $(SAGERUNTIME)
2+
3+
----------
4+
All lines of this file are ignored except the first.

0 commit comments

Comments
 (0)