Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 3600239113] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1144 geometric_solution 5.01445957 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 1 0 -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.263287010966 0.115476522794 0 0 2 2 0132 2310 2310 0132 0 0 0 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 1 -1 0 -1 0 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 2.400351489465 1.325333745335 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 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.633206575809 0.719138960184 2 5 6 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.028741302199 0.488508221713 6 6 2 5 3201 1023 0132 2310 0 0 0 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 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.028741302199 0.488508221713 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.815398748209 1.444596699097 4 3 3 4 1023 3201 0132 2310 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 -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.120022302855 2.039986961180 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_6' : 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_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 16303429129444306745096275/815213380594340134340591616*c_0101_5^24 - 5196835477874598763425293/116459054370620019191513088*c_0101_5^22 - 4932301212856614462609089/16983612095715419465428992*c_0101_5^20 - 486724191761478431601738397/271737793531446711446863872*c_0101_5^18 - 364510497931818026458202677/50950836287146258396286976*c_0101_5^1\ 6 - 985944163640902342537614719/30193088170160745716318208*c_0101_5\ ^14 - 368406830368502708579642915/14557381796327502398939136*c_0101\ _5^12 - 192169457293108429241995858363/407606690297170067170295808*\ c_0101_5^10 + 5431233279584014229282219123/169836120957154194654289\ 92*c_0101_5^8 - 912926786995106979049151181515/40760669029717006717\ 0295808*c_0101_5^6 - 70521408570906500310244647335/4076066902971700\ 67170295808*c_0101_5^4 - 153971867671234530445182890437/90579264510\ 482237148954624*c_0101_5^2 + 2179920267053605407305448499/100643627\ 23386915238772736, c_0011_0 - 1, c_0011_2 + 5631979202843621219/315607193416314415153152*c_0101_5^24 - 3675788159399860315/315607193416314415153152*c_0101_5^22 - 237096650538060389/730572206982209294336*c_0101_5^20 - 214092190165298664269/105202397805438138384384*c_0101_5^18 - 86897134792864952287/9862724794259825473536*c_0101_5^16 - 4035100490027443987255/105202397805438138384384*c_0101_5^14 - 2547624997260684267589/39450899177039301894144*c_0101_5^12 - 69778412181604078882571/157803596708157207576576*c_0101_5^10 - 2131646695733583912139/6575149862839883649024*c_0101_5^8 - 227486274824719984633579/157803596708157207576576*c_0101_5^6 - 422563023238302172436695/157803596708157207576576*c_0101_5^4 - 188963976226225136130751/105202397805438138384384*c_0101_5^2 - 6372866444099763700007/11689155311715348709376, c_0011_4 + 4196329905609336965/105202397805438138384384*c_0101_5^24 - 6530111334751298285/105202397805438138384384*c_0101_5^22 - 4232217832684919833/6575149862839883649024*c_0101_5^20 - 46791227107267711641/11689155311715348709376*c_0101_5^18 - 3415301635337542843/205473433213746364032*c_0101_5^16 - 7717467972152061179027/105202397805438138384384*c_0101_5^14 - 1129701539635724300179/13150299725679767298048*c_0101_5^12 - 16500511343337559019615/17533732967573023064064*c_0101_5^10 + 655229876872759605917/6575149862839883649024*c_0101_5^8 - 200319503524494932753053/52601198902719069192192*c_0101_5^6 - 137357408814973951673777/52601198902719069192192*c_0101_5^4 - 308971804113135331913243/105202397805438138384384*c_0101_5^2 - 5231553706059798457411/11689155311715348709376, c_0101_0 - 147337275650138969287/710116185186707434094592*c_0101_5^25 + 299602834576828306109/710116185186707434094592*c_0101_5^23 + 2865949283110267553/924630449461858638144*c_0101_5^21 + 4549219453247823084409/236705395062235811364864*c_0101_5^19 + 27648293469596248536677/355058092593353717047296*c_0101_5^17 + 27879272466789726717107/78901798354078603788288*c_0101_5^15 + 3658170150300741157975/11095565393542303657728*c_0101_5^13 + 1757236554075150480561379/355058092593353717047296*c_0101_5^11 - 139224629175118569941267/59176348765558952841216*c_0101_5^9 + 8095498306427832499180805/355058092593353717047296*c_0101_5^7 + 2110794253192418821196243/355058092593353717047296*c_0101_5^5 + 516813008135638326431591/26300599451359534596096*c_0101_5^3 + 1572825245112947024889/2922288827928837177344*c_0101_5, c_0101_1 + 170007797207816395/946821580248943245459456*c_0101_5^24 - 13040494625449268627/946821580248943245459456*c_0101_5^22 + 362184605688472663/19725449588519650947072*c_0101_5^20 + 56518215750146821211/315607193416314415153152*c_0101_5^18 + 77019086281199482043/59176348765558952841216*c_0101_5^16 + 594611029138473514747/105202397805438138384384*c_0101_5^14 + 3100548854121805238659/118352697531117905682432*c_0101_5^12 + 15470512696501947425933/473410790124471622729728*c_0101_5^10 + 7022320602107326732955/19725449588519650947072*c_0101_5^8 - 4369921162203252611459/473410790124471622729728*c_0101_5^6 + 813520190097740713442497/473410790124471622729728*c_0101_5^4 + 26888641850284979843921/35067465935146046128128*c_0101_5^2 + 9904756053860354731307/11689155311715348709376, c_0101_3 - 11556577514721222295/315607193416314415153152*c_0101_5^24 + 24001931654429852303/315607193416314415153152*c_0101_5^22 + 1219162905071347279/2191716620946627883008*c_0101_5^20 + 351166734253579754137/105202397805438138384384*c_0101_5^18 + 66057983432187414523/4931362397129912736768*c_0101_5^16 + 6389390065120039687931/105202397805438138384384*c_0101_5^14 + 2042285821358602107593/39450899177039301894144*c_0101_5^12 + 134572126026791846151679/157803596708157207576576*c_0101_5^10 - 3077208927553786035265/6575149862839883649024*c_0101_5^8 + 595476039212089506162623/157803596708157207576576*c_0101_5^6 + 180318199791419775197915/157803596708157207576576*c_0101_5^4 + 263938124577359490791171/105202397805438138384384*c_0101_5^2 + 1481232544197225654763/11689155311715348709376, c_0101_5^26 - 2*c_0101_5^24 - 15*c_0101_5^22 - 93*c_0101_5^20 - 379*c_0101_5^18 - 1719*c_0101_5^16 - 1657*c_0101_5^14 - 23930*c_0101_5^12 + 10482*c_0101_5^10 - 109186*c_0101_5^8 - 34072*c_0101_5^6 - 91125*c_0101_5^4 - 9720*c_0101_5^2 - 729 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB