regina 7.3.1.1__cp311-cp311-macosx_10_9_x86_64.whl

regina/sageRegina/testsuite/plantri.out

@@ -0,0 +1,12 @@
+bbcc,ccaa,aabb
+bbcc,acca,abba
+bccccabba
+bdcb,acda,ddba,ccab
+bbcd,adca,abdd,accb
+bcddcabddccb
+bedb,eaac,debd,caec,abcd
+bbcd,adea,aeed,aceb,bdcc
+bcddeaeedcebdcc
+bxVh,cpag,dpbf,eoce,dfHd,Mecg,qfbh,qgai,jqhr,kqir,slMj,mMkt,nHlu,oHmv,wpdn,coxb,jghi,sjiy,ytkr,ulsz,vmtA,wnuB,Cxov,pwDa,Nzsr,AtyN,BuzG,CvAG,FDwB,xCEE,FRDD,GIEC,ALFB,Mmne,LJRF,KKQI,LPJJ,GOKI,klHf,SOzy,PLNS,QKOT,JPTR,IQVE,UTON,UQPS,VVTS,aRUU
+bbcd,aefa,afgh,ahie,bdij,bjkc,cklm,cmnd,dope,epqf,frsg,gstu,guuh,hvoo,innp,ioqj,jpwx,kxys,krzl,lzAB,lBmm,nBCD,qEFx,qwGr,rGHz,syIt,tIJK,tKvu,vKLM,vMNO,wOPF,wEQG,xFRy,yRSI,zHSA,ATTL,ALCB,CKJU,CUND,DMPO,DNPE,EONQ,FPVR,GQVH,HVTI,JSUJ,LTVM,QUSR
+bcdefafghhiedijjkcklmmndopepqfrsgstuuuhvoonnpoqjpwxxysrzlzABBmmBCDEFxwGrGHzyItIJKKvuKLMMNOOPFEQGFRyRSIHSATTLLCBKJUUNDMPONPEONQPVRQVHVTISUJTVMUSR

regina/sageRegina/testsuite/plantri.test

@@ -0,0 +1,60 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2023, 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+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/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,61 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2023, 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+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,128 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2007-2023, 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+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(), NS_QUAD)
+
+for s in n:
+	s.setName('foo')
+
+for s in n:
+	print(s.name())
+
+print()
+