diff --git a/dev/symplectic_basis/CuspedCensusData/link-105538.tri b/dev/symplectic_basis/CuspedCensusData/link-105538.tri new file mode 100644 index 000000000..24644183f --- /dev/null +++ b/dev/symplectic_basis/CuspedCensusData/link-105538.tri @@ -0,0 +1,263 @@ +% Triangulation +L14a21020 +geometric_solution 25.18017936 +oriented_manifold +CS_unknown + +2 0 + torus 0.000000000000 0.000000000000 + torus 0.000000000000 0.000000000000 + +28 + 1 2 3 4 + 0132 0132 0132 0132 + 1 1 0 1 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 1.145204858558 0.679571574043 + + 0 5 5 6 + 0132 0132 1302 0132 + 1 1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 -1 1 0 1 0 -1 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.093890537789 0.978327772768 + + 4 0 8 7 + 0213 0132 0132 0132 + 1 1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.432069419281 1.233709303455 + + 9 10 11 0 + 0132 0132 0132 0132 + 1 1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 1.063042433139 0.643238573809 + + 2 11 0 12 + 0213 0213 0132 0132 + 1 1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.224344805653 0.472762680267 + + 1 1 12 13 + 2031 0132 3201 0132 + 1 1 0 1 + 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 -1 -1 0 0 1 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.902798855786 1.012823881605 + + 9 7 1 14 + 2103 1023 0132 0132 + 1 1 1 1 + 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 -1 0 0 1 0 -1 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 1.008658969430 0.738776579570 + + 6 10 2 15 + 1023 0213 0132 0132 + 1 1 1 1 + 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.316278188548 0.391178429995 + + 16 11 17 2 + 0132 0132 0132 0132 + 1 1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 -1 0 0 1 3 -3 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.479231450509 0.831975560962 + + 3 15 6 18 + 0132 3120 2103 0132 + 1 1 0 1 + 0 -1 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 -1 1 3 -3 0 0 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.435532071059 1.253396449194 + + 19 3 7 19 + 0132 0132 0213 2103 + 1 1 0 1 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.409604877968 1.003229071737 + + 16 8 4 3 + 2103 0132 0213 0132 + 1 1 0 0 + 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.971631556114 0.395742290901 + + 5 14 4 14 + 2310 2031 0132 2103 + 1 1 1 1 + 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.560124170382 0.620877780376 + + 20 21 5 18 + 0132 0132 0132 1023 + 1 1 0 0 + 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.802001612556 1.033011597862 + + 12 22 6 12 + 1302 0132 0132 2103 + 1 1 1 1 + 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.198939506812 0.887947150393 + + 22 9 7 17 + 3012 3120 0132 0132 + 1 1 0 1 + 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 1 -1 0 0 0 0 0 0 3 0 -3 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + -0.760274540377 2.209652331088 + + 8 23 11 24 + 0132 0132 2103 0132 + 0 1 0 0 + 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 -3 0 0 3 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.865581741798 0.983608677545 + + 20 19 15 8 + 2103 2103 0132 0132 + 1 1 0 0 + 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 -2 2 0 0 -3 0 3 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.240546169021 0.633694615223 + + 24 25 9 13 + 3120 0132 0132 1023 + 1 1 0 0 + 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 -1 0 2 -2 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.790856262483 0.656607883224 + + 10 17 25 10 + 0132 2103 2103 2103 + 0 1 1 0 + 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -2 2 0 -1 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.409604877968 1.003229071737 + + 13 26 17 21 + 0132 0132 2103 1023 + 0 1 0 0 + 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 2 -2 1 0 0 -1 0 0 0 0 0 -3 3 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.329553778772 1.431123198584 + + 27 13 24 20 + 0132 0132 1302 1023 + 1 0 0 0 + 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 -1 1 0 0 -2 2 1 -1 0 0 2 0 -2 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.201948336254 0.200537923664 + + 25 14 25 15 + 3201 0132 0321 1230 + 1 0 1 1 + 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 -2 0 2 0 0 0 0 0 -1 1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.567873426792 0.886213845396 + + 27 16 26 27 + 3201 0132 0321 1302 + 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 -1 0 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.193874665277 0.555787950100 + + 21 26 16 18 + 2031 0321 0132 3120 + 0 1 0 0 + 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 -1 2 0 0 -2 2 1 -3 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.765573098881 0.408315975076 + + 19 18 22 22 + 2103 0132 0321 2310 + 1 1 0 0 + 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 -1 0 0 1 -2 0 0 2 0 2 -2 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.444525109743 0.911641012854 + + 27 20 23 24 + 1023 0132 0321 0321 + 0 0 0 0 + 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 1 0 0 -1 -3 3 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + -0.400361770489 1.024355212947 + + 21 26 23 23 + 0132 1023 2031 2310 + 0 0 0 0 + 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -1 1 0 0 0 0 0 -2 3 0 -1 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.440457183010 1.604062886731 + diff --git a/dev/symplectic_basis/CuspedCensusData/link-115956.tri b/dev/symplectic_basis/CuspedCensusData/link-115956.tri new file mode 100644 index 000000000..60ad06fe6 --- /dev/null +++ b/dev/symplectic_basis/CuspedCensusData/link-115956.tri @@ -0,0 +1,202 @@ +% Triangulation +L14a31438 +geometric_solution 20.11821605 +oriented_manifold +CS_unknown + +4 0 + torus 0.000000000000 0.000000000000 + torus 0.000000000000 0.000000000000 + torus 0.000000000000 -0.000000000000 + torus 0.000000000000 0.000000000000 + +21 + 1 2 3 4 + 0132 0132 0132 0132 + 0 3 3 0 + 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 -1 1 0 -1 0 0 0 0 0 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.841428735584 0.517123487652 + + 0 5 7 6 + 0132 0132 0132 0132 + 3 3 0 3 + 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.610144643313 0.549276828300 + + 8 0 7 5 + 0132 0132 3012 1230 + 0 3 0 3 + 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 1.403179478914 1.446949487763 + + 9 10 9 0 + 0132 0132 3012 0132 + 0 3 0 2 + 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 1 -1 0 0 -1 1 -1 0 0 1 2 -1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.610001037061 0.731456108970 + + 11 12 0 13 + 0132 0132 0132 0132 + 0 3 0 3 + 0 0 0 0 1 0 -1 0 0 1 0 -1 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -1 1 0 0 0 0 0 0 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.096026584523 0.978912832554 + + 2 1 10 8 + 3012 0132 1023 1023 + 3 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 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.696313232192 0.435125650189 + + 9 14 1 14 + 2103 0132 0132 1302 + 3 3 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 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.567578965962 1.064513348566 + + 15 2 16 1 + 0132 1230 0132 0132 + 3 3 3 0 + 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.445654134130 0.699674584565 + + 2 16 13 5 + 0132 2103 0213 1023 + 0 3 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 -1 1 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.623815210102 0.780589977642 + + 3 3 6 17 + 0132 1230 2103 0132 + 3 3 2 0 + 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 1 0 -1 0 0 0 0 -2 1 0 1 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.567578965962 1.064513348566 + + 17 3 5 17 + 0132 0132 1023 2031 + 0 3 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 1 0 -1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.327547865567 0.806341615566 + + 4 15 18 15 + 0132 1302 0132 0132 + 3 3 3 0 + 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.270229361647 0.897652820575 + + 19 4 20 19 + 0132 0132 0132 2103 + 0 1 3 0 + 0 0 1 -1 1 0 0 -1 -1 1 0 0 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 1 0 -1 2 0 1 -3 0 0 0 0 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.270229361647 0.897652820575 + + 16 8 4 14 + 2103 0213 0132 2310 + 0 3 3 0 + 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.841428735584 0.517123487652 + + 13 6 6 17 + 3201 0132 2031 1023 + 3 3 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 -1 0 0 1 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.610001037061 0.731456108970 + + 7 19 11 11 + 0132 3120 0132 2031 + 3 3 0 3 + 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.545278099447 0.670718165739 + + 20 8 13 7 + 1302 2103 2103 0132 + 3 3 0 0 + 0 0 0 0 -1 0 0 1 0 0 0 0 -1 0 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.888719059682 1.613756411837 + + 10 10 9 14 + 0132 1302 0132 1023 + 3 3 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 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.567578965962 1.064513348566 + + 20 20 19 11 + 0321 3201 0321 0132 + 3 3 0 1 + 0 1 -1 0 0 0 1 -1 1 -1 0 0 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.692503436845 1.021447690035 + + 12 15 18 12 + 0132 3120 0321 2103 + 3 1 0 3 + 0 -1 1 0 -1 0 0 1 -1 0 0 1 1 0 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 1 -1 0 -2 0 -1 3 -1 0 0 1 0 0 0 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.270229361647 0.897652820575 + + 18 16 18 12 + 0321 2031 2310 0132 + 0 1 0 3 + 0 0 1 -1 0 0 0 0 -1 1 0 0 0 1 -1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0.545278099447 0.670718165739 + diff --git a/dev/symplectic_basis/symplectic_basis_main.c b/dev/symplectic_basis/symplectic_basis_main.c index 50b05794d..e21ace346 100644 --- a/dev/symplectic_basis/symplectic_basis_main.c +++ b/dev/symplectic_basis/symplectic_basis_main.c @@ -23,7 +23,7 @@ int main(void) { int numTet[] = {}; int index[] = {}; - char *error[] = {"CuspedCensusData/link-159285.tri"}; + char *error[] = {"CuspedCensusData/link-115956.tri"}; char *link[] = { "CuspedCensusData/link-1.tri", diff --git a/dev/symplectic_basis/test.py b/dev/symplectic_basis/test.py index d295a6db0..b674b3d3f 100644 --- a/dev/symplectic_basis/test.py +++ b/dev/symplectic_basis/test.py @@ -1,5 +1,5 @@ import random -from datetime import datetime +from datetime import datetime, timedelta import snappy import unittest @@ -34,8 +34,8 @@ def symplectic_form(u, v): def process_manifold(i: int): - index = random.randint(1, 200000) - M = snappy.HTLinkExteriors[index] + # index = random.randint(1, 200000) + M = snappy.HTLinkExteriors[i] if len(M.identify()) > 0: label = M.identify()[0] @@ -45,17 +45,16 @@ def process_manifold(i: int): if i == 0: return True - with open("logs/links-" + str(i // 1000) + ".log", "a") as file: - # print(index) - basis = M.symplectic_basis() - result = is_symplectic(basis) + basis = M.symplectic_basis() + result = is_symplectic(basis) - if result: - string = "Passed" - else: - string = "Failed" + if result: + string = "Passed" + else: + string = "Failed" - file.write(f"Testing: {str(index)} {(20 - len(str(index))) * ' '} {str(label)} {(40 - len(str(label))) * ' '} {string}\n") + with open("logs/links-" + str(i // 1000) + ".log", "a") as file: + file.write(f"Testing: {str(index)} {(10 - len(str(index))) * ' '} {str(label)} {(30 - len(str(label))) * ' '} {string} \n") return result @@ -80,20 +79,17 @@ def random_link_exteriors(n: int, n_tet: int, n_cusps: int): def test_link_complements_pool(start: int, end: int): scale = 1000 for i in range(start, end): - passed = 'Passed' - with open("logs/total.log", "a") as file: file.write(f"[{datetime.now().strftime('%d-%m-%y %H:%M:%S')}] Testing: {str(scale * i)} - {str(scale * (i + 1) - 1)}\n") + # for i in range(scale * i, scale * (i + 1)): + # process_manifold(i) + with Pool() as pool: result = pool.imap(process_manifold, range(scale * i, scale * (i + 1))) - for j, res in enumerate(result): - if not res: - passed = 'Failed' - - with open("logs/total.log", "a") as file: - file.write(f"[{datetime.now().strftime('%d-%m-%y %H:%M:%S')}] {passed}\n") + with open("logs/total.log", "a") as file: + file.write(f"[{datetime.now().strftime('%d-%m-%y %H:%M:%S')}] Passed: {sum(result)} / {len(result)}\n") class TestSymplecticBasis(unittest.TestCase): @@ -129,7 +125,7 @@ def test_random_links(self): if __name__ == "__main__": - test_link_complements_pool(0, 1) + test_link_complements_pool(0, 5) # unittest.main() # M = snappy.HTLinkExteriors[159285] # M.symplectic_basis()