regina 7.3.1.1__cp311-cp311-macosx_10_9_x86_64.whl

regina/sageRegina/testsuite/testcallback.in

@@ -0,0 +1,150 @@
+#!/bin/bash
+#
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Runner
+#
+# Copyright (c) 2007-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Usage: testcallback
+#
+# Runs some simple tests to ensure that Regina's Python module is playing
+# nicely with pure Python callbacks in embedded subinterpreters.
+#
+# This script MUST be run from the python/testsuite directory in the
+# build tree.  It runs everything directly out of the build tree.
+# It does not require regina to be installed on the system (and indeed
+# it ignores any installation that it might find).
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# As an exception, when this program is distributed through (i) the
+# App Store by Apple Inc.; (ii) the Mac App Store by Apple Inc.; or
+# (iii) Google Play by Google Inc., then that store may impose any
+# digital rights management, device limits and/or redistribution
+# restrictions that are required by its terms of service.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public
+# License along with this program; if not, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+set -e
+
+# To see the output, you need to run:
+#     make test ARGS="-V"
+
+executable=./basic_callback
+testdir='@BASH_CMAKE_SOURCE_DIR@/python/testsuite'
+testoutdir=`mktemp -d -t regina.XXX`
+
+# REGINA_HOME can be deduced from the executable path, but on Windows this
+# deduction gives the wrong style of path (windows vs unix style) for use
+# with the embedded basic Python interpreter.  Fix it explicitly here.
+export REGINA_HOME=../../engine
+
+echo "---------------------------------------------------------"
+echo "Testing pure python callbacks in embedded subinterpreters"
+echo "---------------------------------------------------------"
+echo
+
+if ! test -f ../../CMakeCache.txt -a -f "$executable"; then
+	echo "ERROR: You do not appear to be within the python/testsuite directory"
+	echo "       in the build tree.  This script must be run from directly"
+	echo "       within the build tree (where you ran cmake)."
+	echo "       Please change into the python/testsuite directory in the"
+	echo "       build tree and try again."
+	exit 1
+fi
+
+# Make sure Python will be able to import regina.
+os='@CMAKE_SYSTEM_NAME@'
+case "$os" in
+	Darwin )
+		export DYLD_LIBRARY_PATH="../../engine:$DYLD_LIBRARY_PATH"
+		export PYTHONPATH="..:$PYTHONPATH"
+		;;
+	Windows )
+		# The PYTHONHOME directory is incorrectly hard-coded in msys2.
+		# Work out the correct value by asking the python interpreter directly.
+		PYTHON='@BASH_Python_EXECUTABLE@'
+		if [ ! -e "$PYTHON" ]; then
+			echo "ERROR: Python interpreter not found: $PYTHON"
+			exit 1
+		fi
+		export PYTHONHOME="`"$PYTHON" -c 'import sys; print(sys.prefix)'`"
+		if [ ! -d "$PYTHONHOME" ]; then
+			echo "ERROR: Python home not found: $PYTHONHOME"
+			exit 1
+		fi
+
+		export PATH="../../engine:$PATH"
+		export PYTHONPATH="..;$PYTHONPATH"
+		;;
+	* )
+		export LD_LIBRARY_PATH="../../engine:$LD_LIBRARY_PATH"
+		export PYTHONPATH="..:$PYTHONPATH"
+		;;
+esac
+
+expected="$testdir/basic_callback.out"
+observed="$testoutdir/basic_callback.out"
+
+# Since we have "set -e", we need "&& dummy=" to prevent this line to
+# just exit the bash script when the test has non-zero exit code.
+# We use && as opposed to || in order to preserve the exit code from
+# the first command.
+#
+# The code that unsets TERM fixes an issue seen some years ago on
+# Fedora, where (as a result of a more exotic TERM setting) unprintable
+# characters were being dumped at the beginning of the python output.
+#
+echo -n "Running callback test ... "
+TERM= PYTHONIOENCODING=utf8 "$executable" > "$observed" 2>&1 && dummy=
+
+# Catch exitcode.
+exitcode=$?
+
+# Branch based on exit code.
+broken=
+if [ "$exitcode" -ne 0 ];  then
+	echo "FAILED (exit code $exitcode)"
+	echo "    Output was:"
+	echo "        ..."
+	tail -n 5 $observed | sed -e 's/^/        /'
+	broken=1
+else
+	if ! ( diff --strip-trailing-cr "$expected" "$observed" > /dev/null ); then
+		echo "FAILED (output differs from expected)"
+		echo "    Diff was:"
+		diff --strip-trailing-cr -u \
+			--label 'Expected output' --label 'Actual output' \
+			"$expected" "$observed" | head -n200 | sed -e 's/^/        /'
+		echo "        ..."
+		broken=1
+	else
+		echo "ok"
+		rm -f "$observed"
+	fi
+fi
+
+if test -n "$broken"; then
+	echo
+	echo "The full output file(s) produced by Regina are in the directory:"
+	echo "    $testoutdir"
+	exit 1
+else
+	rmdir "$testoutdir"
+fi
+
+echo
+echo "Test passed!"
+exit 0

regina/sageRegina/testsuite/testsub.in

@@ -0,0 +1,150 @@
+#!/bin/bash
+#
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Runner
+#
+# Copyright (c) 2007-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Usage: testsub
+#
+# Runs some simple tests to ensure that Regina's Python module is playing
+# nicely with Python subinterpreters.
+#
+# This script MUST be run from the python/testsuite directory in the
+# build tree.  It runs everything directly out of the build tree.
+# It does not require regina to be installed on the system (and indeed
+# it ignores any installation that it might find).
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# As an exception, when this program is distributed through (i) the
+# App Store by Apple Inc.; (ii) the Mac App Store by Apple Inc.; or
+# (iii) Google Play by Google Inc., then that store may impose any
+# digital rights management, device limits and/or redistribution
+# restrictions that are required by its terms of service.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public
+# License along with this program; if not, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+set -e
+
+# To see the output, you need to run:
+#     make test ARGS="-V"
+
+executable=./basic_sub
+testdir='@BASH_CMAKE_SOURCE_DIR@/python/testsuite'
+testoutdir=`mktemp -d -t regina.XXX`
+
+# REGINA_HOME can be deduced from the executable path, but on Windows this
+# deduction gives the wrong style of path (windows vs unix style) for use
+# with the embedded basic Python interpreter.  Fix it explicitly here.
+export REGINA_HOME=../../engine
+
+echo "---------------------------------------------------"
+echo "Testing python bindings in embedded subinterpreters"
+echo "---------------------------------------------------"
+echo
+
+if ! test -f ../../CMakeCache.txt -a -f "$executable"; then
+	echo "ERROR: You do not appear to be within the python/testsuite directory"
+	echo "       in the build tree.  This script must be run from directly"
+	echo "       within the build tree (where you ran cmake)."
+	echo "       Please change into the python/testsuite directory in the"
+	echo "       build tree and try again."
+	exit 1
+fi
+
+# Make sure Python will be able to import regina.
+os='@CMAKE_SYSTEM_NAME@'
+case "$os" in
+	Darwin )
+		export DYLD_LIBRARY_PATH="../../engine:$DYLD_LIBRARY_PATH"
+		export PYTHONPATH="..:$PYTHONPATH"
+		;;
+	Windows )
+		# The PYTHONHOME directory is incorrectly hard-coded in msys2.
+		# Work out the correct value by asking the python interpreter directly.
+		PYTHON='@BASH_Python_EXECUTABLE@'
+		if [ ! -e "$PYTHON" ]; then
+			echo "ERROR: Python interpreter not found: $PYTHON"
+			exit 1
+		fi
+		export PYTHONHOME="`"$PYTHON" -c 'import sys; print(sys.prefix)'`"
+		if [ ! -d "$PYTHONHOME" ]; then
+			echo "ERROR: Python home not found: $PYTHONHOME"
+			exit 1
+		fi
+
+		export PATH="../../engine:$PATH"
+		export PYTHONPATH="..;$PYTHONPATH"
+		;;
+	* )
+		export LD_LIBRARY_PATH="../../engine:$LD_LIBRARY_PATH"
+		export PYTHONPATH="..:$PYTHONPATH"
+		;;
+esac
+
+expected="$testdir/basic_sub.out"
+observed="$testoutdir/basic_sub.out"
+
+# Since we have "set -e", we need "&& dummy=" to prevent this line to
+# just exit the bash script when the test has non-zero exit code.
+# We use && as opposed to || in order to preserve the exit code from
+# the first command.
+#
+# The code that unsets TERM fixes an issue seen some years ago on
+# Fedora, where (as a result of a more exotic TERM setting) unprintable
+# characters were being dumped at the beginning of the python output.
+#
+echo -n "Running subinterpreter test ... "
+TERM= PYTHONIOENCODING=utf8 "$executable" > "$observed" 2>&1 && dummy=
+
+# Catch exitcode.
+exitcode=$?
+
+# Branch based on exit code.
+broken=
+if [ "$exitcode" -ne 0 ];  then
+	echo "FAILED (exit code $exitcode)"
+	echo "    Output was:"
+	echo "        ..."
+	tail -n 5 $observed | sed -e 's/^/        /'
+	broken=1
+else
+	if ! ( diff --strip-trailing-cr "$expected" "$observed" > /dev/null ); then
+		echo "FAILED (output differs from expected)"
+		echo "    Diff was:"
+		diff --strip-trailing-cr -u \
+			--label 'Expected output' --label 'Actual output' \
+			"$expected" "$observed" | head -n200 | sed -e 's/^/        /'
+		echo "        ..."
+		broken=1
+	else
+		echo "ok"
+		rm -f "$observed"
+	fi
+fi
+
+if test -n "$broken"; then
+	echo
+	echo "The full output file(s) produced by Regina are in the directory:"
+	echo "    $testoutdir"
+	exit 1
+else
+	rmdir "$testoutdir"
+fi
+
+echo
+echo "Test passed!"
+exit 0

regina/sageRegina/testsuite/theta_in_solid_torus.orb

@@ -0,0 +1,65 @@
+% orb
+theta_in_solid_torus
+SolutionType geometric_solution
+vertices_known
+
+  1  0 1.000  1  1  4xu  3uw  1wx  2wx
+  2  3 0.000  3  2  4wv  1uv
+  3  1 0.000  3  2  2vu
+  4  2 0.000  2  3  3xv
+  5  0 1.000  1  3  4xv  3vw  3wx  4wx  1wv  2vx  2xu  1uw
+  6  0 1.000  1  2  4vu  1xu  3xu  3uv  1vx  4uw  2uw  2wv
+
+  1  -53.3333333333333570    0.0000000000000080    0.0000000000000080    1.5707963267948968    1.5707963267948968    1.5707963267948968    1.5707963267948968
+  2   -0.7655364486149963    0.7655364486149963    0.7655364486149961    0.0000000000000000    0.0000000000000000
+  3   -0.7655364486149963    0.7655364486149963    0.7655364486149961    0.0000000000000000
+  4   -0.7655364486149963    0.7655364486149961    0.7655364486149963    0.0000000000000000
+  5   -4.5182192616560677    0.0000000000000080    0.7655364486149963    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484
+  6   -4.5182192616560677    0.0000000000000080    0.7655364486149961    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484    0.7853981633974484
+
+  1    1  0  0  0 -1  1  0  0   -1  1  0  0  2 -2  0  0    0 -1  0  0 -1  1  0  0    0  0  0  0  0  0  0  0
+  2    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+  3    0  0  0  0  0  0  0  0
+  4    0  0  0  0  0  0  0  0
+  5    0  0  0  0  0  0  0  0   -1  0  0  0  1  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0 -1  0  0  0    1  0  0  0 -1  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  1  0  0  0    0  0  0  0  0  0  0  0
+  6    0  0  0  0 -1  0  0  0    0  0  0  0  1  0  0  0    1  0  0  0 -2  0  0  0    0  0  0  0  1  0  0  0    0  0  0  0  0  0  0  0   -1  0  0  0  2  0  0  0    0  0  0  0 -1  0  0  0    0  0  0  0  0  0  0  0
+
+14
+0	136	118
+1	345	127
+2	317	387
+3	197	339
+4	82	344
+5	93	163
+6	296	164
+7	275	264
+8	196	309
+9	127	250
+10	262	207
+11	246	235
+12	365	257
+13	402	223
+
+15
+0	0	1	0
+1	1	2	0
+2	2	3	0
+3	3	4	0
+4	4	5	0
+5	5	6	0
+6	6	7	0
+7	7	8	0
+8	8	9	0
+9	9	0	0
+10	8	3	0
+11	10	11	1
+12	11	12	1
+13	12	13	1
+14	13	10	1
+
+5
+0	132	163	5	9	0.196642	0.657601
+1	331	250	12	1	0.719863	0.476296
+2	279	241	12	6	0.283854	0.772448
+3	335	215	1	14	0.339991	0.475141
+4	286	209	6	14	0.457868	0.825823

regina/sageRegina/testsuite/tightencode.out

@@ -0,0 +1,40 @@
+M
+!
+z
+~!
+~M
+~N
+~z
+|!!
+|zM
+|!N
+|zz
+}!!!
+}zzM
+}!!N
+}zzz
+{z}
+{N}
+{"}
+{M}
+{z"}
+{N"}
+{!"}
+{M"}
+{+5p4(lG]&IOQRD6RDt%["}
+{X5p4(lG]&IOQRD6RDt%["}
+{}
+{}
+MM
+NM
+zM
+~NM
+~zM
+|!NM
+|zzM
+}!!NM
+}zzzM
+{"}M
+{M}M
+{!"}M
+{M"}M

regina/sageRegina/testsuite/tightencode.test

@@ -0,0 +1,108 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2015-2023, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Tests the tightEncode() functions.
+#
+# This file is a single component of Regina's python test suite.  To run
+# the python test suite, move to the main python directory in the source
+# tree and run "make check".
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# As an exception, when this program is distributed through (i) the
+# App Store by Apple Inc.; (ii) the Mac App Store by Apple Inc.; or
+# (iii) Google Play by Google Inc., then that store may impose any
+# digital rights management, device limits and/or redistribution
+# restrictions that are required by its terms of service.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public
+# License along with this program; if not, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+def doLong(val):
+	enc = tightEncoding(val)
+	print(enc)
+	for i in [ tightEncoding(Integer(val)), tightEncoding(LargeInteger(val)),
+			Integer(val).tightEncoding(), LargeInteger(val).tightEncoding() ]:
+		if i != enc:
+			print("ERROR: Inconsistent encodings")
+	if tightDecoding(enc) != val:
+		print("ERROR: Inconsistent decoding")
+
+def doLarge(val):
+	enc = tightEncoding(Integer(val))
+	print(enc)
+	for i in [ tightEncoding(Integer(val)), tightEncoding(LargeInteger(val)),
+			Integer(val).tightEncoding(), LargeInteger(val).tightEncoding() ]:
+		if i != enc:
+			print("ERROR: Inconsistent encodings")
+	if str(tightDecoding(enc)) != val:
+		print("ERROR: Inconsistent decoding")
+
+def doUnsigned(val):
+	# We can test encodings for unsigned types via AbelianGroup,
+	# which stores the rank as an unsigned integer.
+	a = AbelianGroup(val)
+	print(a.tightEncoding())
+
+doLong(0)
+doLong(-44)
+doLong(45)
+
+doLong(-89)
+doLong(-45)
+doLong(46)
+doLong(90)
+
+doLong(-4139)
+doLong(-90)
+doLong(91)
+doLong(4140)
+
+doLong(-368639)
+doLong(-4140)
+doLong(4141)
+doLong(368640)
+
+doLong(-368684)
+doLong(-368640)
+doLong(368641)
+doLong(368684)
+
+doLong(-368729)
+doLong(-368685)
+doLong(368685)
+doLong(368729)
+
+doLarge('1000000000000000000000000000000000000000')
+doLarge('-1000000000000000000000000000000000000000')
+
+print(tightEncoding(LargeInteger.infinity))
+print(LargeInteger.infinity.tightEncoding())
+
+doUnsigned(0)
+doUnsigned(1)
+doUnsigned(45)
+doUnsigned(46)
+doUnsigned(90)
+doUnsigned(91)
+doUnsigned(4140)
+doUnsigned(4141)
+doUnsigned(368640)
+doUnsigned(368641)
+doUnsigned(368684)
+doUnsigned(368685)
+doUnsigned(368729)
+

regina/sageRegina/testsuite/treedecomp.out

@@ -0,0 +1,135 @@
+Tree decomposition: width 4, size 5
+Bag 4 [1]: 4
+  Bag 3 [2]: 3 4
+    Bag 2 [3]: 2 3 4
+      Bag 1 [4]: 1 2 3 4
+        Bag 0 [5]: 0 1 2 3 4
+
+Tree decomposition: width 4, size 10
+Bag 9 [0]:
+  Bag 8 [1]: 0
+    Bag 7 [2]: 0 1
+      Bag 6 [3]: 0 1 2
+        Bag 5 [4]: 0 1 2 3
+          Bag 4 [5]: 0 1 2 3 4
+            Bag 3 [4]: 0 1 2 3
+              Bag 2 [3]: 0 1 2
+                Bag 1 [2]: 0 1
+                  Bag 0 [1]: 0
+
+Tree decomposition: width 4, size 5
+Bag 4 [1]: 4
+  Bag 3 [2]: 3 4
+    Bag 2 [3]: 2 3 4
+      Bag 1 [4]: 1 2 3 4
+        Bag 0 [5]: 0 1 2 3 4
+
+Tree decomposition: width 4, size 10
+Bag 9 [0]:
+  Bag 8 [1]: 0
+    Bag 7 [2]: 0 1
+      Bag 6 [3]: 0 1 2
+        Bag 5 [4]: 0 1 2 3
+          Bag 4 [5]: 0 1 2 3 4
+            Bag 3 [4]: 0 1 2 3
+              Bag 2 [3]: 0 1 2
+                Bag 1 [2]: 0 1
+                  Bag 0 [1]: 0
+
+Tree decomposition: width 4, size 5
+Bag 4 [1]: 4
+  Bag 3 [2]: 3 4
+    Bag 2 [3]: 2 3 4
+      Bag 1 [4]: 1 2 3 4
+        Bag 0 [5]: 0 1 2 3 4
+
+Tree decomposition: width 4, size 10
+Bag 9 [0]:
+  Bag 8 [1]: 2
+    Bag 7 [2]: 1 2
+      Bag 6 [3]: 0 1 2
+        Bag 5 [4]: 0 1 2 3
+          Bag 4 [5]: 0 1 2 3 4
+            Bag 3 [4]: 0 1 2 3
+              Bag 2 [3]: 0 1 2
+                Bag 1 [2]: 0 1
+                  Bag 0 [1]: 0
+
+Tree decomposition: width 2, size 11
+Bag 10 [1]: 10
+  Bag 9 [2]: 9 10
+    Bag 8 [2]: 8 9
+      Bag 7 [2]: 7 8
+        Bag 6 [2]: 2 7
+          Bag 5 [3]: 0 2 7
+            Bag 4 [3]: 0 1 2
+              Bag 1 [3]: 1 2 5
+                Bag 0 [2]: 5 6
+              Bag 3 [3]: 0 1 3
+                Bag 2 [2]: 3 4
+
+Tree decomposition: width 2, size 11
+Bag 10 [2]: 3 4
+  Bag 9 [3]: 0 1 3
+    Bag 8 [3]: 0 1 2
+      Bag 5 [3]: 0 2 7
+        Bag 4 [2]: 2 7
+          Bag 3 [2]: 7 8
+            Bag 2 [2]: 8 9
+              Bag 1 [2]: 9 10
+                Bag 0 [1]: 10
+      Bag 7 [3]: 1 2 5
+        Bag 6 [2]: 5 6
+
+Tree decomposition: width 2, size 11
+Bag 10 [1]: 10
+  Bag 9 [2]: 9 10
+    Bag 8 [2]: 8 9
+      Bag 7 [2]: 7 8
+        Bag 6 [2]: 2 7
+          Bag 5 [3]: 0 2 7
+            Bag 4 [3]: 0 1 2
+              Bag 1 [3]: 1 2 5
+                Bag 0 [2]: 5 6
+              Bag 3 [3]: 0 1 3
+                Bag 2 [2]: 3 4
+
+Tree decomposition: width 2, size 11
+Bag 10 [2]: 3 4
+  Bag 9 [3]: 0 1 3
+    Bag 8 [3]: 0 1 2
+      Bag 5 [3]: 0 2 7
+        Bag 4 [2]: 2 7
+          Bag 3 [2]: 7 8
+            Bag 2 [2]: 8 9
+              Bag 1 [2]: 9 10
+                Bag 0 [1]: 10
+      Bag 7 [3]: 1 2 5
+        Bag 6 [2]: 5 6
+
+Tree decomposition: width 2, size 11
+Bag 10 [1]: 10
+  Bag 9 [2]: 9 10
+    Bag 8 [2]: 8 9
+      Bag 7 [2]: 7 8
+        Bag 6 [2]: 2 7
+          Bag 5 [3]: 0 2 7
+            Bag 4 [3]: 0 1 2
+              Bag 1 [3]: 1 2 5
+                Bag 0 [2]: 5 6
+              Bag 3 [3]: 0 1 3
+                Bag 2 [2]: 3 4
+
+Tree decomposition: width 2, size 11
+Bag 10 [3]: 0 2 7
+  Bag 4 [2]: 2 7
+    Bag 3 [2]: 7 8
+      Bag 2 [2]: 8 9
+        Bag 1 [2]: 9 10
+          Bag 0 [1]: 10
+  Bag 9 [3]: 0 1 2
+    Bag 6 [3]: 1 2 5
+      Bag 5 [2]: 5 6
+    Bag 8 [3]: 0 1 3
+      Bag 7 [2]: 3 4
+