sping GAP's semigroups package into a separate spkg

dimpase · dimpase · commit 2c075bb95aa9 · 2025-07-29T14:48:22.000-05:00
diff --git a/build/pkgs/gap_packages/SPKG.rst b/build/pkgs/gap_packages/SPKG.rst
@@ -173,33 +173,7 @@ Adriaan de Graaf)
 repsn - The package provides GAP functions for computing characteristic
 zero matrix representations of finite groups. (Author: Vahid Dabbaghian)
 
-Semigroups - This 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. (Authors: James Mitchell, Marina Anagnostopoulou-Merkouri,
-Thomas Breuer, Stuart Burrell, Reinis Cirpons, Tom Conti-Leslie,
-Joseph Edwards, Attila Egri-Nagy, Luke Elliott, Fernando Flores Brito,
-Tillman Froehlich, Nick Ham, Robert Hancock, Max Horn, Christopher Jefferson,
-Julius Jonusas, Chinmaya Nagpal, Olexandr Konovalov, Artemis Konstantinidi,
-Hyeokjun Kwon, Dima V. Pasechnik, Markus Pfeiffer, Christopher Russell,
-Jack Schmidt, Sergio Siccha, Finn Smith, Ben Spiers, Nicolas Thiéry,
-Maria Tsalakou, Chris Wensley, Murray Whyte, Wilf A. Wilson, Tianrun Yang,
-Michael Young and Fabian Zickgraf)
+Semigroups -  split out as a separate optional spkg
 
 sla - a package for doing computations with simple Lie algebras (Author:
 Willem Adriaan de Graaf)
diff --git a/build/pkgs/gap_packages/dependencies b/build/pkgs/gap_packages/dependencies
@@ -1,4 +1,4 @@
-gap libsemigroups planarity | $(SAGERUNTIME)
+gap planarity | $(SAGERUNTIME)
 
 ----------
 All lines of this file are ignored except the first.
diff --git a/build/pkgs/gap_packages/spkg-install.in b/build/pkgs/gap_packages/spkg-install.in
@@ -114,11 +114,11 @@ done
 # io         : none
 # semigroups needs to use external libsemigroups
 # digraphs   needs to use external planarity
-pararr=( " " " " "--with-external-planarity" "--with-external-libsemigroups" )
+pararr=( " " " " "--with-external-planarity" )
 ##############################################################################
 
 parind=0
-for pkg in nq io digraphs semigroups
+for pkg in nq io digraphs
 do
     echo "Building GAP package $pkg"
     cd "$PKG_SRC_DIR/$pkg"
diff --git a/build/pkgs/semigroups/SPKG.rst b/build/pkgs/semigroups/SPKG.rst
@@ -0,0 +1,61 @@
+semigroups: An optional GAP package
+===================================
+
+Description
+-----------
+
+Installing this SPKG will install the corresponding GAP package, but
+before you can use them in Sage, they still have to be loaded into
+either the GAP interface or libgap::
+
+  sage: gap.eval('LoadPackage("semigroups")')  # optional - semigroups
+  'true'
+  sage: libgap.LoadPackage("semigroups")       # optional - semigroups
+  true
+
+Those correspond to::
+
+  gap> LoadPackage("semigroups");
+
+within the GAP interface and libgap, respectively.
+
+Upstream Contact
+----------------
+
+See https://semigroups.github.io/Semigroups/
+
+Dependencies
+------------
+
+-  GAP (a standard spkg), gap_packages and libsemigroups (optional packages)
+
+Notes
+-----------
+This 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.
+(Authors: James Mitchell, Marina Anagnostopoulou-Merkouri,
+Thomas Breuer, Stuart Burrell, Reinis Cirpons, Tom Conti-Leslie,
+Joseph Edwards, Attila Egri-Nagy, Luke Elliott, Fernando Flores Brito,
+Tillman Froehlich, Nick Ham, Robert Hancock, Max Horn, Christopher Jefferson,
+Julius Jonusas, Chinmaya Nagpal, Olexandr Konovalov, Artemis Konstantinidi,
+Hyeokjun Kwon, Dima V. Pasechnik, Markus Pfeiffer, Christopher Russell,
+Jack Schmidt, Sergio Siccha, Finn Smith, Ben Spiers, Nicolas Thiéry,
+Maria Tsalakou, Chris Wensley, Murray Whyte, Wilf A. Wilson, Tianrun Yang,
+Michael Young and Fabian Zickgraf)
diff --git a/build/pkgs/semigroups/checksums.ini b/build/pkgs/semigroups/checksums.ini
@@ -0,0 +1,4 @@
+tarball=semigroups-VERSION.tar.gz
+sha1=9bd365a9691b489989d9c652f67ed5ac011c936a
+sha256=c237dd642668fd9aa5ebd7a7346467ab4261116892359d4480f0a265a91ed8d3
+upstream_url=https://github.com/semigroups/Semigroups/releases/download/vVERSION/semigroups-VERSION.tar.gz
diff --git a/build/pkgs/semigroups/dependencies b/build/pkgs/semigroups/dependencies
@@ -0,0 +1,4 @@
+gap gap_packages libsemigroups | $(SAGERUNTIME)
+
+----------
+All lines of this file are ignored except the first.
diff --git a/build/pkgs/semigroups/distros/conda.txt b/build/pkgs/semigroups/distros/conda.txt
@@ -0,0 +1 @@
+gap
diff --git a/build/pkgs/semigroups/distros/fedora.txt b/build/pkgs/semigroups/distros/fedora.txt
@@ -0,0 +1,27 @@
+gap-pkg-cohomolo
+gap-pkg-corelg
+gap-pkg-crime
+gap-pkg-cryst
+gap-pkg-ctbllib
+gap-pkg-design
+gap-pkg-factint
+GAPDoc
+gap-pkg-gbnp
+gap-pkg-grape
+gap-pkg-guava
+gap-pkg-hap
+gap-pkg-hapcryst
+gap-pkg-hecke
+gap-pkg-laguna
+gap-pkg-liealgdb
+gap-pkg-liepring
+gap-pkg-liering
+gap-pkg-loops
+gap-pkg-mapclass
+gap-pkg-polymaking
+gap-pkg-qpa
+gap-pkg-quagroup
+gap-pkg-repsn
+gap-pkg-sla
+gap-pkg-sonata
+gap-pkg-toric
diff --git a/build/pkgs/semigroups/distros/gentoo.txt b/build/pkgs/semigroups/distros/gentoo.txt
@@ -0,0 +1 @@
+dev-gap/semigroups
diff --git a/build/pkgs/semigroups/distros/repology.txt b/build/pkgs/semigroups/distros/repology.txt
@@ -0,0 +1 @@
+gap
diff --git a/build/pkgs/semigroups/math b/build/pkgs/semigroups/math
diff --git a/build/pkgs/semigroups/package-version.txt b/build/pkgs/semigroups/package-version.txt
@@ -0,0 +1 @@
+5.5.3
diff --git a/build/pkgs/semigroups/spkg-install.in b/build/pkgs/semigroups/spkg-install.in
@@ -0,0 +1,47 @@
+# Ask GAP for the directory where sysinfo.gap lives. This is to
+# support system GAP installations. This root-path gathering
+# command is borrowed from gap's spkg-configure.m4 and modified
+# to separate the paths with spaces.
+GAPRUN="gap -r -q --bare --nointeract -c"
+_cmd='Display(JoinStringsWithSeparator(GAPInfo.RootPaths," "));'
+GAP_ROOT_PATHS=$(${GAPRUN} "${_cmd}")
+
+# Loop though GAP_ROOT_PATHS looking for sysinfo.gap
+GAP_ROOT=""
+for grp in $GAP_ROOT_PATHS; do
+    if [ -f "${grp}/sysinfo.gap" ]; then
+        GAP_ROOT=$grp
+        echo "found GAP root $GAP_ROOT"
+        break
+    fi
+done
+
+# Try the old sage default if nothing else worked.
+if [ -z "$GAP_ROOT" ]; then
+    GAP_ROOT="$SAGE_LOCAL/lib/gap"
+    echo "falling back to GAP root $GAP_ROOT"
+fi
+
+# And finally, throw an error ASAP if the build is going to fail anyway.
+if [ ! -f "${GAP_ROOT}/sysinfo.gap" ]; then
+    sdh_die "no sysinfo.gap in your gap root"
+fi
+
+# Where to install these packages
+PKG_DIR="$SAGE_LOCAL/lib/gap/pkg"
+
+install_compiled_pkg()
+{
+    local pkg="$1"
+    # Install the bin/ dir (where compiled modules should end up)
+    # under <prefix>/lib/gap; we then symlink to it later
+    sdh_install * "$SAGE_LOCAL/lib/gap/pkg/$pkg"
+}
+
+# Build and install
+
+cd src
+echo "Building GAP package semigroups"
+sdh_configure --with-gaproot="$GAP_ROOT"  --with-external-libsemigroups
+sdh_make
+install_compiled_pkg semigroups
diff --git a/build/pkgs/semigroups/type b/build/pkgs/semigroups/type
@@ -0,0 +1 @@
+optional

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +gap gap_packages libsemigroups | $(SAGERUNTIME)
++
 +----------
 +All lines of this file are ignored except the first.