regina 7.3.1.1__cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

regina/sageRegina/testsuite/file.test

@@ -0,0 +1,70 @@
+# Regina - A Normal Surface Theory Calculator
+# Python Test Suite Component
+#
+# Copyright (c) 2011-2023, 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+# 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/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,50 @@
+# 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 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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  |  glued to:     (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,76 @@
+# 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).
+#
+# 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, write to the Free
+# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+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)
+

regina/sageRegina/testsuite/groups.out

@@ -0,0 +1,70 @@
+------------------------
+New marked abelian group
+------------------------
+
+Group: Z + Z_6 (Z^3 -> Z^5 -> Z^1)
+Free generators:
+0: ( -1 0 0 0 1 )
+Torsion generators:
+0: ( 3 -1 -1 0 -1 )
+
+------------------------
+New marked abelian group
+------------------------
+
+Group: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1)
+Free generators:
+0: ( -1 0 0 1 0 )
+1: ( -1 0 0 0 1 )
+Torsion generators:
+0: ( -1 1 0 0 0 )
+1: ( -3 0 1 1 1 )
+
+----------------
+New homomorphism
+----------------
+
+Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
+Kernel: Z + Z_2
+Cokernel: Z_5
+Image: Z + Z_6
+Reduced Matrix (torsion coordinates appear first):
+0 3 0 2
+0 0 5 0
+
+----------------
+New homomorphism
+----------------
+
+Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
+Kernel: Z + Z_2
+Cokernel: Z_15
+Image: Z + Z_2
+Reduced Matrix (torsion coordinates appear first):
+0 3 0 0
+0 0 10 15
+
+----------------
+New homomorphism
+----------------
+
+Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
+Kernel: 2 Z + Z_2
+Cokernel: Z
+Image: Z_6
+Reduced Matrix (torsion coordinates appear first):
+3 3 2 4
+0 0 0 0
+
+------------------------------------
+Miscellaneous vector representations
+------------------------------------
+
+Not in kernel
+( 0 6 )
+( 2 6 )
+( 4 6 )
+( 0 6 )
+Not in kernel
+( 1 1 4 2 )
+( 0 1 4 2 )

regina/sageRegina/testsuite/groups.test

@@ -0,0 +1,117 @@
+# 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 marked abelian groups.
+#
+# 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.
+
+def makeMatrix(values):
+	m = regina.MatrixInt(values)
+	return m
+
+def makeGroup(valuesM, valuesN):
+	return regina.MarkedAbelianGroup(
+		makeMatrix(valuesM),
+		makeMatrix(valuesN))
+
+def makeHom(domain, codomain, values):
+	return regina.HomMarkedAbelianGroup(
+		domain, codomain, makeMatrix(values))
+
+def groupStats(g):
+	print("------------------------")
+	print("New marked abelian group")
+	print("------------------------")
+	print()
+	print('Group:', g)
+	
+	print('Free generators:')
+	for i in range(g.rank()):
+		print(str(i) + ':', g.freeRep(i))
+	print('Torsion generators:')
+	for i in range(g.countInvariantFactors()):
+		print(str(i) + ':', g.torsionRep(i))
+	
+	# Nothing else to say.
+	print()
+
+def homStats(h):
+	print("----------------")
+	print("New homomorphism")
+	print("----------------")
+	print()
+	print(h.detail())
+
+
+# Z + Z_6:
+g1 = makeGroup([[1,1,1,1,1]],
+	[[2,2,6], [-2,0,0], [0,-1,-3], [0,-1,0], [0,0,-3]])
+groupStats(g1)
+
+# 2 Z + 2 Z_2:
+g2 = makeGroup([[1,1,1,1,1]],
+	[[2,-6], [-2,0], [0,2], [0,2], [0,2]])
+groupStats(g2)
+
+# Hom: g2 -> g1, kernel Z + Z_2, cokernel Z_5:
+homStats(makeHom(g2, g1,
+	[[5,5,11,0,7], [0,0,1,0,2], [0,0,-1,0,-2], [0,0,0,0,0], [0,0,-6,5,-2]]))
+
+# Hom: g2 -> g1, kernel Z + Z_2, cokernel Z_15:
+homStats(makeHom(g2, g1,
+	[[10,10,38,0,-5], [0,0,3,0,0], [0,0,-3,0,0], [0,0,0,0,0], [0,0,-28,10,15]]))
+
+# Hom: g2 -> g1, kernel 2 Z + Z_2, cokernel Z:
+homStats(makeHom(g2, g1,
+	[[-3,0,0,-1,1], [-3,0,0,-1,1], [3,0,0,1,-1], [0,0,0,0,0], [3,0,0,1,-1]]))
+
+# Some playing with snfRep():
+print("------------------------------------")
+print("Miscellaneous vector representations")
+print("------------------------------------")
+print()
+
+try:
+	print(g1.snfRep([-6,0,0,0,5]))
+except InvalidArgument as e:
+	print('Not in kernel')
+
+print(g1.snfRep([-6,0,0,0,6]))
+print(g1.snfRep([-4,2,-2,0,4]))
+print(g1.snfRep([-8,-2,2,0,8]))
+print(g1.snfRep([0,6,-6,0,0]))
+
+try:
+	print(g2.snfRep([0,-3,-1,3,0]))
+except InvalidArgument as e:
+	print('Not in kernel')
+
+print(g2.snfRep([0,-3,-1,3,1]))
+print(g2.snfRep([-3,0,-1,3,1]))
+