regina 7.4.1__cp314-cp314-macosx_10_13_x86_64.whl

regina/sageRegina/testsuite/plantri.test

@@ -0,0 +1,58 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Provides tests for plantri format encodings and decodings.
+#
+# 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, see <https://www.gnu.org/licenses/>.
+
+def looksIsomorphic(g, h):
+	if g.size() != h.size():
+		return False
+	if g.canonicalPlantri() != h.canonicalPlantri():
+		return False
+	return True
+
+def test(g):
+	a = g.plantri()
+	b = g.canonicalPlantri()
+	c = g.canonicalPlantri(True, True)
+	
+	print(a)
+	print(b)
+	print(c)
+	
+	if ModelLinkGraph.fromPlantri(a) != g:
+		print('Plantri decoding failed!')
+	if not looksIsomorphic(ModelLinkGraph.fromPlantri(b), g):
+		print('Canonical plantri decoding failed!')
+	if not looksIsomorphic(ModelLinkGraph.fromPlantri(c), g):
+		print('Tight canonical plantri decoding failed!')
+
+test(ExampleLink.trefoil().graph())
+test(ExampleLink.figureEight().graph())
+test(ExampleLink.whitehead().graph())
+test(ExampleLink.gst().graph())

regina/sageRegina/testsuite/poincare.tri

@@ -0,0 +1,55 @@
+% Triangulation
+
+Poincaré
+no_solution 0.0
+unknown_orientability
+CS_unknown
+
+0 0
+
+5
+
+1 2 3 4
+0321 3012 3201 3120
+-1 -1 -1 -1
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0.0 0.0
+
+0 2 4 3
+0321 2103 2310 2031
+-1 -1 -1 -1
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0.0 0.0
+
+0 1 3 4
+1230 2103 1230 3012
+-1 -1 -1 -1
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0.0 0.0
+
+0 1 4 2
+2310 1302 1230 3012
+-1 -1 -1 -1
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0.0 0.0
+
+0 1 2 3
+3120 3201 1230 3012
+-1 -1 -1 -1
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+0.0 0.0

regina/sageRegina/testsuite/presentations.out

@@ -0,0 +1,11 @@
+g0^7 g3 g1^-2 g3^-1
+g3 g1^2 g3^-1 g0^-7
+g3 g1^2 g3^-1 g0^-7 g3 g1^2 g3^-1 g0^-7
+g3 g1^2 g3^-1 g0^-7
+1
+g0^7 g3 g1^-2 g3^-1
+g0^7 g3 g1^-2 g3^-1 g0^7 g3 g1^-2 g3^-1
+g0^7 g4^-1 g6 g1^-2 g6^-1 g4
+g0 g1^-1 g0 g1^-1 g0 g1^-1 g0 g1^-1 g0 g1^-1 g0 g1^-1 g0 g1^-1 g0 g5 g2^-2 g5^-1 g0^-1
+g4^-2 g5 g0^7 g3 g1^-2 g3^-1 g2^2 g3^-1
+g0^7 g3 g1^-2 g3^-1 g0^7 g3 g1^-2 g3^-1 g0^7 g3 g1^-2 g3^-1 g0^7 g3 g1^-2 g3^-1

regina/sageRegina/testsuite/presentations.test

@@ -0,0 +1,59 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Provides various tests for group presentation.
+#
+# 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
+#
+# 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.
+# License, or (at your option) any later version.
+#
+# 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, see <https://www.gnu.org/licenses/>.
+
+e = GroupExpression('a^7dB^2D')
+print(e)
+print(e.inverse())
+print(e.power(-2))
+print(e.power(-1))
+print(e.power(0))
+print(e.power(1))
+print(e.power(2))
+dummy = e.substitute(3, GroupExpression('Eg'))
+print(e)
+dummy = e.substitute([GroupExpression('aB'), \
+                      GroupExpression('c'), \
+                      GroupExpression(''), \
+                      GroupExpression('B^2'), \
+                      GroupExpression('A'), \
+                      GroupExpression('g'), \
+                      GroupExpression('f')])
+print(e)
+
+e = GroupExpression('a^7dB^2D')
+e.addTermsLast(GroupExpression('c^2D'))
+e.addTermsFirst(GroupExpression('E^2f'))
+print(e)
+
+e = GroupExpression('a^7dB^2D')
+e.addTermsFirst(e)
+e.addTermsLast(e)
+print(e)

regina/sageRegina/testsuite/refs.out

@@ -0,0 +1,51 @@
+( 1 2 3 4 )
+( 1 2 -3 4 )
+( 1 2 -3 5 )
+
+( 1 2 3 4 )
+( 1 2 inf 4 )
+( 1 2 inf 5 )
+
+1 2
+3 4
+
+1 -2
+3 4
+
+1 -2
+3 5
+
+5 x^3 + 4 x^2 + 3 x + 2
+5 x^3 + 4 x^2 + 3 x + 2
+5 x^3 + 4 x^2 + 3 x + 2
+5 x^3 + 4 x^2 + 7 x + 2
+
+5 x^2 + 4 x + 3 + 2 x^-1
+5 x^2 + 4 x + 3 + 2 x^-1
+5 x^2 + 7 x + 3 + 2 x^-1
+
+x^2 y^3
+x^2 y^3
+7 x^2 y^3
+
+5 x + 2
+4 x + 2
+-4 x + 2
+
+g0 g1 g0^-1 g1 g0 g1^-1
+g0^2 g1 g0^-1 g1 g0 g1^-1
+g0^3 g1 g0^-1 g1 g0 g1^-1
+g0^4 g1 g0^-1 g1 g0 g1^-1
+g0^5 g1 g0^-1 g1 g0 g1^-1
+
+g0^5 g1 g0^-1 g1 g0 g1^-1
+g0^6 g1 g0^-1 g1 g0 g1^-1
+
+g0^6
+g0^7
+
+foo
+foo
+foo
+foo
+

regina/sageRegina/testsuite/refs.test

@@ -0,0 +1,126 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Provides tests for passing by value vs reference.
+#
+# 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, see <https://www.gnu.org/licenses/>.
+
+v = VectorInt([1,2,3,4])
+print(v)
+v[2].negate()
+print(v)
+v[3] = 5
+print(v)
+print()
+
+v = VectorLarge([1,2,3,4])
+print(v)
+v[2].makeInfinite()
+print(v)
+v[3] = 5
+print(v)
+print()
+
+m = MatrixInt([[1,2], [3,4]])
+print(m.detail())
+m.entry(0,1).negate()
+print(m.detail())
+# The following line does not even compile:
+# m.entry(1,1) = 3 # should not work
+m.set(1,1,5)
+print(m.detail())
+
+p = Polynomial([2,3,4,5])
+print(p)
+p.leading().negate() # should do nothing due to constness
+print(p)
+p[2].negate() # should do nothing due to constness
+print(p)
+p[1] = 7; # should work
+print(p)
+print()
+
+p = Laurent(-1, [2,3,4,5])
+print(p)
+p[1].negate() # should do nothing due to constness
+print(p)
+p[1] = 7; # should work
+print(p)
+print()
+
+p = Laurent2(2,3)
+print(p)
+p[2,3].negate() # should do nothing due to constness
+print(p)
+p[2,3] = 7; # should work
+print(p)
+print()
+
+p = Cyclotomic(3, [2, 5])
+print(p)
+p[1] = 4
+print(p)
+p[1].negate()
+print(p)
+print()
+
+g = Example3.poincare().fundamentalGroup()
+
+print(g.relation(0))
+g.relation(0).term(0).exponent = 2
+print(g.relation(0))
+g.relation(0).terms()[0].exponent = 3
+print(g.relation(0))
+g.relations()[0].term(0).exponent = 4
+print(g.relation(0))
+g.relations()[0].terms()[0].exponent = 5
+print(g.relation(0))
+print()
+
+r = g.relations()[0]
+print(r)
+g.relation(0).term(0).exponent = 6
+print(r)
+r = None
+print()
+
+t = g.relation(0).terms()[0]
+print(t)
+g.relation(0).term(0).exponent = 7
+print(t)
+print()
+
+n = NormalSurfaces(Example3.figureEight(), NormalCoords.Quad)
+
+for s in n:
+	s.setName('foo')
+
+for s in n:
+	print(s.name())
+
+print()
+