passagemath-gap-pkg-semigroups 10.6.29__cp312-abi3-macosx_13_0_x86_64.whl

gap/pkg/semigroups/makedoc.g

@@ -0,0 +1,153 @@
+#############################################################################
+##
+##  makedoc.g
+##  Copyright (C) 2022                              James D. Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+LoadPackage("AutoDoc");
+
+# Helper functions
+
+RemovePrefixVersion := function(string)
+  if StartsWith(string, ">=") then
+    return string{[3 .. Length(string)]};
+  fi;
+  return string;
+end;
+
+UrlEntity := function(name, url)
+  return StringFormatted("""<Alt Not="Text"><URL Text="{1}">{2}</URL></Alt>
+    <Alt Only="Text"><Package>{1}</Package></Alt>""", name, url);
+end;
+
+PackageEntity := function(name)
+  if TestPackageAvailability(name) <> fail then
+    return UrlEntity(PackageInfo(name)[1].PackageName,
+                     PackageInfo(name)[1].PackageWWWHome);
+  fi;
+  return StringFormatted("<Package>{1}</Package>", name);
+end;
+
+Greens := function(name)
+  local result;
+  # Note that we don't use a multiline string to define the alternatives
+  # because then they contain spaces like H -class.
+  # Also we use multiline strings in StringFormatted, because otherwise the "
+  # inside get mangled.
+  result := StringFormatted
+              ("""<Alt Only="HTML MathJax">\(\mathscr{{{1}}}\)</Alt>""", name);
+  Append(result,
+         StringFormatted("""<Alt Only="HTML noMathJax"><E>{1}</E></Alt>""",
+                         name));
+  Append(result,
+         StringFormatted("""<Alt Only="Text"><E>{1}</E></Alt>""",
+                         name));
+  Append(result,
+         StringFormatted("""<Alt Only="LaTeX"><M>\mathcal{{{1}}}</M></Alt>""",
+                         name));
+  return result;
+end;
+
+MathOrCode := function(string)
+  return StringFormatted("""<Alt Not="Text"><M>{1}</M></Alt>
+    <Alt Only="Text"><C>{1}</C></Alt>""", string);
+end;
+
+XMLEntities := rec();
+
+# Programmatically determined entities
+
+PkgInfo := PackageInfo("semigroups")[1];
+
+XMLEntities.VERSION := PkgInfo.Version;
+XMLEntities.GAPVERS := RemovePrefixVersion(PkgInfo.Dependencies.GAP);
+
+for Pkg in PkgInfo.Dependencies.NeededOtherPackages do
+  entity_name := Concatenation(UppercaseString(Pkg[1]), "VERS");
+  XMLEntities.(entity_name) := RemovePrefixVersion(Pkg[2]);
+od;
+
+ARCHIVENAME := SplitString(PkgInfo.ArchiveURL, "/");
+ARCHIVENAME := Concatenation(Last(ARCHIVENAME), PkgInfo.ArchiveFormats);
+XMLEntities.ARCHIVENAME := ARCHIVENAME;
+
+XMLEntities.SEMIGROUPS := PackageEntity("Semigroups");
+
+for Pkg in Concatenation(PkgInfo.Dependencies.NeededOtherPackages,
+                         PkgInfo.Dependencies.SuggestedOtherPackages) do
+  entity_name := UppercaseString(Pkg[1]);
+  XMLEntities.(entity_name) := PackageEntity(Pkg[1]);
+od;
+
+# The files containing the xml of the doc
+
+DocDir := DirectoriesPackageLibrary("semigroups", "doc")[1];
+Files := Filtered(DirectoryContents(DocDir),
+                  x -> (not StartsWith(x, "."))
+                       and (not StartsWith(x, "z-"))
+                       and EndsWith(x, ".xml"));
+Apply(Files, x -> Concatenation("doc/", x));
+Add(Files, "PackageInfo.g");
+Sort(Files);
+
+# The scaffold files (chapters)
+
+Includes := Filtered(DirectoryContents(DocDir),
+                     x -> StartsWith(x, "z-") and EndsWith(x, ".xml"));
+Sort(Includes);
+
+# Hard coded entities
+
+XMLEntities.LIBSEMIGROUPS := UrlEntity("libsemigroups",
+  "https://libsemigroups.readthedocs.io/en/latest/");
+XMLEntities.BLISS         := UrlEntity("bliss",
+  "http://www.tcs.tkk.fi/Software/bliss/");
+
+XMLEntities.H := Greens("H");
+XMLEntities.R := Greens("R");
+XMLEntities.L := Greens("L");
+XMLEntities.D := Greens("D");
+XMLEntities.J := Greens("J");
+
+for thing in ["X", "n", "p", "x", "y", "i", "j", "k", "r", "s"] do
+  XMLEntities.(thing) := MathOrCode(thing);
+od;
+
+XMLEntities.bfn := """<Alt Not="Text"><M>\mathbf{n}</M></Alt>
+<Alt Only="Text"><E>n</E></Alt>""";
+XMLEntities.bbN := """<Alt Not="Text"><M>\mathbb{N}</M></Alt>
+<Alt Only="Text"><E>N</E></Alt>""";
+
+# The actual call to AutoDoc
+
+AutoDoc("semigroups", rec(
+    autodoc := rec(scan_dirs := ["gap/tools/", "gap/attributes"]),
+    gapdoc := rec(
+        LaTeXOptions := rec(EarlyExtraPreamble := """
+            \usepackage{a4wide}
+            \newcommand{\bbZ}{\mathbb{Z}}
+        """),
+        main := "main",
+        files := Files),
+
+    scaffold := rec(
+        includes := Includes,
+        bib := "bibliography.xml",
+        entities := XMLEntities)));
+
+Unbind(RemovePrefixVersion);
+Unbind(UrlEntity);
+Unbind(PackageEntity);
+Unbind(Greens);
+Unbind(MathOrCode);
+Unbind(XMLEntities);
+Unbind(PkgInfo);
+Unbind(Pkg);
+Unbind(ARCHIVENAME);
+Unbind(DocDir);
+Unbind(Files);
+Unbind(Includes);

gap/pkg/semigroups/prerequisites.sh

@@ -0,0 +1,62 @@
+#!/bin/bash
+
+set -e
+
+notice_it() {
+    printf '\033[32m%s\033[0m\n' "$*"
+}
+
+error() {
+    printf '\033[31m%s\033[0m\n' "$*"
+    exit 1
+}
+
+SEMI_DIR=`dirname "$0"`
+LIBS_DIR="$SEMI_DIR/libsemigroups"
+
+# Get libsemigroups version from file
+if [ -f "$SEMI_DIR/.LIBSEMIGROUPS_VERSION" ]; then
+  VERS=`tr -d '\n' < $SEMI_DIR/.LIBSEMIGROUPS_VERSION`
+else
+  error "Error, cannot find $SEMI_DIR/.LIBSEMIGROUPS_VERSION"
+fi
+
+notice_it "libsemigroups v$VERS is required by this version of Semigroups"
+
+if [ -f "config.log" ] ; then
+  if grep -q "\.\/configure.*\-\-with\-external\-libsemigroups" config.log ; then
+    notice_it "Configuration flag \"--with-external-libsemigroups\" found in config.log"
+    notice_it "Not downloading libsemigroups, no further prerequisites required"
+    exit 0
+  fi
+elif [[ ! -z "${DO_NOT_DOWNLOAD_LIBSEMIGROUPS}" ]]; then
+  notice_it "Environment variable DO_NOT_DOWNLOAD_LIBSEMIGROUPS is defined"
+  notice_it "Not downloading libsemigroups, no further prerequisites required"
+  exit 0
+fi
+
+if [ -d "$LIBS_DIR" ] && [ "$(ls -A $LIBS_DIR)" ]; then
+  notice_it "The libsemigroups directory exists and is non-empty"
+  if [ -f "$LIBS_DIR/.VERSION" ]; then
+    notice_it "The file libsemigroups/.VERSION is present"
+    INSTALLED=`tr -d '\n' < "$LIBS_DIR/.VERSION"`
+  elif [ -f "$LIBS_DIR/etc/version-number.sh" ]; then
+    notice_it "Getting version number via etc/version-number.sh in libsemigroups"
+    cd "$LIBS_DIR"
+    INSTALLED=`etc/version-number.sh`
+    cd "$SEMI_DIR"
+  else
+    error "Error, it is not possible to determine the libsemigroups version"
+  fi
+  notice_it "The installed version of libsemigroups is v$INSTALLED"
+  LEAST=`echo -e "$VERS\n$INSTALLED" | sort -V | head -n1`
+  if [[ "$VERS" != "$LEAST" ]]; then
+    error "Error, the installed version of libsemigroups is too old"
+  fi
+  exit 0
+fi
+
+# Download libsemigroups
+notice_it "Downloading libsemigroups v$VERS into $LIBS_DIR..."
+curl -L -O "https://github.com/libsemigroups/libsemigroups/releases/download/v$VERS/libsemigroups-$VERS.tar.gz"
+tar -xzf "libsemigroups-$VERS.tar.gz" && rm -f "libsemigroups-$VERS.tar.gz" && mv "libsemigroups-$VERS" "$LIBS_DIR"

gap/pkg/semigroups/read.g

@@ -0,0 +1,105 @@
+#############################################################################
+##
+##  read.g
+##  Copyright (C) 2013-2022                              James D. Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+ReadPackage("semigroups", "gap/tools/display.gi");
+ReadPackage("semigroups", "gap/tools/io.gi");
+ReadPackage("semigroups", "gap/tools/utils.gi");
+ReadPackage("semigroups", "gap/tools/iterators.gi");
+
+ReadPackage("semigroups", "gap/elements/star.gi");
+ReadPackage("semigroups", "gap/elements/pbr.gi");
+ReadPackage("semigroups", "gap/elements/bipart.gi");
+ReadPackage("semigroups", "gap/elements/blocks.gi");
+ReadPackage("semigroups", "gap/elements/semiringmat.gi");
+ReadPackage("semigroups", "gap/elements/maxplusmat.gi");
+ReadPackage("semigroups", "gap/elements/boolmat.gi");
+ReadPackage("semigroups", "gap/elements/ffmat.gi");
+ReadPackage("semigroups", "gap/elements/trans.gi");
+ReadPackage("semigroups", "gap/elements/elements.gi");
+ReadPackage("semigroups", "gap/elements/pperm.gi");
+
+ReadPackage("semigroups", "gap/libsemigroups/cong.gi");
+ReadPackage("semigroups", "gap/libsemigroups/fpsemi.gi");
+ReadPackage("semigroups", "gap/libsemigroups/froidure-pin.gi");
+ReadPackage("semigroups", "gap/libsemigroups/sims1.gi");
+
+ReadPackage("semigroups", "gap/main/froidure-pin.gi");
+ReadPackage("semigroups", "gap/main/setup.gi");
+ReadPackage("semigroups", "gap/main/acting.gi");
+ReadPackage("semigroups", "gap/main/lambda-rho.gi");
+ReadPackage("semigroups", "gap/main/graded.gi");
+ReadPackage("semigroups", "gap/main/orbits.gi");
+ReadPackage("semigroups", "gap/main/semiact.gi");
+
+ReadPackage("semigroups", "gap/semigroups/semigrp.gi");
+ReadPackage("semigroups", "gap/semigroups/grpperm.gi");
+ReadPackage("semigroups", "gap/semigroups/semirms.gi");
+ReadPackage("semigroups", "gap/semigroups/semibipart.gi");
+ReadPackage("semigroups", "gap/semigroups/semipperm.gi");
+ReadPackage("semigroups", "gap/semigroups/semitrans.gi");
+ReadPackage("semigroups", "gap/semigroups/semipbr.gi");
+ReadPackage("semigroups", "gap/semigroups/semintmat.gi");
+ReadPackage("semigroups", "gap/semigroups/semimaxplus.gi");
+ReadPackage("semigroups", "gap/semigroups/semiringmat.gi");
+ReadPackage("semigroups", "gap/semigroups/semiboolmat.gi");
+ReadPackage("semigroups", "gap/semigroups/semifp.gi");
+ReadPackage("semigroups", "gap/semigroups/semiex.gi");
+ReadPackage("semigroups", "gap/semigroups/semicons.gi");
+ReadPackage("semigroups", "gap/semigroups/semigraph.gi");
+ReadPackage("semigroups", "gap/semigroups/semiffmat.gi");
+ReadPackage("semigroups", "gap/semigroups/semiquo.gi");
+ReadPackage("semigroups", "gap/semigroups/semieunit.gi");
+ReadPackage("semigroups", "gap/semigroups/semidp.gi");
+
+ReadPackage("semigroups", "gap/ideals/ideals.gi");
+ReadPackage("semigroups", "gap/ideals/acting.gi");
+ReadPackage("semigroups", "gap/ideals/lambda-rho.gi");
+ReadPackage("semigroups", "gap/ideals/froidure-pin.gi");
+
+ReadPackage("semigroups", "gap/greens/acting.gi");
+ReadPackage("semigroups", "gap/greens/acting-inverse.gi");
+ReadPackage("semigroups", "gap/greens/acting-regular.gi");
+ReadPackage("semigroups", "gap/greens/froidure-pin.gi");
+ReadPackage("semigroups", "gap/greens/generic.gi");
+
+ReadPackage("semigroups", "gap/attributes/acting.gi");
+ReadPackage("semigroups", "gap/attributes/attr.gi");
+ReadPackage("semigroups", "gap/attributes/dual.gi");
+ReadPackage("semigroups", "gap/attributes/factor.gi");
+ReadPackage("semigroups", "gap/attributes/homomorph.gi");
+ReadPackage("semigroups", "gap/attributes/inverse.gi");
+ReadPackage("semigroups", "gap/attributes/isomorph.gi");
+ReadPackage("semigroups", "gap/attributes/isorms.gi");
+ReadPackage("semigroups", "gap/attributes/maximal.gi");
+ReadPackage("semigroups", "gap/attributes/properties.gi");
+ReadPackage("semigroups", "gap/attributes/semifp.gi");
+ReadPackage("semigroups", "gap/attributes/translat.gi");
+ReadPackage("semigroups", "gap/attributes/rms-translat.gi");
+
+ReadPackage("semigroups", "gap/congruences/cong.gi");
+ReadPackage("semigroups", "gap/congruences/congpart.gi");
+ReadPackage("semigroups", "gap/congruences/congpairs.gi");
+ReadPackage("semigroups", "gap/congruences/conginv.gi");
+ReadPackage("semigroups", "gap/congruences/conglatt.gi");
+ReadPackage("semigroups", "gap/congruences/congrees.gi");
+ReadPackage("semigroups", "gap/congruences/congrms.gi");
+ReadPackage("semigroups", "gap/congruences/congsemigraph.gi");
+ReadPackage("semigroups", "gap/congruences/congsimple.gi");
+ReadPackage("semigroups", "gap/congruences/conguniv.gi");
+ReadPackage("semigroups", "gap/congruences/congwordgraph.gi");
+
+ReadPackage("semigroups", "gap/fp/freeinverse.gi");
+ReadPackage("semigroups", "gap/fp/freeband.gi");
+ReadPackage("semigroups", "gap/fp/word.gi");
+ReadPackage("semigroups", "gap/fp/tietze.gi");
+
+ReadPackage("semigroups", "gap/obsolete.gi");
+
+MakeReadOnlyGlobal("SEMIGROUPS");

gap/pkg/semigroups/release.toml

@@ -0,0 +1,6 @@
+[authors]
+expired_emails = ["cr66@st-andrews.ac.uk", "ak316@st-andrews.ac.uk",
+    "bspiers972@outlook.com", "chinmaya1011@gmail.com",
+    "hk78@st-andrews.ac.uk", "ty39@st-andrews.ac.uk"]
+author_files = ["PackageInfo.g"]
+ignore = ["convert-repo", "dependabot"]

gap/pkg/semigroups/tst/extreme/README

@@ -0,0 +1,2 @@
+The folder 'extreme' contains more extensive tests than 'standard', long
+running tests, etc should go in here.