Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1124261767] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0437 geometric_solution 4.48719799 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 0 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 0 0 0 0 0 0 0 -0.151877534939 0.193831157871 0 0 2 2 0132 2310 2310 0132 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 -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 1.660446006784 3.054502168705 3 1 1 4 0132 3201 0132 0132 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 1 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.264036427476 0.275667240763 2 5 4 4 0132 0132 1302 3201 0 0 0 0 0 -1 1 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.142223893662 0.809663414407 3 3 2 5 2031 2310 0132 2310 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 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.142223893662 0.809663414407 4 3 6 6 3201 0132 0132 2310 0 0 0 0 0 1 -1 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 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.029723051621 2.100761836114 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.538610201800 0.228545000999 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_2_6' : 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_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_6'], 'c_1100_5' : d['c_0011_6'], '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' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_6'], '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_0']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_0']), '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_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1456872999256354741877106218/2004676866219020462041041*c_0101_5^16 - 1181859688658465770435002763/668225622073006820680347*c_0101_5^15 + 3583051700632819496388455338/668225622073006820680347*c_0101_5^14 + 21594066904678268660819562668/2004676866219020462041041*c_0101_5^13 - 61760069864038286533791688490/2004676866219020462041041*c_0101_5^\ 12 + 2920896471719355882913359580/2004676866219020462041041*c_0101_\ 5^11 + 3814503982568414816878273060/668225622073006820680347*c_0101\ _5^10 - 182746490693220323493926816564/2004676866219020462041041*c_\ 0101_5^9 + 324956487318019893876871850959/2004676866219020462041041\ *c_0101_5^8 + 64039221590600671456840151680/28638240945986006600586\ 3*c_0101_5^7 - 7374087108236638796966702188/66822562207300682068034\ 7*c_0101_5^6 - 1029202772777485550282256512669/20046768662190204620\ 41041*c_0101_5^5 + 16200623294542123083570025297/286382409459860066\ 005863*c_0101_5^4 + 197012790263639411115211518814/6682256220730068\ 20680347*c_0101_5^3 - 196051856854138780926215401244/20046768662190\ 20462041041*c_0101_5^2 - 11770885658164402648147930496/286382409459\ 860066005863*c_0101_5 + 53967595543127225905207079362/2004676866219\ 020462041041, c_0011_0 - 1, c_0011_2 + 4469030712452090652130/4545752531108889936601*c_0101_5^16 + 10882492190926886825984/4545752531108889936601*c_0101_5^15 - 33025780434772347021718/4545752531108889936601*c_0101_5^14 - 66466253814306997260378/4545752531108889936601*c_0101_5^13 + 189784929503586345961929/4545752531108889936601*c_0101_5^12 - 7700053443471999178525/4545752531108889936601*c_0101_5^11 - 37590246061858588641519/4545752531108889936601*c_0101_5^10 + 560681280561225762411528/4545752531108889936601*c_0101_5^9 - 996442034356475530456240/4545752531108889936601*c_0101_5^8 - 1385560247193957414424602/4545752531108889936601*c_0101_5^7 + 79032509727583008998249/4545752531108889936601*c_0101_5^6 + 3176164781567567240052465/4545752531108889936601*c_0101_5^5 - 336710107146244555033965/4545752531108889936601*c_0101_5^4 - 1846063814162019207062402/4545752531108889936601*c_0101_5^3 + 604830057712596661507303/4545752531108889936601*c_0101_5^2 + 266014634089965917779880/4545752531108889936601*c_0101_5 - 174275915320999445277437/4545752531108889936601, c_0011_4 - 625899480067076195656/4545752531108889936601*c_0101_5^16 - 1477182601911916326721/4545752531108889936601*c_0101_5^15 + 4717029395516401100585/4545752531108889936601*c_0101_5^14 + 8905874812664031753082/4545752531108889936601*c_0101_5^13 - 27126319377503334237262/4545752531108889936601*c_0101_5^12 + 3380077453962798645458/4545752531108889936601*c_0101_5^11 + 4312196288951901502642/4545752531108889936601*c_0101_5^10 - 78737532182346015670045/4545752531108889936601*c_0101_5^9 + 145232764812566813325893/4545752531108889936601*c_0101_5^8 + 180878239067674630030301/4545752531108889936601*c_0101_5^7 - 21087540259841659229892/4545752531108889936601*c_0101_5^6 - 438131698013021373197501/4545752531108889936601*c_0101_5^5 + 82420242110200093945483/4545752531108889936601*c_0101_5^4 + 242791310037453619498973/4545752531108889936601*c_0101_5^3 - 97299714627250538179210/4545752531108889936601*c_0101_5^2 - 30259023438523047091865/4545752531108889936601*c_0101_5 + 24141733455999537666785/4545752531108889936601, c_0011_6 + 3356557210264398368959/4545752531108889936601*c_0101_5^16 + 8267882043824664835299/4545752531108889936601*c_0101_5^15 - 24548896150654523292935/4545752531108889936601*c_0101_5^14 - 50500788757546519781394/4545752531108889936601*c_0101_5^13 + 141097189733389502822471/4545752531108889936601*c_0101_5^12 - 2476360311465832199995/4545752531108889936601*c_0101_5^11 - 28123674978640456851696/4545752531108889936601*c_0101_5^10 + 422081829301160472320036/4545752531108889936601*c_0101_5^9 - 736643897094322657253868/4545752531108889936601*c_0101_5^8 - 1057697283824173453153518/4545752531108889936601*c_0101_5^7 + 31188848496413731615802/4545752531108889936601*c_0101_5^6 + 2370312714497528764799149/4545752531108889936601*c_0101_5^5 - 201591477397187346887916/4545752531108889936601*c_0101_5^4 - 1385740625800261488746993/4545752531108889936601*c_0101_5^3 + 440013081423661128463059/4545752531108889936601*c_0101_5^2 + 205002109398761969602639/4545752531108889936601*c_0101_5 - 128756399206327689941516/4545752531108889936601, c_0101_0 - 2758964609203746698822/4545752531108889936601*c_0101_5^16 - 6728842791386240144820/4545752531108889936601*c_0101_5^15 + 20419838556702405921581/4545752531108889936601*c_0101_5^14 + 41256940642596104638936/4545752531108889936601*c_0101_5^13 - 117377017137761637954536/4545752531108889936601*c_0101_5^12 + 3492044986813026417829/4545752531108889936601*c_0101_5^11 + 25334578983703077833361/4545752531108889936601*c_0101_5^10 - 346276372862471581830323/4545752531108889936601*c_0101_5^9 + 614472694688695180512593/4545752531108889936601*c_0101_5^8 + 864574775977344531943230/4545752531108889936601*c_0101_5^7 - 56528901103055424278696/4545752531108889936601*c_0101_5^6 - 1976213434470583730571134/4545752531108889936601*c_0101_5^5 + 192086025743414066227698/4545752531108889936601*c_0101_5^4 + 1175182564704937191560563/4545752531108889936601*c_0101_5^3 - 371701277439439830376709/4545752531108889936601*c_0101_5^2 - 176740024689571358132488/4545752531108889936601*c_0101_5 + 109821666642682118932123/4545752531108889936601, c_0101_1 - 7037822333457332696034/4545752531108889936601*c_0101_5^16 - 17289569802767249927075/4545752531108889936601*c_0101_5^15 + 51571034959673704907657/4545752531108889936601*c_0101_5^14 + 105529732983830234895062/4545752531108889936601*c_0101_5^13 - 296409372881339120598793/4545752531108889936601*c_0101_5^12 + 7165251010368153207057/4545752531108889936601*c_0101_5^11 + 58178495795937624304646/4545752531108889936601*c_0101_5^10 - 884276046188229259540645/4545752531108889936601*c_0101_5^9 + 1549862132185953214624163/4545752531108889936601*c_0101_5^8 + 2205273439054750949865937/4545752531108889936601*c_0101_5^7 - 74639767206275983244992/4545752531108889936601*c_0101_5^6 - 4970644559923418741275418/4545752531108889936601*c_0101_5^5 + 451879406090641705121744/4545752531108889936601*c_0101_5^4 + 2903018689026456218220630/4545752531108889936601*c_0101_5^3 - 920743101326444799095452/4545752531108889936601*c_0101_5^2 - 426631195905022369965177/4545752531108889936601*c_0101_5 + 264072927411803267690046/4545752531108889936601, c_0101_5^17 + 3*c_0101_5^16 - 6*c_0101_5^15 - 19*c_0101_5^14 + 34*c_0101_5^13 + 22*c_0101_5^12 - 9*c_0101_5^11 + 121*c_0101_5^10 - 152*c_0101_5^9 - 434*c_0101_5^8 - 159*c_0101_5^7 + 715*c_0101_5^6 + 322*c_0101_5^5 - 450*c_0101_5^4 - 95*c_0101_5^3 + 133*c_0101_5^2 - 5*c_0101_5 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB