Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 947496215] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2536 geometric_solution 5.84351481 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 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 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.573470177650 0.611206463745 0 3 4 3 0132 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.091192427158 1.261959139394 4 4 0 3 0321 0213 0132 2310 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 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 0 0 0 0 0 0 1.201616798187 1.033706202181 2 1 5 1 3201 0132 0132 2103 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 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.475601688834 0.641075195553 2 5 2 1 0321 1230 0213 0132 0 0 0 0 0 -1 1 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 -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.014334913552 0.802112305493 6 6 4 3 0132 3201 3012 0132 0 0 0 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 -1 0 1 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.175381319996 0.469780900627 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 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 0 0 0 0 1 -1 0 1 0 0 -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 -1.160104908165 0.805214875776 ==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' : negation(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' : 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_5'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0110_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : negation(d['c_0101_5']), '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_5, c_0101_0, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 120208119508634368697785/12223060022382765105536*c_0110_3^19 + 805182699937256056374467/6111530011191382552768*c_0110_3^18 - 7741504376608462346457273/12223060022382765105536*c_0110_3^17 + 13551800774140333978106503/12223060022382765105536*c_0110_3^16 + 4477016162701382884574155/6111530011191382552768*c_0110_3^15 - 1792733147667373348863357/381970625699461409548*c_0110_3^14 + 307593219799954476384807/190985312849730704774*c_0110_3^13 + 137774613760711518674437423/12223060022382765105536*c_0110_3^12 - 126369275190995981732026685/12223060022382765105536*c_0110_3^11 - 181907441213667723055761213/12223060022382765105536*c_0110_3^10 + 264978080162711959480848767/12223060022382765105536*c_0110_3^9 + 112191821032802802620156783/12223060022382765105536*c_0110_3^8 - 271146127795818921597479817/12223060022382765105536*c_0110_3^7 - 1627411028595806996868457/873075715884483221824*c_0110_3^6 + 74606941285477631475757307/6111530011191382552768*c_0110_3^5 - 5137636877322103410768457/12223060022382765105536*c_0110_3^4 - 11660902543460950841959997/3055765005595691276384*c_0110_3^3 + 728175725970606344926693/12223060022382765105536*c_0110_3^2 + 67560213678963444668365/124725102269211888832*c_0110_3 + 105900459158138625876479/3055765005595691276384, c_0011_0 - 1, c_0011_2 - 724369312595271607/529045187949392534*c_0110_3^19 + 9978335307446170213/529045187949392534*c_0110_3^18 - 50423705710929999745/529045187949392534*c_0110_3^17 + 50371013558844207543/264522593974696267*c_0110_3^16 + 15403091383273643309/529045187949392534*c_0110_3^15 - 174181932631312243857/264522593974696267*c_0110_3^14 + 121192993112041852025/264522593974696267*c_0110_3^13 + 741578315915731891533/529045187949392534*c_0110_3^12 - 510660754075386020110/264522593974696267*c_0110_3^11 - 366420637625062249990/264522593974696267*c_0110_3^10 + 917860081565705293424/264522593974696267*c_0110_3^9 + 27958713534493880994/264522593974696267*c_0110_3^8 - 817271685055696460052/264522593974696267*c_0110_3^7 + 53318406316725397747/75577883992770362*c_0110_3^6 + 391292991160935849687/264522593974696267*c_0110_3^5 - 254230304082637259693/529045187949392534*c_0110_3^4 - 215813153955166406797/529045187949392534*c_0110_3^3 + 62742757052667785305/529045187949392534*c_0110_3^2 + 577001235799615183/10796840570395766*c_0110_3 - 2231482787709637582/264522593974696267, c_0011_4 + 386422290033257400/264522593974696267*c_0110_3^19 - 5264518888987637641/264522593974696267*c_0110_3^18 + 26087737275632074054/264522593974696267*c_0110_3^17 - 49576224871220716339/264522593974696267*c_0110_3^16 - 17005805509937812054/264522593974696267*c_0110_3^15 + 186801110681749584589/264522593974696267*c_0110_3^14 - 104183570030428973850/264522593974696267*c_0110_3^13 - 417247040653613245687/264522593974696267*c_0110_3^12 + 495193301694609168053/264522593974696267*c_0110_3^11 + 471639716575559821280/264522593974696267*c_0110_3^10 - 944790778787019597093/264522593974696267*c_0110_3^9 - 155992565555644503751/264522593974696267*c_0110_3^8 + 892860150641324371850/264522593974696267*c_0110_3^7 - 2213795343377723792/5398420285197883*c_0110_3^6 - 454563347710344299121/264522593974696267*c_0110_3^5 + 105382223655819010254/264522593974696267*c_0110_3^4 + 132051561012980379766/264522593974696267*c_0110_3^3 - 28971015439177880321/264522593974696267*c_0110_3^2 - 2516263256376939654/37788941996385181*c_0110_3 + 2275863573659572219/264522593974696267, c_0011_5 + 137598230912915939/264522593974696267*c_0110_3^19 - 1883710150783323754/264522593974696267*c_0110_3^18 + 9434270077734257017/264522593974696267*c_0110_3^17 - 18549918009366964813/264522593974696267*c_0110_3^16 - 3505045287139187058/264522593974696267*c_0110_3^15 + 64364349995890683785/264522593974696267*c_0110_3^14 - 42665812159538566354/264522593974696267*c_0110_3^13 - 135945260064992139068/264522593974696267*c_0110_3^12 + 180776878645648227447/264522593974696267*c_0110_3^11 + 134113259477872306929/264522593974696267*c_0110_3^10 - 322094075472254369612/264522593974696267*c_0110_3^9 - 8211887499501381714/264522593974696267*c_0110_3^8 + 272683388121669569732/264522593974696267*c_0110_3^7 - 9427061115816568855/37788941996385181*c_0110_3^6 - 116006832984921730604/264522593974696267*c_0110_3^5 + 39844537043070682707/264522593974696267*c_0110_3^4 + 27058898612118574989/264522593974696267*c_0110_3^3 - 7591682857040927668/264522593974696267*c_0110_3^2 - 359980936066980745/37788941996385181*c_0110_3 + 285542899715807813/264522593974696267, c_0101_0 - 214342643516879205/529045187949392534*c_0110_3^19 + 3018491532959854817/529045187949392534*c_0110_3^18 - 15849707747278021713/529045187949392534*c_0110_3^17 + 17357703951527852055/264522593974696267*c_0110_3^16 - 6409483254783725091/529045187949392534*c_0110_3^15 - 49945139595168842774/264522593974696267*c_0110_3^14 + 50143493784483258402/264522593974696267*c_0110_3^13 + 188046655849731668671/529045187949392534*c_0110_3^12 - 176424603351006177995/264522593974696267*c_0110_3^11 - 56307179526165714642/264522593974696267*c_0110_3^10 + 281312573733174426966/264522593974696267*c_0110_3^9 - 68566813661582289703/264522593974696267*c_0110_3^8 - 213671832423069276064/264522593974696267*c_0110_3^7 + 29767704385984391503/75577883992770362*c_0110_3^6 + 84162550049760338668/264522593974696267*c_0110_3^5 - 102132414628185570717/529045187949392534*c_0110_3^4 - 39598345221698890125/529045187949392534*c_0110_3^3 + 22494642808893333205/529045187949392534*c_0110_3^2 + 738293020273165057/75577883992770362*c_0110_3 - 647529181286994220/264522593974696267, c_0101_5 + 277355107730415293/529045187949392534*c_0110_3^19 - 3800896387098472595/529045187949392534*c_0110_3^18 + 19008465731678026467/529045187949392534*c_0110_3^17 - 18411879125827334972/264522593974696267*c_0110_3^16 - 10635642413252724281/529045187949392534*c_0110_3^15 + 68731971268086058508/264522593974696267*c_0110_3^14 - 42397835588589662093/264522593974696267*c_0110_3^13 - 301776106320081563099/529045187949392534*c_0110_3^12 + 191585035502355556989/264522593974696267*c_0110_3^11 + 164617415842782379132/264522593974696267*c_0110_3^10 - 362576884889053963684/264522593974696267*c_0110_3^9 - 39761434282334181818/264522593974696267*c_0110_3^8 + 342984613448399752138/264522593974696267*c_0110_3^7 - 16947029749428846187/75577883992770362*c_0110_3^6 - 175957065327691382653/264522593974696267*c_0110_3^5 + 100452541394931209765/529045187949392534*c_0110_3^4 + 103923977155713358291/529045187949392534*c_0110_3^3 - 29459757965848656483/529045187949392534*c_0110_3^2 - 2107082039627489189/75577883992770362*c_0110_3 + 1300458719905415106/264522593974696267, c_0110_3^20 - 13*c_0110_3^19 + 59*c_0110_3^18 - 86*c_0110_3^17 - 125*c_0110_3^16 + 458*c_0110_3^15 + 32*c_0110_3^14 - 1255*c_0110_3^13 + 614*c_0110_3^12 + 2034*c_0110_3^11 - 1706*c_0110_3^10 - 1942*c_0110_3^9 + 2098*c_0110_3^8 + 1159*c_0110_3^7 - 1384*c_0110_3^6 - 453*c_0110_3^5 + 525*c_0110_3^4 + 135*c_0110_3^3 - 95*c_0110_3^2 - 22*c_0110_3 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB