regina 7.4.1__cp314-cp314-macosx_10_13_x86_64.whl

regina/sageRegina/testsuite/file.test

@@ -0,0 +1,68 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2011-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Tests support for the modern XML file format
+#
+# 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/>.
+
+# Fetch the python/testsuite path in the source tree, since we will need
+# to access external files.
+import sys
+if (len(sys.argv) > 1):
+	testpath = sys.argv[1]
+else:
+	testpath = '.'
+
+# A routine that performs essentially the same tasks as regfiledump.
+def dump(tree):
+	if tree == None:
+		print('ERROR: Null packet tree.')
+		return
+
+	p = tree
+	while p != None:
+		print('************************************************************')
+		print('*')
+		print('* Label: ' + p.label())
+		print('* Type: ' + p.typeName())
+		if p.parent() == None:
+			print('* Parent: (none)')
+		else:
+			print('* Parent: ' + p.parent().label())
+		print('*')
+		print('************************************************************')
+		print()
+		print(p.detail())
+		print()
+
+		p = p.nextTreePacket()
+
+# Load and dump some files created by different versions of regina.
+dump(regina.open(testpath + '/file1.rga'))
+dump(regina.open(testpath + '/file2.rga'))
+dump(regina.open(testpath + '/file3.rga'))
+

regina/sageRegina/testsuite/file3.rga

@@ -0,0 +1,119 @@
+<?xml version="1.0"?>
+<reginadata engine="5.0">
+<packet label="Root"
+	type="Container" typeid="1"
+	parent="">
+<packet label="2-D"
+	type="2-Manifold Triangulation" typeid="15"
+	parent="Root">
+  <triangles ntriangles="2">
+    <triangle desc=""> 1 4 -1 -1 1 2 </triangle>
+    <triangle desc=""> 0 4 -1 -1 0 2 </triangle>
+  </triangles>
+</packet> <!-- 2_D (2_Manifold Triangulation) -->
+<packet label="3-D"
+	type="3-Manifold Triangulation" typeid="3"
+	parent="Root">
+  <tetrahedra ntet="2">
+    <tet desc=""> 1 147 -1 -1 -1 -1 1 57 </tet>
+    <tet desc=""> 0 147 -1 -1 -1 -1 0 57 </tet>
+  </tetrahedra>
+</packet> <!-- 3_D (3_Manifold Triangulation) -->
+<packet label="4-D"
+	type="4-Manifold Triangulation" typeid="11"
+	parent="Root">
+  <pentachora npent="2">
+    <pent desc=""> 1 13380 -1 -1 -1 -1 -1 -1 1 2257 </pent>
+    <pent desc=""> 0 13380 -1 -1 -1 -1 -1 -1 0 2257 </pent>
+  </pentachora>
+</packet> <!-- 4_D (4_Manifold Triangulation) -->
+<packet label="5-D"
+	type="5-Manifold Triangulation" typeid="105"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 144453 -1 -1 -1 -1 -1 -1 -1 -1 1 22737 </simplex>
+    <simplex desc=""> 0 144453 -1 -1 -1 -1 -1 -1 -1 -1 0 22737 </simplex>
+  </simplices>
+</packet> <!-- 5_D (5_Manifold Triangulation) -->
+<packet label="6-D"
+	type="6-Manifold Triangulation" typeid="106"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 1455174 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 219345 </simplex>
+    <simplex desc=""> 0 1455174 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 219345 </simplex>
+  </simplices>
+</packet> <!-- 6_D (6_Manifold Triangulation) -->
+<packet label="7-D"
+	type="7-Manifold Triangulation" typeid="107"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 14038087 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 2054353 </simplex>
+    <simplex desc=""> 0 14038087 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 2054353 </simplex>
+  </simplices>
+</packet> <!-- 7_D (7_Manifold Triangulation) -->
+<packet label="8-D"
+	type="8-Manifold Triangulation" typeid="108"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 31763669256 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 2271560481 </simplex>
+    <simplex desc=""> 0 31763669256 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 2271560481 </simplex>
+  </simplices>
+</packet> <!-- 8_D (8_Manifold Triangulation) -->
+<packet label="9-D"
+	type="9-Manifold Triangulation" typeid="109"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 581519483145 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 40926266145 </simplex>
+    <simplex desc=""> 0 581519483145 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 40926266145 </simplex>
+  </simplices>
+</packet> <!-- 9_D (9_Manifold Triangulation) -->
+<packet label="10-D"
+	type="10-Manifold Triangulation" typeid="110"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 10477124133130 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 728121033505 </simplex>
+    <simplex desc=""> 0 10477124133130 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 728121033505 </simplex>
+  </simplices>
+</packet> <!-- 10_D (10_Manifold Triangulation) -->
+<packet label="11-D"
+	type="11-Manifold Triangulation" typeid="111"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 186398984577291 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 12822748939041 </simplex>
+    <simplex desc=""> 0 186398984577291 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 12822748939041 </simplex>
+  </simplices>
+</packet> <!-- 11_D (11_Manifold Triangulation) -->
+<packet label="12-D"
+	type="12-Manifold Triangulation" typeid="112"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 3282623728394508 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 223928981472033 </simplex>
+    <simplex desc=""> 0 3282623728394508 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 223928981472033 </simplex>
+  </simplices>
+</packet> <!-- 12_D (12_Manifold Triangulation) -->
+<packet label="13-D"
+	type="13-Manifold Triangulation" typeid="113"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 57325819256840461 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 3883103678710561 </simplex>
+    <simplex desc=""> 0 57325819256840461 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 3883103678710561 </simplex>
+  </simplices>
+</packet> <!-- 13_D (13_Manifold Triangulation) -->
+<packet label="14-D"
+	type="14-Manifold Triangulation" typeid="114"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 994074541749903630 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 66933498461897505 </simplex>
+    <simplex desc=""> 0 994074541749903630 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 66933498461897505 </simplex>
+  </simplices>
+</packet> <!-- 14_D (14_Manifold Triangulation) -->
+<packet label="15-D"
+	type="15-Manifold Triangulation" typeid="115"
+	parent="Root">
+  <simplices size="2">
+    <simplex desc=""> 1 17134975606245761295 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1147797409030816545 </simplex>
+    <simplex desc=""> 0 17134975606245761295 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 1147797409030816545 </simplex>
+  </simplices>
+</packet> <!-- 15_D (15_Manifold Triangulation) -->
+</packet> <!-- Root (Container) -->
+</reginadata>

regina/sageRegina/testsuite/flags.out

@@ -0,0 +1,38 @@
+CensusPurge.Nil -> False
+CensusPurge.Nil -> False
+CensusPurge.NonMinimal -> True
+CensusPurge.NonMinimal -> True
+AngleAlg.Default -> False
+AngleAlg.Default -> False
+AngleAlg.Tree -> True
+AngleAlg.Tree -> True
+HyperList.Default -> False
+HyperList.Default -> False
+HyperList.Vertex -> True
+HyperList.Vertex -> True
+HyperAlg.Default -> False
+HyperAlg.Default -> False
+HyperAlg.VertexDD -> True
+HyperAlg.VertexDD -> True
+NormalList.Default -> False
+NormalList.Default -> False
+NormalList.Fundamental -> True
+NormalList.Fundamental -> True
+NormalAlg.Default -> False
+NormalAlg.Default -> False
+NormalAlg.VertexTree -> True
+NormalAlg.VertexTree -> True
+SurfaceExport.Nil -> False
+SurfaceExport.Nil -> False
+SurfaceExport.Name -> True
+SurfaceExport.Name -> True
+NormalCoords.Standard -> True
+NormalCoords.Quad -> True
+TriangleType.Unknown -> True
+TriangleType.Parachute -> True
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, fundamental surfaces (Standard normal (tri-quad))
+39 embedded / immersed / singular, vertex surfaces (Standard normal (tri-quad))
+59 embedded / immersed / singular, fundamental surfaces (Standard normal (tri-quad))

regina/sageRegina/testsuite/flags.out.v2

@@ -0,0 +1,38 @@
+CensusPurge.Nil -> False
+0x00 -> False
+CensusPurge.NonMinimal -> True
+0x01 -> True
+AngleAlg.Default -> False
+0x0000 -> False
+AngleAlg.Tree -> True
+0x0010 -> True
+HyperList.Default -> False
+0x0000 -> False
+HyperList.Vertex -> True
+0x0004 -> True
+HyperAlg.Default -> False
+0x0000 -> False
+HyperAlg.VertexDD -> True
+0x0020 -> True
+NormalList.Default -> False
+0x0000 -> False
+NormalList.Fundamental -> True
+0x0008 -> True
+NormalAlg.Default -> False
+0x0000 -> False
+NormalAlg.VertexTree -> True
+0x0010 -> True
+SurfaceExport.Nil -> False
+0x0000 -> False
+SurfaceExport.Name -> True
+0x0001 -> True
+NormalCoords.Standard -> True
+NormalCoords.Quad -> True
+TriangleType.Unknown -> True
+TriangleType.Parachute -> True
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, vertex surfaces (Standard normal (tri-quad))
+9 embedded, fundamental surfaces (Standard normal (tri-quad))
+39 embedded / immersed / singular, vertex surfaces (Standard normal (tri-quad))
+59 embedded / immersed / singular, fundamental surfaces (Standard normal (tri-quad))

regina/sageRegina/testsuite/flags.test

@@ -0,0 +1,81 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2023-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Tests flags and flag sets.
+#
+# 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 evalObj(x):
+	if x:
+		print(x, '-> True')
+	else:
+		print(x, '-> False')
+
+def evalFlag(x):
+	# Evaluate as a raw enum value:
+	evalObj(x)
+	
+	# Evaluate as a rich flags object:
+	evalObj(x | x)
+
+evalFlag(regina.CensusPurge.Nil)
+evalFlag(regina.CensusPurge.NonMinimal)
+
+evalFlag(regina.AngleAlg.Default)
+evalFlag(regina.AngleAlg.Tree)
+
+evalFlag(regina.HyperList.Default)
+evalFlag(regina.HyperList.Vertex)
+
+evalFlag(regina.HyperAlg.Default)
+evalFlag(regina.HyperAlg.VertexDD)
+
+evalFlag(regina.NormalList.Default)
+evalFlag(regina.NormalList.Fundamental)
+
+evalFlag(regina.NormalAlg.Default)
+evalFlag(regina.NormalAlg.VertexTree)
+
+evalFlag(regina.SurfaceExport.Nil)
+evalFlag(regina.SurfaceExport.Name)
+
+# Some enum types that are NOT intended to be used as flags:
+
+evalObj(regina.NormalCoords.Standard)            # value is zero
+evalObj(regina.NormalCoords.Quad)                # value is non-zero
+evalObj(regina.Triangle3.Type.Unknown)           # value is zero
+evalObj(regina.Triangle3.Type.Parachute)         # value is non-zero
+
+# Verify that boolean combinations of flags are behaving as expected:
+
+t = Example3.lst(3,4)
+print(NormalSurfaces(t, NormalCoords.Standard))
+print(NormalSurfaces(t, NormalCoords.Standard, NormalList.Default))
+print(NormalSurfaces(t, NormalCoords.Standard, NormalList.Vertex))
+print(NormalSurfaces(t, NormalCoords.Standard, NormalList.Fundamental))
+print(NormalSurfaces(t, NormalCoords.Standard, NormalList.Vertex | NormalList.ImmersedSingular))
+print(NormalSurfaces(t, NormalCoords.Standard, NormalList.Fundamental | NormalList.ImmersedSingular))

regina/sageRegina/testsuite/flype.out

@@ -0,0 +1,37 @@
+0 0 cdbb,dcaa,ddab,ccba
+0 2 bbdc,daac,dbad,cabc
+1 0 cdbb,dcaa,ddab,ccba
+1 2 cbbd,aacd,dbad,cabc
+2 1 bcdb,adca,abdd,accb
+2 3 bbdc,aacd,ddba,abcc
+3 1 bcdb,adca,bdda,bacc
+3 3 bbdc,aacd,badd,ccab
+
+0 0 cebb,aaed,dead,cbec,bacd
+0 2 bbec,adea,ddae,cceb,bdca
+1 0 cbbe,aade,ddae,cceb,bdca
+1 2 cebb,edaa,dead,cbec,bacd
+2 0 becb,eaad,aedd,ebcc,abdc
+2 2 bbce,edaa,ddea,eccb,acdb
+3 0 becb,eaad,aedd,ebcc,abdc
+3 2 bbce,edaa,adde,ccbe,acdb
+4 1 bbec,deaa,daed,cebc,dcab
+4 3 bceb,daae,ddea,ccbe,bacd
+
+3 0 bxVh,cpag,epbf,fHee,ocdd,Mdcg,qfbh,qgai,jqhr,kqir,slMj,mMkt,nHlu,oHmv,wpen,coxb,jghi,sjiy,ytkr,ulsz,vmtA,wnuB,Cxov,pwDa,Nzsr,AtyN,BuzG,CvAG,FDwB,xCEE,FRDD,GIEC,ALFB,Mmnd,LJRF,KKQI,LPJJ,GOKI,klHf,SOzy,PLNS,QKOT,JPTR,IQVE,UTON,UQPS,VVTS,aRUU
+3 2 bhVx,cgap,efbp,eeHf,oddc,Mgcd,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wnep,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Mdnm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IEVQ,UNOT,USPQ,VSTV,aUUR
+4 0 bxVh,cpag,epbf,fHee,ocdd,Mdcg,qfbh,qgai,jqhr,kqir,slMj,mMkt,nHlu,oHmv,wpen,coxb,jghi,sjiy,ytkr,ulsz,vmtA,wnuB,Cxov,pwDa,Nzsr,AtyN,BuzG,CvAG,FDwB,xCEE,FRDD,GIEC,ALFB,Mmnd,LJRF,KKQI,LPJJ,GOKI,klHf,SOzy,PLNS,QKOT,JPTR,IQVE,UTON,UQPS,VVTS,aRUU
+4 2 bhVx,cgap,efbp,feeH,ddco,Mgcd,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wnep,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Mdnm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IEVQ,UNOT,USPQ,VSTV,aUUR
+29 1 bhVx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paEw,Nrsz,ANyt,BGzu,CGAv,FBwE,EERF,DDCx,GCDI,ABFL,Menm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IDVQ,UNOT,USPQ,VSTV,aUUR
+29 3 bxVh,cpag,dpbf,eoce,dfHd,Mecg,qfbh,qgai,jqhr,kqir,slMj,mMkt,nHlu,oHmv,wpdn,coxb,jghi,sjiy,ytkr,ulsz,vmtA,wnuB,Cxov,pwEa,Nzsr,AtyN,BuzG,CvAG,FEwB,FREE,DxCD,GIDC,ALFB,Mmne,LJRF,KKQI,LPJJ,GOKI,klHf,SOzy,PLNS,QKOT,JPTR,IQVD,UTON,UQPS,VVTS,aRUU
+30 1 bhVx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paEw,Nrsz,ANyt,BGzu,CGAv,FBwE,EERF,DDCx,GCDI,ABFL,Menm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IDVQ,UNOT,USPQ,VSTV,aUUR
+30 3 bxVh,cpag,dpbf,eoce,dfHd,Mecg,qfbh,qgai,jqhr,kqir,slMj,mMkt,nHlu,oHmv,wpdn,coxb,jghi,sjiy,ytkr,ulsz,vmtA,wnuB,Cxov,pwEa,Nzsr,AtyN,BuzG,CvAG,FEwB,EFRE,xCDD,GIDC,ALFB,Mmne,LJRF,KKQI,LPJJ,GOKI,klHf,SOzy,PLNS,QKOT,JPTR,IQVD,UTON,UQPS,VVTS,aRUU
+35 1 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,LKRF,LPKK,JQIJ,GOJI,klHf,SOzy,PLNS,QJOT,KPTR,IQVE,UTON,UQPS,VVTS,aRUU
+35 3 bhVx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Menm,LFRK,KKPL,JJIQ,GIJO,kfHl,SyzO,PSNL,QTOJ,KRTP,IEVQ,UNOT,USPQ,VSTV,aUUR
+36 1 bhVx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Menm,LFRK,PLKK,JJIQ,GIJO,kfHl,SyzO,PSNL,QTOJ,KRTP,IEVQ,UNOT,USPQ,VSTV,aUUR
+36 3 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,LKRF,PKKL,QIJJ,GOJI,klHf,SOzy,PLNS,QJOT,KPTR,IQVE,UTON,UQPS,VVTS,aRUU
+46 1 bxUh,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,IQUE,VTON,VQPS,aRVV,UTSU
+46 3 bhUx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Menm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IEUQ,VNOT,VSPQ,VVRa,UUST
+47 1 bhUx,cgap,dfbp,eeco,ddHf,Mgce,qhbf,qiag,jrhq,kriq,sjMl,mtkM,nulH,ovmH,wndp,cbxo,jihg,syij,yrkt,uzsl,vAtm,wBun,Cvox,paDw,Nrsz,ANyt,BGzu,CGAv,FBwD,xEEC,FDDR,GCEI,ABFL,Menm,LFRJ,KIQK,LJJP,GIKO,kfHl,SyzO,PSNL,QTOK,JRTP,IEUQ,VNOT,VSPQ,RaVV,UUST
+47 3 bxUh,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,IQUE,VTON,VQPS,RVVa,TSUU
+

regina/sageRegina/testsuite/flype.test

@@ -0,0 +1,48 @@
+# 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 detailed tests for flypes on model link graphs.
+#
+# 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 test(g):
+	for n in g.nodes():
+		for i in range(4):
+			start = n.arc(i)
+			args = g.findFlype(start)
+			if args[0]:
+				f = g.flype(start, args[0], args[1])
+				if (g.size() <= 52):
+					s = f.plantri()
+				else:
+					s = str(f)
+				print(n.index(), i, s)
+	print()
+
+test(ExampleLink.figureEight().graph())
+test(ExampleLink.whitehead().graph())
+test(ExampleLink.gst().graph())

regina/sageRegina/testsuite/generic.out

@@ -0,0 +1,116 @@
+Triangulation: 5-D product #1
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 4
+
+Bounded orientable 5-D triangulation, f = ( 1 5 10 10 5 1 )
+
+  Simplex  |  gluing:      (01234)      (01235)      (01245)      (01345)      (02345)      (12345)
+  ---------+---------------------------------------------------------------------------------------
+        0  |             0 (12345)     boundary     boundary     boundary     boundary    0 (01234)
+
+
+Triangulation: 5-D product #2
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 8
+
+Bounded orientable 5-D triangulation, f = ( 2 10 20 20 10 2 )
+
+  Simplex  |  gluing:      (01234)      (01235)      (01245)      (01345)      (02345)      (12345)
+  ---------+---------------------------------------------------------------------------------------
+        0  |             1 (12345)     boundary     boundary     boundary     boundary    1 (01234)
+        1  |             0 (12345)     boundary     boundary     boundary     boundary    0 (01234)
+
+
+Triangulation: 6-D product #1
+
+Connected: True
+Orientable: False
+Oriented: False
+Boundary facets: 5
+
+Bounded non-orientable 6-D triangulation, f = ( 1 6 15 20 15 6 1 )
+
+  Simplex  |  gluing:      (012345)      (012346)      (012356)      (012456)      (013456)      (023456)      (123456)
+  ---------+-----------------------------------------------------------------------------------------------------------
+        0  |             0 (123456)      boundary      boundary      boundary      boundary      boundary    0 (012345)
+
+
+Triangulation: 6-D product #2
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 10
+
+Bounded orientable 6-D triangulation, f = ( 2 12 30 40 30 12 2 )
+
+  Simplex  |  gluing:      (012345)      (012346)      (012356)      (012456)      (013456)      (023456)      (123456)
+  ---------+-----------------------------------------------------------------------------------------------------------
+        0  |             1 (123456)      boundary      boundary      boundary      boundary      boundary    1 (012345)
+        1  |             0 (123456)      boundary      boundary      boundary      boundary      boundary    0 (012345)
+
+
+Triangulation: 7-D product #1
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 6
+
+Bounded orientable 7-D triangulation, f = ( 1 7 21 35 35 21 7 1 )
+
+  Simplex  |  gluing:      (0123456)      (0123457)      (0123467)      (0123567)      (0124567)      (0134567)      (0234567)      (1234567)
+  ---------+---------------------------------------------------------------------------------------------------------------------------------
+        0  |             0 (1234567)       boundary       boundary       boundary       boundary       boundary       boundary    0 (0123456)
+
+
+Triangulation: 7-D product #2
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 12
+
+Bounded orientable 7-D triangulation, f = ( 2 14 42 70 70 42 14 2 )
+
+  Simplex  |  gluing:      (0123456)      (0123457)      (0123467)      (0123567)      (0124567)      (0134567)      (0234567)      (1234567)
+  ---------+---------------------------------------------------------------------------------------------------------------------------------
+        0  |             1 (1234567)       boundary       boundary       boundary       boundary       boundary       boundary    1 (0123456)
+        1  |             0 (1234567)       boundary       boundary       boundary       boundary       boundary       boundary    0 (0123456)
+
+
+Triangulation: 8-D product #1
+
+Connected: True
+Orientable: False
+Oriented: False
+Boundary facets: 7
+
+Bounded non-orientable 8-D triangulation, f = ( 1 8 28 56 70 56 28 8 1 )
+
+  Simplex  |  gluing:      (01234567)      (01234568)      (01234578)      (01234678)      (01235678)      (01245678)      (01345678)      (02345678)      (12345678)
+  ---------+---------------------------------------------------------------------------------------------------------------------------------------------------------
+        0  |             0 (12345678)        boundary        boundary        boundary        boundary        boundary        boundary        boundary    0 (01234567)
+
+
+Triangulation: 8-D product #2
+
+Connected: True
+Orientable: True
+Oriented: True
+Boundary facets: 14
+
+Bounded orientable 8-D triangulation, f = ( 2 16 56 112 140 112 56 16 2 )
+
+  Simplex  |  gluing:      (01234567)      (01234568)      (01234578)      (01234678)      (01235678)      (01245678)      (01345678)      (02345678)      (12345678)
+  ---------+---------------------------------------------------------------------------------------------------------------------------------------------------------
+        0  |             1 (12345678)        boundary        boundary        boundary        boundary        boundary        boundary        boundary    1 (01234567)
+        1  |             0 (12345678)        boundary        boundary        boundary        boundary        boundary        boundary        boundary    0 (01234567)
+
+

regina/sageRegina/testsuite/generic.test

@@ -0,0 +1,74 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2015-2025, Ben Burton
+# For further details contact Ben Burton (bab@debian.org).
+#
+# Provides tests for high-dimensional triangulations.
+#
+# 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 product1(triClass, dim, permClass):
+    tri = triClass()
+    s = tri.newSimplex()
+    s.join(dim, s, permClass(list(range(1, dim+1)) + [0]))
+    return tri
+
+def product2(triClass, dim, permClass):
+    tri = triClass()
+    s = tri.newSimplex()
+    t = tri.newSimplex()
+    s.join(dim, t, permClass(list(range(1, dim+1)) + [0]))
+    t.join(dim, s, permClass(list(range(1, dim+1)) + [0]))
+    return tri
+
+def dump(tri, name):
+    print('Triangulation:', name)
+    print()
+    print('Connected:', tri.isConnected())
+    print('Orientable:', tri.isOrientable())
+    print('Oriented:', tri.isOrientable())
+    print('Boundary facets:', tri.countBoundaryFacets())
+    print()
+    print(tri.detail())
+
+def testDim(triClass, dim, permClass):
+    dump(product1(triClass, dim, permClass), str(dim) + '-D product #1')
+    dump(product2(triClass, dim, permClass), str(dim) + '-D product #2')
+
+#testDim(Triangulation2, 2, Perm3)
+#testDim(Triangulation3, 3, Perm4)
+#testDim(Triangulation4, 4, Perm5)
+testDim(Triangulation5, 5, Perm6)
+testDim(Triangulation6, 6, Perm7)
+testDim(Triangulation7, 7, Perm8)
+testDim(Triangulation8, 8, Perm9)
+#testDim(Triangulation9, 9, Perm10)
+#testDim(Triangulation10, 10, Perm11)
+#testDim(Triangulation11, 11, Perm12)
+#testDim(Triangulation12, 12, Perm13)
+#testDim(Triangulation13, 13, Perm14)
+#testDim(Triangulation14, 14, Perm15)
+#testDim(Triangulation15, 15, Perm16)
+