regina 7.3.1.1__cp38-cp38-macosx_11_0_x86_64.whl

regina/sageRegina/testsuite/docstrings.test

@@ -0,0 +1,57 @@
+# 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 Python docstrings and function signatures.
+#
+# 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.
+
+# The functions below are chosen because they test the internal translations
+# between C++ types and Python types.
+
+help(Triangulation6.boundaryComponents)
+help(Triangulation6.components)
+help(Triangulation6.faces)
+help(Triangulation6.face)
+help(Triangulation6.simplices)
+
+help(Triangulation4.faces)
+help(Triangulation4.face)
+
+help(Vertex6.embeddings)
+help(Vertex3.embeddings)
+help(Edge6.vertex)
+help(BoundaryComponent3.triangulation)
+
+help(Link.packet)
+
+help(Integer.__init__)
+help(LargeInteger.__init__)
+
+help(Triangulation3().vertices())
+

regina/sageRegina/testsuite/dodec.orb

@@ -0,0 +1,309 @@
+% orb
+dodec
+SolutionType geometric_solution
+vertices_known
+
+  1 18 2.000  1 14  1vu  2uv
+  2  0 1.000 14 -2  1wu 41ux 42wu 43ux 44wu  2ux
+  3  0 1.000 -2  1  1xu  4uw  3xu  7uw  8xu  2uw
+  4  0 1.000 -1 14  1wv 41vx 42wv 43vx 44wv  2vx
+  5  0 1.000  1 -1  1xv  4vw  3xv  7vw  8xv  2vw
+  6  0 1.000 -1 -2  1xw  4xw 14xw 39xw 41xw
+  7  0 1.000 -1 -2  2xw 44xw 48xw  5xw  8xw
+  8  5 2.000  1  5  3vu  4uv
+  9  0 1.000  5 -2  3wu 15ux 16wu 13ux 14wu  4ux
+ 10  0 1.000 -1  5  3wv 15vx 16wv 13vx 14wv  4vx
+ 11  0 1.000 -1 -2  3xw  7xw  9xw 11xw 15xw
+ 12  9 2.000  2  8  5vu  6uv
+ 13  0 1.000  8 -2  5wu 48ux 47wu 25ux 26wu  6ux
+ 14  0 1.000 -2  2  5xu  8uw  7xu  9uw 10xu  6uw
+ 15  0 1.000 -1  8  5wv 48vx 47wv 25vx 26wv  6vx
+ 16  0 1.000  2 -1  5xv  8vw  7xv  9vw 10xv  6vw
+ 17  0 1.000 -1 -2  6xw 26xw 22xw 18xw 10xw
+ 18  1 2.000  2  1  7vu  8uv
+ 19  2 2.000  3  2  9vu 10uv
+ 20  0 1.000 -2  3  9xu 11uw 12xu 17uw 18xu 10uw
+ 21  0 1.000  3 -1  9xv 11vw 12xv 17vw 18xv 10vw
+ 22  3 2.000  4  3 11vu 12uv
+ 23  0 1.000 -2  4 11xu 15uw 16xu 27uw 28xu 12uw
+ 24  0 1.000  4 -1 11xv 15vw 16xv 27vw 28xv 12vw
+ 25  0 1.000 -1 -2 12xw 17xw 20xw 30xw 28xw
+ 26 15 2.000  5 12 13vu 14uv
+ 27  0 1.000 12 -2 13wu 37ux 38wu 40ux 39wu 14ux
+ 28  0 1.000 -1 12 13wv 37vx 38wv 40vx 39wv 14vx
+ 29  0 1.000 -1 -2 13xw 16xw 27xw 35xw 37xw
+ 30  4 2.000  5  4 15vu 16uv
+ 31  6 2.000  6  3 17vu 18uv
+ 32  0 1.000 -2  6 17xu 20uw 19xu 21uw 22xu 18uw
+ 33  0 1.000  6 -1 17xv 20vw 19xv 21vw 22xv 18vw
+ 34 12 2.000  6 10 19vu 20uv
+ 35  0 1.000 10 -2 19wu 31ux 32wu 29ux 30wu 20ux
+ 36  0 1.000 -1 10 19wv 31vx 32wv 29vx 30wv 20vx
+ 37  0 1.000 -1 -2 19xw 21xw 24xw 57xw 31xw
+ 38  7 2.000  7  6 21vu 22uv
+ 39  0 1.000 -2  7 21xu 24uw 23xu 25uw 26xu 22uw
+ 40  0 1.000  7 -1 21xv 24vw 23xv 25vw 26xv 22vw
+ 41 24 2.000  7 18 23vu 24uv
+ 42  0 1.000 18 -2 23wu 55ux 56wu 58ux 57wu 24ux
+ 43  0 1.000 -1 18 23wv 55vx 56wv 58vx 57wv 24vx
+ 44  0 1.000 -1 -2 23xw 25xw 47xw 46xw 55xw
+ 45  8 2.000  8  7 25vu 26uv
+ 46 10 2.000  9  4 27vu 28uv
+ 47  0 1.000 -2  9 27xu 35uw 36xu 29uw 30xu 28uw
+ 48  0 1.000  9 -1 27xv 35vw 36xv 29vw 30xv 28vw
+ 49 11 2.000 10  9 29vu 30uv
+ 50  0 1.000 -1 -2 29xw 32xw 59xw 33xw 36xw
+ 51 26 2.000 10 19 31vu 32uv
+ 52  0 1.000 19 -2 31wu 57ux 58wu 60ux 59wu 32ux
+ 53  0 1.000 -1 19 31wv 57vx 58wv 60vx 59wv 32vx
+ 54 28 2.000 11 20 33vu 34uv
+ 55  0 1.000 20 -2 33wu 59ux 60wu 50ux 49wu 34ux
+ 56  0 1.000 -2 11 33xu 36uw 35xu 37uw 38xu 34uw
+ 57  0 1.000 -1 20 33wv 59vx 60wv 50vx 49wv 34vx
+ 58  0 1.000 11 -1 33xv 36vw 35xv 37vw 38xv 34vw
+ 59  0 1.000 -1 -2 34xw 49xw 52xw 40xw 38xw
+ 60 13 2.000 11  9 35vu 36uv
+ 61 14 2.000 12 11 37vu 38uv
+ 62 16 2.000 13 12 39vu 40uv
+ 63  0 1.000 -2 13 39xu 41uw 42xu 51uw 52xu 40uw
+ 64  0 1.000 13 -1 39xv 41vw 42xv 51vw 52xv 40vw
+ 65 17 2.000 14 13 41vu 42uv
+ 66  0 1.000 -1 -2 42xw 51xw 53xw 45xw 43xw
+ 67 20 2.000 14 15 43vu 44uv
+ 68  0 1.000 15 -2 43wu 45ux 46wu 47ux 48wu 44ux
+ 69  0 1.000 -1 15 43wv 45vx 46wv 47vx 48wv 44vx
+ 70 23 2.000 15 17 45vu 46uv
+ 71  0 1.000 17 -2 45wu 53ux 54wu 56ux 55wu 46ux
+ 72  0 1.000 -1 17 45wv 53vx 54wv 56vx 55wv 46vx
+ 73 19 2.000 15  8 47vu 48uv
+ 74 29 2.000 16 20 49vu 50uv
+ 75  0 1.000 -2 16 49xu 52uw 51xu 53uw 54xu 50uw
+ 76  0 1.000 16 -1 49xv 52vw 51xv 53vw 54xv 50vw
+ 77  0 1.000 -1 -2 50xw 60xw 58xw 56xw 54xw
+ 78 21 2.000 16 13 51vu 52uv
+ 79 22 2.000 17 16 53vu 54uv
+ 80 30 2.000 18 17 55vu 56uv
+ 81 25 2.000 19 18 57vu 58uv
+ 82 27 2.000 20 19 59vu 60uv
+
+  1   -1.6047517178538870   -0.9917911061902255   -0.9917911040867422    1.5707963264635909    1.5707963271262029
+  2   -1.7602146330866795   -0.9917911040867422   -0.9115709570131176    1.0471975511291778    1.0471975521772237    1.0471975501018966    1.0471975505703115    1.0471975523587191    1.0471975508422580
+  3   -1.7602146326372914   -0.9115709570131176   -0.9917911061902255    1.0471975515018184    1.0471975501956212    1.0471975517108583    1.0471975521792736    1.0471975503771165    1.0471975512148988
+  4   -1.7602146327046886   -0.9115709570175987   -0.9917911040867422    1.0471975502630257    1.0471975527917943    1.0471975507164673    1.0471975508218916    1.0471975526102992    1.0471975499761057
+  5   -1.7602146334417057   -0.9917911061902255   -0.9115709570175987    1.0471975522840939    1.0471975499859785    1.0471975515012157    1.0471975516066396    1.0471975498044832    1.0471975519971741
+  6   -2.3865237469167830   -0.9115709570175987   -0.9115709570131176    1.2566370614249922    1.2566370634040951    1.2566370626632430    1.2566370602262655    1.2566370594609908
+  7   -2.3865237478941053   -0.9115709570175987   -0.9115709570131176    1.2566370618809961    1.2566370596019036    1.2566370598573517    1.2566370622943255    1.2566370635450086
+  8   -1.6047517200906898   -0.9917911061902255   -0.9917911068515812    1.5707963250452512    1.5707963285445410
+  9   -1.7602146326533599   -0.9917911068515812   -0.9115709570131176    1.0471975520452945    1.0471975514482847    1.0471975507736697    1.0471975516114522    1.0471975507708302    1.0471975505300577
+ 10   -1.7602146335173821   -0.9115709570175987   -0.9917911068515812    1.0471975519184737    1.0471975508342393    1.0471975501596247    1.0471975523523158    1.0471975515116936    1.0471975504032365
+ 11   -2.3865237417554952   -0.9115709570175987   -0.9115709570131176    1.2566370609959150    1.2566370606808248    1.2566370614092433    1.2566370621745293    1.2566370619190737
+ 12   -1.6047517183222595   -0.9917911064118101   -0.9917911044440973    1.5707963275608030    1.5707963260289897
+ 13   -1.7602146326944765   -0.9917911044440973   -0.9115709570131176    1.0471975506266002    1.0471975520816039    1.0471975505258067    1.0471975502182937    1.0471975524373847    1.0471975512898954
+ 14   -1.7602146323955410   -0.9115709570131176   -0.9917911064118101    1.0471975511430751    1.0471975501443898    1.0471975519465468    1.0471975516390337    1.0471975505001714    1.0471975518063701
+ 15   -1.7602146331467212   -0.9115709570175987   -0.9917911044440973    1.0471975498450046    1.0471975528281836    1.0471975512723868    1.0471975502533120    1.0471975524724026    1.0471975505082984
+ 16   -1.7602146337155409   -0.9917911064118101   -0.9115709570175987    1.0471975515671652    1.0471975502881266    1.0471975520902836    1.0471975510712068    1.0471975499323445    1.0471975522304586
+ 17   -2.3865237456347543   -0.9115709570175987   -0.9115709570131176    1.2566370612401465    1.2566370595315925    1.2566370604547490    1.2566370627338508    1.2566370632192478
+ 18   -1.6047517197349082   -0.9917911064118101   -0.9917911061902255    1.5707963247139447    1.5707963288758471
+ 19   -1.6047517205592017   -0.9917911072091121   -0.9917911064118101    1.5707963254798514    1.5707963281099417
+ 20   -1.7602146322613106   -0.9115709570131176   -0.9917911072091121    1.0471975518296381    1.0471975511711664    1.0471975507291662    1.0471975517278500    1.0471975510309879    1.0471975506907756
+ 21   -1.7602146339595681   -0.9917911072091121   -0.9115709570175987    1.0471975517873739    1.0471975510521210    1.0471975506101205    1.0471975518891610    1.0471975511922986    1.0471975506485107
+ 22   -1.6047517214240121   -0.9917911074807700   -0.9917911072091121    1.5707963262845193    1.5707963273052747
+ 23   -1.7602146324205301   -0.9115709570131176   -0.9917911074807700    1.0471975515216927    1.0471975514222516    1.0471975507476365    1.0471975510878502    1.0471975513204643    1.0471975510796920
+ 24   -1.7602146338369793   -0.9917911074807700   -0.9115709570175987    1.0471975510110934    1.0471975515757643    1.0471975509011493    1.0471975514449356    1.0471975516775502    1.0471975505690934
+ 25   -2.3865237432610624   -0.9115709570175987   -0.9115709570131176    1.2566370628770047    1.2566370616263216    1.2566370601125085    1.2566370604275963    1.2566370621361529
+ 26   -1.6047517192544747   -0.9917911068515812   -0.9917911051566067    1.5707963258242295    1.5707963277655626
+ 27   -1.7602146331124737   -0.9917911051566067   -0.9115709570131176    1.0471975514455034    1.0471975523034969    1.0471975500844046    1.0471975506814164    1.0471975520598868    1.0471975506048814
+ 28   -1.7602146328269310   -0.9115709570175987   -0.9917911051566067    1.0471975505891271    1.0471975524880732    1.0471975502689808    1.0471975513532150    1.0471975527316852    1.0471975497485047
+ 29   -2.3865237440534077   -0.9115709570175987   -0.9115709570131176    1.2566370613272346    1.2566370629912451    1.2566370625058498    1.2566370605418369    1.2566370598134191
+ 30   -1.6047517211347611   -0.9917911068515812   -0.9917911074807700    1.5707963260159175    1.5707963275738748
+ 31   -1.6047517200104231   -0.9917911057334798   -0.9917911072091121    1.5707963259902302    1.5707963275995647
+ 32   -1.7602146324766861   -0.9115709570131176   -0.9917911057334798    1.0471975513291769    1.0471975521871693    1.0471975501118378    1.0471975507703106    1.0471975521487800    1.0471975506323150
+ 33   -1.7602146335409612   -0.9917911057334798   -0.9115709570175987    1.0471975506096138    1.0471975525085595    1.0471975504332280    1.0471975511684817    1.0471975525469510    1.0471975499127515
+ 34   -1.6047517182991862   -0.9917911057334798   -0.9917911050939042    1.5707963291912839    1.5707963243985106
+ 35   -1.7602146327696877   -0.9917911050939042   -0.9115709570131176    1.0471975502159676    1.0471975512640186    1.0471975515509375    1.0471975500344746    1.0471975518228871    1.0471975522912995
+ 36   -1.7602146331603326   -0.9115709570175987   -0.9917911050939042    1.0471975496013968    1.0471975521301724    1.0471975524170911    1.0471975497828918    1.0471975515713050    1.0471975516767285
+ 37   -2.3865237503301762   -0.9115709570175987   -0.9115709570131176    1.2566370634108517    1.2566370626455627    1.2566370602085926    1.2566370594677396    1.2566370614468394
+ 38   -1.6047517174352184   -0.9917911040259884   -0.9917911057334798    1.5707963283866149    1.5707963252031771
+ 39   -1.7602146327456247   -0.9115709570131176   -0.9917911040259884    1.0471975503333113    1.0471975517883132    1.0471975509476918    1.0471975500897008    1.0471975523087913    1.0471975517117806
+ 40   -1.7602146330398210   -0.9917911040259884   -0.9115709570175987    1.0471975496615114    1.0471975526446906    1.0471975518040690    1.0471975499051216    1.0471975521242132    1.0471975510399809
+ 41   -1.6047517146826988   -0.9917911040259884   -0.9917911023311728    1.5707963277655632    1.5707963258242308
+ 42   -1.7602146332048805   -0.9917911023311728   -0.9115709570131176    1.0471975507817437    1.0471975516195271    1.0471975509449125    1.0471975503479021    1.0471975518631385    1.0471975516223653
+ 43   -1.7602146323495100   -0.9115709570175987   -0.9917911023311728    1.0471975500408790    1.0471975522335688    1.0471975515589540    1.0471975504747224    1.0471975519899588    1.0471975508815003
+ 44   -2.3865237531935493   -0.9115709570175987   -0.9115709570131176    1.2566370615445999    1.2566370630584132    1.2566370623299927    1.2566370603659909    1.2566370598805885
+ 45   -1.6047517163920888   -0.9917911044440973   -0.9917911040259884    1.5707963293572811    1.5707963242325105
+ 46   -1.6047517205852064   -0.9917911061722899   -0.9917911074807700    1.5707963270634968    1.5707963265262970
+ 47   -1.7602146327336508   -0.9115709570131176   -0.9917911061722899    1.0471975509058113    1.0471975519538617    1.0471975503980639    1.0471975504975042    1.0471975522859167    1.0471975511384253
+ 48   -1.7602146333419519   -0.9917911061722899   -0.9115709570175987    1.0471975501400321    1.0471975526688080    1.0471975511130089    1.0471975505483395    1.0471975523367525    1.0471975503726469
+ 49   -1.6047517186541886   -0.9917911050939042   -0.9917911061722899    1.5707963288599769    1.5707963247298153
+ 50   -2.3865237493528562   -0.9115709570175987   -0.9115709570131176    1.2566370632699362    1.2566370609908366    1.2566370593268261    1.2566370605775063    1.2566370630144812
+ 51   -1.6047517160797451   -0.9917911050939042   -0.9917911029901054    1.5707963271262027    1.5707963264635916
+ 52   -1.7602146332187987   -0.9917911029901054   -0.9115709570131176    1.0471975508913778    1.0471975521975736    1.0471975506823379    1.0471975502139244    1.0471975520160797    1.0471975511782960
+ 53   -1.7602146324230366   -0.9115709570175987   -0.9917911029901054    1.0471975501091015    1.0471975524072170    1.0471975508919804    1.0471975507865556    1.0471975525887114    1.0471975503960205
+ 54   -1.6047517156128832   -0.9917911047379377   -0.9917911027689981    1.5707963260289906    1.5707963275608037
+ 55   -1.7602146334609716   -0.9917911027689981   -0.9115709570131176    1.0471975512501210    1.0471975522488042    1.0471975504466486    1.0471975507541627    1.0471975518930243    1.0471975505868270
+ 56   -1.7602146331631234   -0.9115709570131176   -0.9917911047379377    1.0471975517665948    1.0471975503115925    1.0471975518673895    1.0471975521749015    1.0471975499558090    1.0471975511033007
+ 57   -1.7602146321496261   -0.9115709570175987   -0.9917911027689981    1.0471975508260298    1.0471975521050692    1.0471975503029138    1.0471975513219891    1.0471975524608501    1.0471975501627353
+ 58   -1.7602146327195352   -0.9917911047379377   -0.9115709570175987    1.0471975525481922    1.0471975495650110    1.0471975511208085    1.0471975521398853    1.0471975499207926    1.0471975518848984
+ 59   -2.3865237516122080   -0.9115709570175987   -0.9115709570131176    1.2566370616316864    1.2566370596525862    1.2566370601379890    1.2566370624170808    1.2566370633402426
+ 60   -1.6047517183662032   -0.9917911047379377   -0.9917911061722899    1.5707963249984158    1.5707963285913771
+ 61   -1.6047517175445014   -0.9917911051566067   -0.9917911047379377    1.5707963242325103    1.5707963293572846
+ 62   -1.6047517165016174   -0.9917911034488666   -0.9917911051566067    1.5707963252031758    1.5707963283866164
+ 63   -1.7602146333811890   -0.9115709570131176   -0.9917911034488666    1.0471975516228880    1.0471975522813550    1.0471975502060276    1.0471975510640210    1.0471975517608778    1.0471975502444171
+ 64   -1.7602146323255679   -0.9917911034488666   -0.9115709570175987    1.0471975512247176    1.0471975519599634    1.0471975498846362    1.0471975517835836    1.0471975524804416    1.0471975498462469
+ 65   -1.6047517156360831   -0.9917911040867422   -0.9917911034488666    1.5707963243985157    1.5707963291912785
+ 66   -2.3865237539858821   -0.9115709570175987   -0.9115709570131176    1.2566370627593264    1.2566370612455100    1.2566370599948298    1.2566370607356823    1.2566370624442358
+ 67   -1.6047517152803237   -0.9917911040867422   -0.9917911030091240    1.5707963288599724    1.5707963247298216
+ 68   -1.7602146331233957   -0.9917911030091240   -0.9115709570131176    1.0471975501072801    1.0471975512547704    1.0471975514873813    1.0471975504393363    1.0471975519951333    1.0471975518956871
+ 69   -1.7602146325237513   -0.9115709570175987   -0.9917911030091240    1.0471975500564461    1.0471975520205494    1.0471975522531605    1.0471975497243911    1.0471975512801877    1.0471975518448535
+ 70   -1.6047517133504718   -0.9917911030091240   -0.9917911017013149    1.5707963270634919    1.5707963265263007
+ 71   -1.7602146334371120   -0.9917911017013149   -0.9115709570131176    1.0471975510727320    1.0471975513135050    1.0471975508715008    1.0471975509709446    1.0471975516455592    1.0471975513053431
+ 72   -1.7602146320293190   -0.9115709570175987   -0.9917911017013149    1.0471975507156452    1.0471975518241035    1.0471975513820992    1.0471975508174336    1.0471975514920491    1.0471975509482565
+ 73   -1.6047517155694278   -0.9917911030091240   -0.9917911044440973    1.5707963285913760    1.5707963249984169
+ 74   -1.6047517133768960   -0.9917911019741036   -0.9917911027689981    1.5707963254798525    1.5707963281099393
+ 75   -1.7602146335973365   -0.9115709570131176   -0.9917911019741036    1.0471975517024203    1.0471975513622036    1.0471975506653468    1.0471975516640302    1.0471975512220260    1.0471975505635591
+ 76   -1.7602146319077339   -0.9917911019741036   -0.9115709570175987    1.0471975517446852    1.0471975512008929    1.0471975505040367    1.0471975517830747    1.0471975513410705    1.0471975506058242
+ 77   -2.3865237554914618   -0.9115709570175987   -0.9115709570131176    1.2566370614625881    1.2566370621910081    1.2566370618759175    1.2566370609527602    1.2566370606973107
+ 78   -1.6047517139269223   -0.9917911019741036   -0.9917911034488666    1.5707963275995571    1.5707963259902349
+ 79   -1.6047517125131241   -0.9917911017013149   -0.9917911019741036    1.5707963262845139    1.5707963273052787
+ 80   -1.6047517128019968   -0.9917911023311728   -0.9917911017013149    1.5707963260159188    1.5707963275738750
+ 81   -1.6047517138446508   -0.9917911029901054   -0.9917911023311728    1.5707963250452517    1.5707963285445408
+ 82   -1.6047517141988581   -0.9917911027689981   -0.9917911029901054    1.5707963247139469    1.5707963288758466
+
+  1    0  0  0  0  0  0  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    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
+  3    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
+  4    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
+  5    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
+  6    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
+  7    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
+  8    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+  9    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
+ 10    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
+ 11    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
+ 12    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 13    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
+ 14    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
+ 15    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
+ 16    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
+ 17    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
+ 18    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 19    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 20    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
+ 21    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
+ 22    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 23    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
+ 24    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
+ 25    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
+ 26    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 27    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
+ 28    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
+ 29    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
+ 30    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 31    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 32    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
+ 33    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
+ 34    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 35    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
+ 36    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
+ 37    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
+ 38    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 39    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
+ 40    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
+ 41    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 42    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
+ 43    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
+ 44    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
+ 45    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 46    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 47    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
+ 48    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
+ 49    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 50    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
+ 51    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 52    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
+ 53    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
+ 54    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 55    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
+ 56    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
+ 57    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
+ 58    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
+ 59    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
+ 60    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 61    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 62    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 63    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
+ 64    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
+ 65    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 66    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
+ 67    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 68    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
+ 69    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
+ 70    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 71    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
+ 72    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
+ 73    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 74    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 75    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
+ 76    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
+ 77    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
+ 78    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 79    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 80    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 81    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+ 82    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
+
+20
+0	227	171
+1	159	216
+2	192	270
+3	261	270
+4	288	220
+5	159	325
+6	69	278
+7	104	189
+8	303	323
+9	235	366
+10	365	282
+11	340	200
+12	310	109
+13	225	111
+14	133	113
+15	335	81
+16	106	82
+17	31	306
+18	235	405
+19	420	300
+
+30
+0	0	1	0
+1	1	2	0
+2	2	3	0
+3	3	4	0
+4	4	0	0
+5	2	5	0
+6	5	6	0
+7	6	7	0
+8	7	1	0
+9	3	8	0
+10	8	9	0
+11	9	5	0
+12	8	10	0
+13	10	11	0
+14	11	4	0
+15	11	12	0
+16	12	13	0
+17	13	0	0
+18	7	14	0
+19	14	13	0
+20	12	15	0
+21	15	16	0
+22	16	14	0
+23	17	6	0
+24	17	18	0
+25	18	9	0
+26	18	19	0
+27	19	10	0
+28	19	15	0
+29	16	17	0
+
+0

regina/sageRegina/testsuite/embeddings.out

@@ -0,0 +1,23 @@
+0 (0)
+0 (12)
+0 (0)
+0 (01)
+0 (132)
+0 (0)
+0 (01)
+0 (234)
+0 (1234)
+0 (0)
+0 (01)
+0 (012)
+0 (2345)
+0 (12354)
+0 (0)
+0 (01)
+0 (012)
+0 (3456)
+0 (23456)
+0 (123456)
+
+[<regina.FaceEmbedding3_0: 0 (0)>, <regina.FaceEmbedding3_0: 2 (3)>, <regina.FaceEmbedding3_0: 3 (3)>, <regina.FaceEmbedding3_0: 4 (3)>, <regina.FaceEmbedding3_0: 1 (3)>, <regina.FaceEmbedding3_0: 3 (0)>, <regina.FaceEmbedding3_0: 1 (2)>, <regina.FaceEmbedding3_0: 4 (0)>, <regina.FaceEmbedding3_0: 1 (1)>, <regina.FaceEmbedding3_0: 2 (0)>, <regina.FaceEmbedding3_0: 0 (1)>, <regina.FaceEmbedding3_0: 4 (1)>, <regina.FaceEmbedding3_0: 0 (2)>, <regina.FaceEmbedding3_0: 2 (1)>, <regina.FaceEmbedding3_0: 0 (3)>, <regina.FaceEmbedding3_0: 3 (1)>, <regina.FaceEmbedding3_0: 3 (2)>, <regina.FaceEmbedding3_0: 2 (2)>, <regina.FaceEmbedding3_0: 4 (2)>, <regina.FaceEmbedding3_0: 1 (0)>]
+0 (0) 1 (0)

regina/sageRegina/testsuite/embeddings.test

@@ -0,0 +1,89 @@
+# 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 bindings related to FaceEmbedding objects.
+#
+# 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 doit(list):
+	for f in list:
+		print(f)
+
+t = Triangulation2()
+s = t.newSimplex()
+
+doit(s.vertex(0).embeddings())
+doit(s.edge(0).embeddings())
+
+t = Triangulation3()
+s = t.newSimplex()
+
+doit(s.vertex(0).embeddings())
+doit(s.edge(0).embeddings())
+doit(s.triangle(0).embeddings())
+
+t = Triangulation4()
+s = t.newSimplex()
+
+doit(s.vertex(0).embeddings())
+doit(s.edge(0).embeddings())
+doit(s.triangle(0).embeddings())
+doit(s.tetrahedron(0).embeddings())
+
+t = Triangulation5()
+s = t.newSimplex()
+
+doit(s.vertex(0).embeddings())
+doit(s.edge(0).embeddings())
+doit(s.triangle(0).embeddings())
+doit(s.tetrahedron(0).embeddings())
+doit(s.pentachoron(0).embeddings())
+
+t = Triangulation6()
+s = t.newSimplex()
+
+doit(s.vertex(0).embeddings())
+doit(s.edge(0).embeddings())
+doit(s.triangle(0).embeddings())
+doit(s.tetrahedron(0).embeddings())
+doit(s.pentachoron(0).embeddings())
+doit(s.face(5, 0).embeddings())
+
+print()
+
+t = Example3.poincare()
+list = t.vertex(0).embeddings()
+front = t.vertex(0).front()
+back = t.vertex(0).back()
+# Embeddings can outlive their faces, but currently this means we
+# don't ensure they do *not* outlive their triangulations.
+# t = None
+print([i for i in list])
+print(front, back)
+

regina/sageRegina/testsuite/enumerate.out

@@ -0,0 +1,62 @@
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+
+( 0 0 1 1 0 1 1 1 1 0 0 0 1 1 )
+( 0 0 1 1 0 1 3 2 2 0 0 0 0 2 )
+( 0 0 2 2 0 2 0 1 1 0 0 0 3 1 )
+( 1 1 0 0 1 0 0 0 0 1 1 1 0 0 )
+( 1 1 0 0 1 0 2 0 0 0 0 2 0 2 )
+( 1 1 1 1 0 0 0 1 1 1 1 0 0 0 )
+( 1 1 1 1 0 0 2 1 1 0 0 1 0 2 )
+

regina/sageRegina/testsuite/enumerate.test

@@ -0,0 +1,82 @@
+# 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 Regina's vertex enumeration 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.
+
+ans = None
+def store(vec):
+    global ans
+    ans.append(vec)
+
+def dump():
+    global ans
+    ans.sort(key = str)
+    for v in ans:
+        print(v)
+    print()
+
+tri = Example3.lens(3, 1)
+n = tri.size()
+m = makeMatchingEquations(tri, NS_STANDARD)
+
+# Build a looser set of validity constraints, that give more solutions.
+c = ValidityConstraints(7, n)
+c.addLocal([4,5]) # Missing coordinate 6
+
+ans = DoubleDescription.enumerate(m, c)
+dump()
+
+ans = []
+DoubleDescription.enumerate(store, m, c)
+dump()
+
+ans = HilbertDual.enumerate(m, c)
+dump()
+
+ans = []
+HilbertDual.enumerate(store, m, c)
+dump()
+
+ans = HilbertCD.enumerate(m, c)
+dump()
+
+ans = []
+HilbertCD.enumerate(store, m, c)
+dump()
+
+rays = DoubleDescription.enumerate(m, c)
+
+ans = HilbertPrimal.enumerate(rays, c)
+dump()
+
+ans = []
+HilbertPrimal.enumerate(store, rays, c)
+dump()