Magma V2.19-8 Wed Aug 21 2013 00:56:52 on localhost [Seed = 1781297331] Type ? for help. Type -D to quit. Loading file "L13n3051__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3051 geometric_solution 11.93279336 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 0 1 1 1 0 -1 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 0 0 0 0 2 -1 -1 -7 0 8 -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.604249151697 0.545022294076 0 4 6 5 0132 0132 0132 0132 1 1 1 1 0 0 0 0 -1 0 0 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 0 0 0 7 0 0 -7 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607063351634 0.321598093012 7 0 8 0 0132 0132 0132 0213 0 1 1 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 0 0 0 0 0 0 0 -2 1 1 -1 0 0 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.604249151697 0.545022294076 9 8 8 0 0132 0132 0321 0132 0 1 1 1 0 1 0 -1 -1 0 0 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 0 1 8 0 0 -8 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408267229833 1.329935875695 10 1 11 9 0132 0132 0132 0321 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 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545483342115 0.427524530631 9 6 1 11 2103 3201 0132 0132 1 1 1 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 7 -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.739317479340 1.198742203424 7 12 5 1 2310 0132 2310 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 0 0 0 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777404447176 0.710137170524 2 11 6 12 0132 0132 3201 2103 1 1 1 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 -1 0 1 1 0 7 -8 -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.964057035689 0.953007108222 10 3 3 2 2031 0132 0321 0132 0 1 1 1 0 -1 0 1 -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 0 -1 7 0 -7 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408267229833 1.329935875695 3 4 5 12 0132 0321 2103 0132 1 1 1 1 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 1 0 -1 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748506093760 0.901525357827 4 11 8 12 0132 1023 1302 3120 1 1 1 1 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 7 -7 0 0 0 0 0 0 1 0 -1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.142510752988 1.853036735291 10 7 5 4 1023 0132 0132 0132 1 1 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 1 0 -1 -7 0 7 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.226674409761 1.238413369267 10 6 9 7 3120 0132 0132 2103 1 1 1 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 1 -1 0 0 -8 8 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.964317104846 0.699696026362 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : 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' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_8' : d['c_1001_2'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_2'], 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_1001_2'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_12, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_6, c_1001_0, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 12420725370861892328168/4063174508617894112625*c_1001_2^13 + 2263562733667581582419/104183961759433182375*c_1001_2^12 + 992697394631362512988/12898966694025060675*c_1001_2^11 + 13196608253472115650067/213851289927257584875*c_1001_2^10 - 536995019976244937271152/4063174508617894112625*c_1001_2^9 - 121106926386616816088732/1354391502872631370875*c_1001_2^8 + 994393434142914275957251/4063174508617894112625*c_1001_2^7 + 26693229168513970824913/451463834290877123625*c_1001_2^6 - 105940007662039830194609/580453501231127730375*c_1001_2^5 + 409331610233240974789642/4063174508617894112625*c_1001_2^4 + 2643374563312311605968/38696900082075182025*c_1001_2^3 - 312606718353794545670536/4063174508617894112625*c_1001_2^2 + 15960263089885044385261/1354391502872631370875*c_1001_2 + 9643899208386976618837/580453501231127730375, c_0011_0 - 1, c_0011_12 + 12647618189/47402852223*c_1001_2^13 + 65970338503/47402852223*c_1001_2^12 + 170280234596/47402852223*c_1001_2^11 - 221945481763/47402852223*c_1001_2^10 - 652011634948/47402852223*c_1001_2^9 + 580076880538/47402852223*c_1001_2^8 + 291910333058/15800950741*c_1001_2^7 - 409298551644/15800950741*c_1001_2^6 - 46027221065/47402852223*c_1001_2^5 + 320548225253/15800950741*c_1001_2^4 - 240803858495/15800950741*c_1001_2^3 - 126379320796/47402852223*c_1001_2^2 + 379993587844/47402852223*c_1001_2 - 40163912973/15800950741, c_0011_3 + 7422084932/47402852223*c_1001_2^13 + 37876193974/47402852223*c_1001_2^12 + 99408029339/47402852223*c_1001_2^11 - 113685344497/47402852223*c_1001_2^10 - 264311026813/47402852223*c_1001_2^9 + 493102456693/47402852223*c_1001_2^8 + 126262308880/15800950741*c_1001_2^7 - 308357363745/15800950741*c_1001_2^6 + 157913646634/47402852223*c_1001_2^5 + 218989345779/15800950741*c_1001_2^4 - 154815125884/15800950741*c_1001_2^3 + 53605915499/47402852223*c_1001_2^2 + 183748850641/47402852223*c_1001_2 - 43859815437/15800950741, c_0011_5 - 3155709086/47402852223*c_1001_2^13 - 39693056869/47402852223*c_1001_2^12 - 186171156107/47402852223*c_1001_2^11 - 392939940389/47402852223*c_1001_2^10 + 151603573759/47402852223*c_1001_2^9 + 1066563311714/47402852223*c_1001_2^8 - 87809447022/15800950741*c_1001_2^7 - 535455482476/15800950741*c_1001_2^6 + 713509276313/47402852223*c_1001_2^5 + 319258672849/15800950741*c_1001_2^4 - 298467854930/15800950741*c_1001_2^3 + 72880457719/47402852223*c_1001_2^2 + 419609041970/47402852223*c_1001_2 - 62070699521/15800950741, c_0101_0 - 10358575700/47402852223*c_1001_2^13 - 44488514452/47402852223*c_1001_2^12 - 82567632743/47402852223*c_1001_2^11 + 346944289030/47402852223*c_1001_2^10 + 462269534638/47402852223*c_1001_2^9 - 1088685023929/47402852223*c_1001_2^8 - 206088824177/15800950741*c_1001_2^7 + 653414935480/15800950741*c_1001_2^6 - 466391330695/47402852223*c_1001_2^5 - 446658402041/15800950741*c_1001_2^4 + 455469223364/15800950741*c_1001_2^3 - 212301605801/47402852223*c_1001_2^2 - 692039928475/47402852223*c_1001_2 + 130838826226/15800950741, c_0101_1 + 17662939748/47402852223*c_1001_2^13 + 103886729857/47402852223*c_1001_2^12 + 305509986230/47402852223*c_1001_2^11 - 107452128862/47402852223*c_1001_2^10 - 964382115529/47402852223*c_1001_2^9 + 303646764769/47402852223*c_1001_2^8 + 487677724280/15800950741*c_1001_2^7 - 345370998065/15800950741*c_1001_2^6 - 666667785623/47402852223*c_1001_2^5 + 424393496264/15800950741*c_1001_2^4 - 181258676067/15800950741*c_1001_2^3 - 505585565875/47402852223*c_1001_2^2 + 413233630078/47402852223*c_1001_2 - 26159526441/15800950741, c_0101_11 + 2090908631/47402852223*c_1001_2^13 + 12422929234/47402852223*c_1001_2^12 + 36800369870/47402852223*c_1001_2^11 - 7079570611/47402852223*c_1001_2^10 - 91691487793/47402852223*c_1001_2^9 + 108968464732/47402852223*c_1001_2^8 + 62763962097/15800950741*c_1001_2^7 - 101597966839/15800950741*c_1001_2^6 - 125089405172/47402852223*c_1001_2^5 + 128269856823/15800950741*c_1001_2^4 - 19876168687/15800950741*c_1001_2^3 - 95300714614/47402852223*c_1001_2^2 + 66401606596/47402852223*c_1001_2 - 17662939748/15800950741, c_0101_12 + 25085024680/47402852223*c_1001_2^13 + 141762923831/47402852223*c_1001_2^12 + 404918015569/47402852223*c_1001_2^11 - 221137473359/47402852223*c_1001_2^10 - 1228693142342/47402852223*c_1001_2^9 + 796749221462/47402852223*c_1001_2^8 + 613940033160/15800950741*c_1001_2^7 - 653728361810/15800950741*c_1001_2^6 - 508754138989/47402852223*c_1001_2^5 + 643382842043/15800950741*c_1001_2^4 - 336073801951/15800950741*c_1001_2^3 - 451979650376/47402852223*c_1001_2^2 + 596982480719/47402852223*c_1001_2 - 54218391137/15800950741, c_0101_6 + 11052920656/47402852223*c_1001_2^13 + 47367458663/47402852223*c_1001_2^12 + 88058570638/47402852223*c_1001_2^11 - 368648563100/47402852223*c_1001_2^10 - 478396667747/47402852223*c_1001_2^9 + 1187658175862/47402852223*c_1001_2^8 + 230363491030/15800950741*c_1001_2^7 - 716047888967/15800950741*c_1001_2^6 + 350006089442/47402852223*c_1001_2^5 + 525788694460/15800950741*c_1001_2^4 - 389267469584/15800950741*c_1001_2^3 - 63885813365/47402852223*c_1001_2^2 + 566566219754/47402852223*c_1001_2 - 85316193019/15800950741, c_1001_0 - 1, c_1001_1 - 17221516219/47402852223*c_1001_2^13 - 101518827602/47402852223*c_1001_2^12 - 303429229081/47402852223*c_1001_2^11 + 75412157999/47402852223*c_1001_2^10 + 861469240406/47402852223*c_1001_2^9 - 290586856199/47402852223*c_1001_2^8 - 421022869973/15800950741*c_1001_2^7 + 320431962118/15800950741*c_1001_2^6 + 483604282807/47402852223*c_1001_2^5 - 343621530354/15800950741*c_1001_2^4 + 160530118062/15800950741*c_1001_2^3 + 256584408938/47402852223*c_1001_2^2 - 306915581279/47402852223*c_1001_2 + 35402261070/15800950741, c_1001_11 - 3538818766/47402852223*c_1001_2^13 - 15933236429/47402852223*c_1001_2^12 - 27533744518/47402852223*c_1001_2^11 + 139815961973/47402852223*c_1001_2^10 + 277482549155/47402852223*c_1001_2^9 - 271678942667/47402852223*c_1001_2^8 - 163065991112/15800950741*c_1001_2^7 + 153399982802/15800950741*c_1001_2^6 + 286787994760/47402852223*c_1001_2^5 - 121352746667/15800950741*c_1001_2^4 + 34240467837/15800950741*c_1001_2^3 + 60554676122/47402852223*c_1001_2^2 - 159191506961/47402852223*c_1001_2 + 8673126546/15800950741, c_1001_2^14 + 6*c_1001_2^13 + 18*c_1001_2^12 - 4*c_1001_2^11 - 55*c_1001_2^10 + 12*c_1001_2^9 + 89*c_1001_2^8 - 48*c_1001_2^7 - 55*c_1001_2^6 + 65*c_1001_2^5 - 9*c_1001_2^4 - 32*c_1001_2^3 + 18*c_1001_2^2 + 2*c_1001_2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.530 seconds, Total memory usage: 32.09MB