Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 947495961] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s330 geometric_solution 4.51341616 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563847448413 0.211747958264 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881831038845 0.371963837781 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.531461710728 0.466907269543 4 2 5 4 3120 0132 0132 2310 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 1 -1 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.347923270455 0.615777267243 3 5 2 3 3201 0132 0132 3120 0 0 0 0 0 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347923270455 0.615777267243 5 4 5 3 2031 0132 1302 0132 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 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 0 0 0 0.188605787671 2.123307345157 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 386459759545217112438416857/1483162900986320694015234597*c_1001_3^1\ 4 - 5161488591736235654906469866/1483162900986320694015234597*c_100\ 1_3^13 - 13213267830475592297618491909/1483162900986320694015234597\ *c_1001_3^12 + 71302640556250886134922592889/1483162900986320694015\ 234597*c_1001_3^11 + 150909066861768178012936548248/494387633662106\ 898005078199*c_1001_3^10 + 568233547688411499194588129/494387633662\ 106898005078199*c_1001_3^9 - 1557736806588292633823501853230/148316\ 2900986320694015234597*c_1001_3^8 - 2117641033007500699324911580247/1483162900986320694015234597*c_1001\ _3^7 + 4358694128022328665429766363291/1483162900986320694015234597\ *c_1001_3^6 + 777753273741582202780521398239/1483162900986320694015\ 234597*c_1001_3^5 - 1663059534089502387857612052860/148316290098632\ 0694015234597*c_1001_3^4 + 836180032715052992956610108953/148316290\ 0986320694015234597*c_1001_3^3 - 1091304912791671850071026146084/14\ 83162900986320694015234597*c_1001_3^2 - 37279100401595047528826044620/164795877887368966001692733*c_1001_3 + 302038950215452482355358235796/1483162900986320694015234597, c_0011_0 - 1, c_0011_1 + 6049469270104670656627003/23542268269624138000241819*c_1001_\ 3^14 + 105695319021160074117508942/23542268269624138000241819*c_100\ 1_3^13 + 636377779935675908397050704/23542268269624138000241819*c_1\ 001_3^12 + 1414623045524832647739669197/23542268269624138000241819*\ c_1001_3^11 - 1717502749344145772717004403/235422682696241380002418\ 19*c_1001_3^10 - 7692779627836181799373282698/235422682696241380002\ 41819*c_1001_3^9 - 4518909400334707037716999898/2354226826962413800\ 0241819*c_1001_3^8 + 18426761220724918407704999689/2354226826962413\ 8000241819*c_1001_3^7 + 4600266917270487544913823062/23542268269624\ 138000241819*c_1001_3^6 - 10153233310626487397152824871/23542268269\ 624138000241819*c_1001_3^5 + 2945667966575680771203160471/235422682\ 69624138000241819*c_1001_3^4 - 3763282162666688191404787751/2354226\ 8269624138000241819*c_1001_3^3 - 2403639557439639970992872101/23542\ 268269624138000241819*c_1001_3^2 + 2540172623654748270992115963/23542268269624138000241819*c_1001_3 - 318844015046165379990308462/23542268269624138000241819, c_0011_4 + 4918670776910714278672754/23542268269624138000241819*c_1001_\ 3^14 + 85606808450801064023053264/23542268269624138000241819*c_1001\ _3^13 + 511749574036784719082370154/23542268269624138000241819*c_10\ 01_3^12 + 1117155853225318953630867331/23542268269624138000241819*c\ _1001_3^11 - 1465406785895420788965277942/2354226826962413800024181\ 9*c_1001_3^10 - 6155212675915567173617904281/2354226826962413800024\ 1819*c_1001_3^9 - 3331745039981829086404798553/23542268269624138000\ 241819*c_1001_3^8 + 15144786706613888428258644631/23542268269624138\ 000241819*c_1001_3^7 + 2862840474748679831515164903/235422682696241\ 38000241819*c_1001_3^6 - 8040809000609798086424360370/2354226826962\ 4138000241819*c_1001_3^5 + 2486603352509479479970338822/23542268269\ 624138000241819*c_1001_3^4 - 3251117134870951117850766538/235422682\ 69624138000241819*c_1001_3^3 - 1692717257756203913288218271/2354226\ 8269624138000241819*c_1001_3^2 + 2016610361966085278015633576/23542\ 268269624138000241819*c_1001_3 - 257224561847924158231077577/235422\ 68269624138000241819, c_0101_0 + 6165663603353554787905220/23542268269624138000241819*c_1001_\ 3^14 + 107790635153155728738578281/23542268269624138000241819*c_100\ 1_3^13 + 649683704037794842181280235/23542268269624138000241819*c_1\ 001_3^12 + 1447735568176098161729647803/23542268269624138000241819*\ c_1001_3^11 - 1740084067477331834524523238/235422682696241380002418\ 19*c_1001_3^10 - 7866464080659577334869184587/235422682696241380002\ 41819*c_1001_3^9 - 4664053681756978618359167218/2354226826962413800\ 0241819*c_1001_3^8 + 18770877746399724066853420987/2354226826962413\ 8000241819*c_1001_3^7 + 4864460637044657336677880655/23542268269624\ 138000241819*c_1001_3^6 - 10456588281188841309485724109/23542268269\ 624138000241819*c_1001_3^5 + 3081956199478549954098862192/235422682\ 69624138000241819*c_1001_3^4 - 3819410835001432129146608387/2354226\ 8269624138000241819*c_1001_3^3 - 2554648746266600018797405119/23542\ 268269624138000241819*c_1001_3^2 + 2625537142446411328731144701/23542268269624138000241819*c_1001_3 - 338140654323319102721568444/23542268269624138000241819, c_0101_1 - 6870048847288997442808240/23542268269624138000241819*c_1001_\ 3^14 - 119482764941437781931056228/23542268269624138000241819*c_100\ 1_3^13 - 713525480672844037314175531/23542268269624138000241819*c_1\ 001_3^12 - 1555740618860418055231707163/23542268269624138000241819*\ c_1001_3^11 + 2041331278718478783800687831/235422682696241380002418\ 19*c_1001_3^10 + 8521536279422342456734910017/235422682696241380002\ 41819*c_1001_3^9 + 4631519672497318146885111504/2354226826962413800\ 0241819*c_1001_3^8 - 20957369475747520783872494756/2354226826962413\ 8000241819*c_1001_3^7 - 3646888301911691505251822757/23542268269624\ 138000241819*c_1001_3^6 + 10572125194624270831652932024/23542268269\ 624138000241819*c_1001_3^5 - 3346800332579493081979450320/235422682\ 69624138000241819*c_1001_3^4 + 4603888009193451637714217460/2354226\ 8269624138000241819*c_1001_3^3 + 2176662506937352025694041594/23542\ 268269624138000241819*c_1001_3^2 - 2604276316431220708491812340/23542268269624138000241819*c_1001_3 + 333834555893949594230219380/23542268269624138000241819, c_1001_3^15 + 17*c_1001_3^14 + 97*c_1001_3^13 + 185*c_1001_3^12 - 390*c_1001_3^11 - 1131*c_1001_3^10 - 169*c_1001_3^9 + 3356*c_1001_3^8 - 667*c_1001_3^7 - 1885*c_1001_3^6 + 1175*c_1001_3^5 - 856*c_1001_3^4 - 79*c_1001_3^3 + 552*c_1001_3^2 - 220*c_1001_3 + 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB