Magma V2.19-8 Tue Aug 20 2013 23:47:24 on localhost [Seed = 3566386844] Type ? for help. Type -D to quit. Loading file "L10a93__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a93 geometric_solution 11.03572684 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 -1 0 1 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 1 1 -2 -1 0 -1 2 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.191170877077 0.934621547204 0 5 7 6 0132 0132 0132 0132 0 0 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 0 -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.435714269109 0.925425042395 4 0 9 8 1023 0132 0132 0132 0 0 1 1 0 1 -1 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 0 0 0 0 0 -1 1 0 2 0 -2 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.046762423656 0.640302831682 7 6 5 0 0132 0132 0132 0132 0 0 1 1 0 0 0 0 0 0 1 -1 -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 1 0 -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.435714269109 0.925425042395 5 2 0 9 0132 1023 0132 3120 0 0 1 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 -2 2 0 0 0 -2 2 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.018410979846 1.327666858005 4 1 8 3 0132 0132 0213 0132 0 0 1 1 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 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.191170877077 0.934621547204 10 3 1 11 0132 0132 0132 0132 0 0 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 -1 0 1 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.614116060474 1.137979465481 3 11 10 1 0132 0132 0132 0132 0 0 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614116060474 1.137979465481 9 5 2 9 1302 0213 0132 3012 0 0 0 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 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.656853733788 0.901734711857 4 8 8 2 3120 2031 1230 0132 0 0 1 0 0 -1 0 1 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 1 0 -1 -2 0 0 2 -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.546667216848 0.462752606367 6 11 11 7 0132 1023 0132 0132 0 0 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 1 -1 0 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.053872507386 0.762735389430 10 7 6 10 1023 0132 0132 0132 0 0 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 -1 0 1 0 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.053872507386 0.762735389430 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_8'], 'c_1100_8' : d['c_0110_8'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0110_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_9, c_0110_8, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 19025837198341/25342192886*c_1100_1^13 - 350648692413177/101368771544*c_1100_1^12 + 7165320556215661/405475086176*c_1100_1^11 - 19586689261053593/405475086176*c_1100_1^10 + 32320798305967429/405475086176*c_1100_1^9 - 36144208497019529/405475086176*c_1100_1^8 + 29017409237244657/405475086176*c_1100_1^7 - 17435789246347405/405475086176*c_1100_1^6 + 7936916260424559/405475086176*c_1100_1^5 - 2849063900166051/405475086176*c_1100_1^4 + 1054454645151455/405475086176*c_1100_1^3 - 627503937499635/405475086176*c_1100_1^2 + 360630979055179/405475086176*c_1100_1 - 75204314110979/405475086176, c_0011_0 - 1, c_0011_10 - 86841529731/12671096443*c_1100_1^13 + 1287774168519/50684385772*c_1100_1^12 - 28179088719219/202737543088*c_1100_1^11 + 64537851348269/202737543088*c_1100_1^10 - 92085547270339/202737543088*c_1100_1^9 + 89334235230421/202737543088*c_1100_1^8 - 64943769513359/202737543088*c_1100_1^7 + 36995117811225/202737543088*c_1100_1^6 - 18047195897201/202737543088*c_1100_1^5 + 8774364771759/202737543088*c_1100_1^4 - 5080044641153/202737543088*c_1100_1^3 + 3049311180007/202737543088*c_1100_1^2 - 1260578130293/202737543088*c_1100_1 + 244364648615/202737543088, c_0011_8 - 4487523247/12671096443*c_1100_1^13 + 48389562619/50684385772*c_1100_1^12 - 1317629390167/202737543088*c_1100_1^11 + 2215727747287/202737543088*c_1100_1^10 - 3566450264015/202737543088*c_1100_1^9 + 3382433951613/202737543088*c_1100_1^8 - 1861479659005/202737543088*c_1100_1^7 + 739621624569/202737543088*c_1100_1^6 - 482545609701/202737543088*c_1100_1^5 + 526807325501/202737543088*c_1100_1^4 - 346420985661/202737543088*c_1100_1^3 - 174768193305/202737543088*c_1100_1^2 + 182955041185/202737543088*c_1100_1 - 148627097153/202737543088, c_0011_9 + 10948461177/12671096443*c_1100_1^13 - 139424550557/50684385772*c_1100_1^12 + 2699183283297/202737543088*c_1100_1^11 - 4561998329557/202737543088*c_1100_1^10 - 2233286668703/202737543088*c_1100_1^9 + 14567138819433/202737543088*c_1100_1^8 - 20979936421085/202737543088*c_1100_1^7 + 17980396804861/202737543088*c_1100_1^6 - 10542578695181/202737543088*c_1100_1^5 + 4992094568753/202737543088*c_1100_1^4 - 1542364251613/202737543088*c_1100_1^3 + 127184365915/202737543088*c_1100_1^2 - 144922618759/202737543088*c_1100_1 + 122962097163/202737543088, c_0101_0 - 1, c_0101_1 - 143342/49559*c_1100_1^13 + 996747/99118*c_1100_1^12 - 21867239/396472*c_1100_1^11 + 46276793/396472*c_1100_1^10 - 55258257/396472*c_1100_1^9 + 8908247/99118*c_1100_1^8 - 2118141/99118*c_1100_1^7 - 1087607/49559*c_1100_1^6 + 12147187/396472*c_1100_1^5 - 7425889/396472*c_1100_1^4 + 2014417/396472*c_1100_1^3 + 101327/99118*c_1100_1^2 + 4731/49559*c_1100_1 - 38039/49559, c_0101_10 - 16588450779/12671096443*c_1100_1^13 + 276810089455/50684385772*c_1100_1^12 - 5736088365883/202737543088*c_1100_1^11 + 14421212302913/202737543088*c_1100_1^10 - 21116047173711/202737543088*c_1100_1^9 + 20015247608245/202737543088*c_1100_1^8 - 12379797536131/202737543088*c_1100_1^7 + 5721421039073/202737543088*c_1100_1^6 - 1827621813305/202737543088*c_1100_1^5 + 835828374019/202737543088*c_1100_1^4 - 744980316069/202737543088*c_1100_1^3 + 780451363399/202737543088*c_1100_1^2 - 342704888217/202737543088*c_1100_1 - 65854208097/202737543088, c_0101_9 + 4487523247/12671096443*c_1100_1^13 - 48389562619/50684385772*c_1100_1^12 + 1317629390167/202737543088*c_1100_1^11 - 2215727747287/202737543088*c_1100_1^10 + 3566450264015/202737543088*c_1100_1^9 - 3382433951613/202737543088*c_1100_1^8 + 1861479659005/202737543088*c_1100_1^7 - 739621624569/202737543088*c_1100_1^6 + 482545609701/202737543088*c_1100_1^5 - 526807325501/202737543088*c_1100_1^4 + 346420985661/202737543088*c_1100_1^3 + 174768193305/202737543088*c_1100_1^2 + 19782501903/202737543088*c_1100_1 - 54110445935/202737543088, c_0110_8 + 64971332084/12671096443*c_1100_1^13 - 217532587121/12671096443*c_1100_1^12 + 4914074997573/50684385772*c_1100_1^11 - 10161848936185/50684385772*c_1100_1^10 + 12702302740325/50684385772*c_1100_1^9 - 10364451246357/50684385772*c_1100_1^8 + 2794782415663/25342192886*c_1100_1^7 - 544014523881/12671096443*c_1100_1^6 + 615655236421/50684385772*c_1100_1^5 - 200057404731/50684385772*c_1100_1^4 + 90915358527/50684385772*c_1100_1^3 - 6731633565/50684385772*c_1100_1^2 - 1789794243/25342192886*c_1100_1 + 2773206059/12671096443, c_1001_0 - 143342/49559*c_1100_1^13 + 996747/99118*c_1100_1^12 - 21867239/396472*c_1100_1^11 + 46276793/396472*c_1100_1^10 - 55258257/396472*c_1100_1^9 + 8908247/99118*c_1100_1^8 - 2118141/99118*c_1100_1^7 - 1087607/49559*c_1100_1^6 + 12147187/396472*c_1100_1^5 - 7425889/396472*c_1100_1^4 + 2014417/396472*c_1100_1^3 + 101327/99118*c_1100_1^2 + 4731/49559*c_1100_1 - 38039/49559, c_1001_1 - 1, c_1100_1^14 - 17/4*c_1100_1^13 + 357/16*c_1100_1^12 - 115/2*c_1100_1^11 + 367/4*c_1100_1^10 - 201/2*c_1100_1^9 + 81*c_1100_1^8 - 50*c_1100_1^7 + 193/8*c_1100_1^6 - 19/2*c_1100_1^5 + 15/4*c_1100_1^4 - 2*c_1100_1^3 + c_1100_1^2 - 1/4*c_1100_1 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB