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

gap/pkg/semigroups/tst/teststandard.g

@@ -0,0 +1,22 @@
+#############################################################################
+##
+#W  teststandard.g
+#Y  Copyright (C) 2018-2022                                 Wilf A. Wilson
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+LoadPackage("semigroups", false);;
+# These "{No} errors detected" lines currently have to be printed in this way
+# to satisfy the automated GAP testing system that runs on Jenkins.
+if SemigroupsTestInstall()
+    and SemigroupsTestStandard(rec(suppressStatusMessage := true))
+    and SEMIGROUPS.TestManualExamples() then
+  Print("#I  No errors detected while testing\n\n");
+  QUIT_GAP(0);
+else
+  Print("#I  Errors detected while testing\n\n");
+  QUIT_GAP(1);
+fi;
+FORCE_QUIT_GAP(1); # if we ever get here, there was an error

gap/pkg/semigroups/tst/workspaces/load-workspace.tst

@@ -0,0 +1,142 @@
+#############################################################################
+##
+#W  workspaces/load-workspace.tst
+#Y  Copyright (C) 2016                                      Michael Young
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+##  This file, together with save-workspace.tst, tests the ability to save
+##  and load workspaces which include Semigroups objects.  Objects should be
+##  created and stored in save-workspace.tst, and then loaded and tested in
+##  load-workspace.tst to ensure that they work correctly after being saved.
+##
+#############################################################################
+
+# DO NOT USE LOCAL VARIABLES @local in this file!
+
+# Set up testing environment
+gap> START_TEST("Semigroups package: workspaces/load-workspace.tst");
+gap> SEMIGROUPS.StartTest();
+
+#############################################################################
+##  Test objects that were created in save-workspace.tst, using the same
+##  variable names.  Give the test blocks the same headers as in the previous
+##  file.
+#############################################################################
+
+#  Congruences from libsemigroups
+gap> NrEquivalenceClasses(cong);
+4
+gap> [Matrix(IsBooleanMat, [[0, 1], [1, 0]]), 
+>     Matrix(IsBooleanMat, [[0, 1], [1, 0]])] in cong;
+true
+gap> [Matrix(IsBooleanMat, [[0, 1], [1, 1]]), 
+>     Matrix(IsBooleanMat, [[0, 1], [1, 0]])] in cong;
+true
+gap> [Matrix(IsBooleanMat, [[0, 0], [0, 0]]), 
+>     Matrix(IsBooleanMat, [[0, 1], [1, 0]])] in cong;
+false
+gap> EquivalenceRelationCanonicalLookup(cong);
+[ 1, 1, 2, 1, 1, 3, 1, 1, 2, 1, 3, 1, 1, 2, 4, 3 ]
+
+#  Semigroups from libsemigroups
+gap> Size(T); 
+9
+gap> NrIdempotents(T);
+8
+gap> Factorization(T, x);
+[ 4 ]
+gap> D := DClass(T, x);;
+gap> id := Idempotents(D);
+[ Matrix(IsBooleanMat, [[0, 1], [0, 1]]), 
+  Matrix(IsBooleanMat, [[1, 1], [0, 0]]), 
+  Matrix(IsBooleanMat, [[1, 1], [1, 1]]), 
+  Matrix(IsBooleanMat, [[1, 0], [0, 0]]), 
+  Matrix(IsBooleanMat, [[1, 0], [1, 0]]) ]
+gap> ForAll(id, x -> x in T);
+true
+gap> Size(U); 
+9
+gap> NrIdempotents(U);
+8
+gap> xx := U.1 * U.2 * U.3 ^ 5 * U.2 * U.3;
+Transformation( [ 2, 2, 4, 4 ] )
+gap> Factorization(U, xx);
+[ 4 ]
+gap> DD := DClass(U, xx);;
+gap> idd := Idempotents(DD);
+[ Transformation( [ 1, 1, 4, 4 ] ), Transformation( [ 2, 2, 4, 4 ] ), 
+  Transformation( [ 3, 3, 3 ] ), Transformation( [ 1, 1, 1 ] ), 
+  Transformation( [ 2, 2, 2 ] ) ]
+gap> ForAll(idd, x -> x in U);
+true
+
+#  Bipartitions
+gap> y;
+<bipartition: [ 1, 3 ], [ 2, 4, -1 ], [ 5, 6, -2, -3 ], [ -4, -5 ], [ -6 ]>
+gap> IsBipartition(y);
+true
+gap> DegreeOfBipartition(y);
+6
+gap> RankOfBipartition(y);
+2
+gap> NrTransverseBlocks(y);
+2
+gap> NrLeftBlocks(y);
+3
+gap> NrRightBlocks(y);
+4
+gap> NrBlocks(y);
+5
+gap> LeftBlocks(y);
+<blocks: [ 1, 3 ], [ 2*, 4* ], [ 5*, 6* ]>
+gap> RightBlocks(y);
+<blocks: [ 1* ], [ 2*, 3* ], [ 4, 5 ], [ 6 ]>
+gap> IntRepOfBipartition(y);
+[ 1, 2, 1, 2, 3, 3, 2, 3, 3, 4, 4, 5 ]
+gap> LeftProjection(y);
+<bipartition: [ 1, 3 ], [ 2, 4, -2, -4 ], [ 5, 6, -5, -6 ], [ -1, -3 ]>
+gap> RightProjection(y);
+<bipartition: [ 1, -1 ], [ 2, 3, -2, -3 ], [ 4, 5 ], [ 6 ], [ -4, -5 ], 
+ [ -6 ]>
+gap> One(y);
+<block bijection: [ 1, -1 ], [ 2, -2 ], [ 3, -3 ], [ 4, -4 ], [ 5, -5 ], 
+ [ 6, -6 ]>
+gap> IsBlockBijection(y);
+false
+gap> IsUniformBlockBijection(y);
+false
+gap> IsTransBipartition(y);
+false
+gap> IsDualTransBipartition(y);
+false
+gap> IsPermBipartition(y);
+false
+gap> IsPartialPermBipartition(y);
+false
+
+#  Blocks
+gap> b;
+<blocks: [ 1*, 3* ], [ 2, 4, 7 ], [ 5*, 6*, 8*, 9* ], [ 10* ]>
+gap> ProjectionFromBlocks(b);
+<bipartition: [ 1, 3, -1, -3 ], [ 2, 4, 7 ], [ 5, 6, 8, 9, -5, -6, -8, -9 ], 
+ [ 10, -10 ], [ -2, -4, -7 ]>
+gap> NrBlocks(b);
+4
+gap> RankOfBlocks(b);
+3
+gap> NrTransverseBlocks(b);
+3
+gap> DegreeOfBlocks(b);
+10
+gap> AsDigraph(b);
+<immutable digraph with 10 vertices, 23 edges>
+gap> CanonicalBlocks(b);
+<blocks: [ 1* ], [ 2*, 3* ], [ 4*, 5*, 6*, 7* ], [ 8, 9, 10 ]>
+
+# No point unbinding local variables, since this will only ever be run in a
+# workspace
+gap> SEMIGROUPS.StopTest();
+gap> STOP_TEST("Semigroups package: workspaces/load-workspace.tst");

gap/pkg/semigroups/tst/workspaces/load.g

@@ -0,0 +1,11 @@
+#############################################################################
+##
+#W  load.g
+#Y  Copyright (C) 2023                                    James D Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+QuitGap(Test("tst/workspaces/load-workspace.tst") and SemigroupsTestInstall());

gap/pkg/semigroups/tst/workspaces/save-workspace.tst

@@ -0,0 +1,166 @@
+#############################################################################
+##
+#W  workspaces/save-workspace.tst
+#Y  Copyright (C) 2016                                      Michael Young
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+##  This file, together with load-workspace.tst, tests the ability to save
+##  and load workspaces which include Semigroups objects.  Objects should be
+##  created and stored in save-workspace.tst, and then loaded and tested in
+##  load-workspace.tst to ensure that they work correctly after being saved.
+##
+#############################################################################
+
+# DO NOT USE LOCAL VARIABLES @local in this file!
+
+# Set up testing environment
+
+gap> START_TEST("Semigroups package: workspaces/save-workspace.tst");
+gap> SetInfoLevel(InfoDebug, 0);
+gap> LoadPackage("semigroups", false);;
+gap> SEMIGROUPS.StartTest();
+
+#############################################################################
+##  Create objects below here, and add tests to load-workspace.tst to ensure
+##  that they are saved to disk correctly.  Do not reuse variable names.
+#############################################################################
+
+# Congruences from libsemigroups
+gap> S := Semigroup(Matrix(IsBooleanMat, [[0, 1], [1, 0]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [1, 1]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [0, 0]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [0, 0]]));;
+gap> cong := LeftSemigroupCongruence(S, [S.1, S.2]);;
+gap> NrEquivalenceClasses(cong);
+4
+gap> EquivalenceRelationCanonicalLookup(cong);
+[ 1, 1, 2, 1, 1, 3, 1, 1, 2, 1, 3, 1, 1, 2, 4, 3 ]
+
+# Semigroups from libsemigroups
+gap> T := Semigroup(Matrix(IsBooleanMat, [[0, 1], [0, 0]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [1, 1]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [0, 1]]), 
+>                   Matrix(IsBooleanMat, [[1, 0], [0, 0]]));;
+gap> Size(T); 
+9
+gap> NrIdempotents(T);
+8
+gap> x := T.1 * T.2 * T.3 ^ 5 * T.2 * T.3;
+Matrix(IsBooleanMat, [[1, 0], [0, 0]])
+gap> Factorization(T, x);
+[ 4 ]
+gap> D := DClass(T, x);;
+gap> id := Idempotents(D);
+[ Matrix(IsBooleanMat, [[0, 1], [0, 1]]), 
+  Matrix(IsBooleanMat, [[1, 1], [0, 0]]), 
+  Matrix(IsBooleanMat, [[1, 1], [1, 1]]), 
+  Matrix(IsBooleanMat, [[1, 0], [0, 0]]), 
+  Matrix(IsBooleanMat, [[1, 0], [1, 0]]) ]
+gap> ForAll(id, x -> x in T);
+true
+gap> U := AsSemigroup(IsTransformationSemigroup, T);
+<transformation monoid of size 9, degree 4 with 3 generators>
+gap> Size(U); 
+9
+gap> NrIdempotents(U);
+8
+gap> xx := U.1 * U.2 * U.3 ^ 5 * U.2 * U.3;
+Transformation( [ 2, 2, 4, 4 ] )
+gap> Factorization(U, xx);
+[ 4 ]
+gap> DD := DClass(U, xx);;
+gap> idd := Idempotents(DD);
+[ Transformation( [ 1, 1, 4, 4 ] ), Transformation( [ 2, 2, 4, 4 ] ), 
+  Transformation( [ 3, 3, 3 ] ), Transformation( [ 1, 1, 1 ] ), 
+  Transformation( [ 2, 2, 2 ] ) ]
+gap> ForAll(idd, x -> x in U);
+true
+
+# Bipartitions
+gap> y := Bipartition([[1, 3], [2, 4, -1], [5, 6, -2, -3], [-4, -5], [-6]]);
+<bipartition: [ 1, 3 ], [ 2, 4, -1 ], [ 5, 6, -2, -3 ], [ -4, -5 ], [ -6 ]>
+gap> IsBipartition(y);
+true
+gap> DegreeOfBipartition(y);
+6
+gap> RankOfBipartition(y);
+2
+gap> NrTransverseBlocks(y);
+2
+gap> NrLeftBlocks(y);
+3
+gap> NrRightBlocks(y);
+4
+gap> NrBlocks(y);
+5
+gap> LeftBlocks(y);
+<blocks: [ 1, 3 ], [ 2*, 4* ], [ 5*, 6* ]>
+gap> RightBlocks(y);
+<blocks: [ 1* ], [ 2*, 3* ], [ 4, 5 ], [ 6 ]>
+gap> IntRepOfBipartition(y);
+[ 1, 2, 1, 2, 3, 3, 2, 3, 3, 4, 4, 5 ]
+gap> LeftProjection(y);
+<bipartition: [ 1, 3 ], [ 2, 4, -2, -4 ], [ 5, 6, -5, -6 ], [ -1, -3 ]>
+gap> RightProjection(y);
+<bipartition: [ 1, -1 ], [ 2, 3, -2, -3 ], [ 4, 5 ], [ 6 ], [ -4, -5 ], 
+ [ -6 ]>
+gap> One(y);
+<block bijection: [ 1, -1 ], [ 2, -2 ], [ 3, -3 ], [ 4, -4 ], [ 5, -5 ], 
+ [ 6, -6 ]>
+gap> IsBlockBijection(y);
+false
+gap> IsUniformBlockBijection(y);
+false
+gap> IsTransBipartition(y);
+false
+gap> IsDualTransBipartition(y);
+false
+gap> IsPermBipartition(y);
+false
+gap> IsPartialPermBipartition(y);
+false
+
+# Blocks
+gap> b := BLOCKS_NC([[1, 3], [-2, -4, -7], [5, 6, 8, 9], [10]]);
+<blocks: [ 1*, 3* ], [ 2, 4, 7 ], [ 5*, 6*, 8*, 9* ], [ 10* ]>
+gap> ProjectionFromBlocks(b);
+<bipartition: [ 1, 3, -1, -3 ], [ 2, 4, 7 ], [ 5, 6, 8, 9, -5, -6, -8, -9 ], 
+ [ 10, -10 ], [ -2, -4, -7 ]>
+gap> NrBlocks(b);
+4
+gap> RankOfBlocks(b);
+3
+gap> NrTransverseBlocks(b);
+3
+gap> DegreeOfBlocks(b);
+10
+gap> AsDigraph(b);
+<immutable digraph with 10 vertices, 23 edges>
+gap> CanonicalBlocks(b);
+<blocks: [ 1* ], [ 2*, 3* ], [ 4*, 5*, 6*, 7* ], [ 8, 9, 10 ]>
+
+# Save the workspace
+gap> SaveWorkspace(Concatenation(SEMIGROUPS.PackageDir,
+>                                "/tst/workspaces/test-output.w"));
+true
+
+# Unbind local variables, auto-generated by etc/tst-unbind-local-vars.py
+gap> Unbind(D);
+gap> Unbind(DD);
+gap> Unbind(S);
+gap> Unbind(T);
+gap> Unbind(U);
+gap> Unbind(b);
+gap> Unbind(cong);
+gap> Unbind(id);
+gap> Unbind(idd);
+gap> Unbind(x);
+gap> Unbind(xx);
+gap> Unbind(y);
+
+#
+gap> SEMIGROUPS.StopTest();
+gap> STOP_TEST("Semigroups package: workspaces/save-workspace.tst");

gap/pkg/semigroups/tst/workspaces/save.g

@@ -0,0 +1,14 @@
+#############################################################################
+##
+#W  save.g
+#Y  Copyright (C) 2023                                    James D Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+SetInfoLevel(InfoPackageLoading, 4);
+LoadPackage("semigroups", false);
+SetInfoLevel(InfoPackageLoading, 0);
+QuitGap(SemigroupsTestInstall() and Test("tst/workspaces/save-workspace.tst"));

passagemath_gap_pkg_semigroups-10.6.29.dist-info/METADATA

@@ -0,0 +1,93 @@
+Metadata-Version: 2.4
+Name: passagemath-gap-pkg-semigroups
+Version: 10.6.29
+Summary: passagemath: Computational Group Theory with GAP: semigroups package
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.14,>=3.10
+Description-Content-Type: text/x-rst
+Requires-Dist: passagemath-environment~=10.6.29.0
+
+======================================================================
+ passagemath: Computational Group Theory with GAP: semigroups package
+======================================================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.13.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-gap-pkg-semigroups`` is a
+distribution of the GAP package `semigroups <https://semigroups.github.io/Semigroups/>`__,
+for use with ``passagemath-gap``.
+
+
+What is included
+----------------
+
+- Wheels on PyPI include the GAP package ``semigroups``

passagemath_gap_pkg_semigroups-10.6.29.dist-info/METADATA.bak

@@ -0,0 +1,94 @@
+Metadata-Version: 2.4
+Name: passagemath-gap-pkg-semigroups
+Version: 10.6.29
+Summary: passagemath: Computational Group Theory with GAP: semigroups package
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.14,>=3.10
+Description-Content-Type: text/x-rst
+Requires-Dist: passagemath-conf~=10.6.29.0; sys_platform != "win32"
+Requires-Dist: passagemath-environment~=10.6.29.0
+
+======================================================================
+ passagemath: Computational Group Theory with GAP: semigroups package
+======================================================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.13.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-gap-pkg-semigroups`` is a
+distribution of the GAP package `semigroups <https://semigroups.github.io/Semigroups/>`__,
+for use with ``passagemath-gap``.
+
+
+What is included
+----------------
+
+- Wheels on PyPI include the GAP package ``semigroups``