Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 896838143] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1674 geometric_solution 5.40364800 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.135031384629 0.939502925307 0 1 1 0 0132 3201 2310 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.640742215366 0.134742344682 0 3 4 0 3201 0132 0132 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 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.604864284313 0.676987744868 5 2 6 4 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 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.133355432309 0.777065944564 6 3 5 2 1023 2310 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133355432309 0.777065944564 3 4 5 5 0132 3201 1230 3012 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 -1 1 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.155600455077 0.822201884206 6 4 6 3 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694087014456 1.276963164063 ==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' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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: 22 Groebner basis: [ t - 336485537473953792294983675757469936/109762471408304210695549073814\ 462933*c_0101_5^21 + 4948767467470330383200773312070149583/10976247\ 1408304210695549073814462933*c_0101_5^20 + 22645667764984948472382231518628585220/1097624714083042106955490738\ 14462933*c_0101_5^19 - 7282116948795331432422900688936037027/365874\ 90469434736898516357938154311*c_0101_5^18 - 29374840679742448943646769654066903059/3658749046943473689851635793\ 8154311*c_0101_5^17 + 36189985544271386408200034944678734738/365874\ 90469434736898516357938154311*c_0101_5^16 + 47623248042362649878896702310277660758/3658749046943473689851635793\ 8154311*c_0101_5^15 - 341141227828898929495987234493728753040/10976\ 2471408304210695549073814462933*c_0101_5^14 - 420912633461955867811991113903457459315/109762471408304210695549073\ 814462933*c_0101_5^13 - 82433206229373234548417075909327548934/1097\ 62471408304210695549073814462933*c_0101_5^12 + 15780955846964929094064186354875435279/1097624714083042106955490738\ 14462933*c_0101_5^11 + 118114653964175001532317720494612687410/1097\ 62471408304210695549073814462933*c_0101_5^10 + 124871387481835847110903976201726919653/365874904694347368985163579\ 38154311*c_0101_5^9 + 212699233727625511120310872767283994945/10976\ 2471408304210695549073814462933*c_0101_5^8 - 10003050194713268487619587745008300664/1097624714083042106955490738\ 14462933*c_0101_5^7 - 2249979911077367250709641059584873472/9978406\ 491664019154140824892223903*c_0101_5^6 - 1146073479498847753869782109192506149/10976247140830421069554907381\ 4462933*c_0101_5^5 + 18044517081842049551636222166550258980/3658749\ 0469434736898516357938154311*c_0101_5^4 + 1750452427678178933520086591454879626/36587490469434736898516357938\ 154311*c_0101_5^3 - 10961817633200718228117454115507959123/10976247\ 1408304210695549073814462933*c_0101_5^2 - 3122538258639869833513825228839671036/10976247140830421069554907381\ 4462933*c_0101_5 - 1685348518093345370709970394899547557/1097624714\ 08304210695549073814462933, c_0011_0 - 1, c_0011_2 + 387294933909210078175291969147/31085378478704109514457398418\ 143*c_0101_5^21 - 4267155528180483828363025200214/31085378478704109\ 514457398418143*c_0101_5^20 - 47475424615302693164296638688590/3108\ 5378478704109514457398418143*c_0101_5^19 - 64024976152037332124125247684019/31085378478704109514457398418143*c\ _0101_5^18 + 201673561919553714386633591283363/31085378478704109514\ 457398418143*c_0101_5^17 + 174203623961360216883162120862548/310853\ 78478704109514457398418143*c_0101_5^16 - 584180610807620610197976533961381/31085378478704109514457398418143*\ c_0101_5^15 - 18067447171202334654206747806696/31085378478704109514\ 457398418143*c_0101_5^14 + 1670558619577315405035582412971603/31085\ 378478704109514457398418143*c_0101_5^13 + 1642169094932288935555057726711943/31085378478704109514457398418143\ *c_0101_5^12 + 655145604290776299768555520671370/310853784787041095\ 14457398418143*c_0101_5^11 + 29098497044136717086951879930891/31085\ 378478704109514457398418143*c_0101_5^10 - 936150712089600259493961240004307/31085378478704109514457398418143*\ c_0101_5^9 - 1617118800921682967136471732487949/3108537847870410951\ 4457398418143*c_0101_5^8 - 831019354109462419162501504873266/310853\ 78478704109514457398418143*c_0101_5^7 - 184166861816746421681245863880093/31085378478704109514457398418143*\ c_0101_5^6 + 5163349627951795782674480955307/3108537847870410951445\ 7398418143*c_0101_5^5 - 109087660560630386031001274534393/310853784\ 78704109514457398418143*c_0101_5^4 - 227151670017316010884017775075929/31085378478704109514457398418143*\ c_0101_5^3 - 67218060558503283633365266508095/310853784787041095144\ 57398418143*c_0101_5^2 + 94597894808646077782066273630/310853784787\ 04109514457398418143*c_0101_5 + 26140471579368156493627283179220/31\ 085378478704109514457398418143, c_0011_4 + 1014696264053679919538705103892897/3326135497221339718046941\ 630741301*c_0101_5^21 - 16421956370086084470674371775242955/3326135\ 497221339718046941630741301*c_0101_5^20 - 43571799923563806198003972753899405/3326135497221339718046941630741\ 301*c_0101_5^19 + 122316872406414537150239102527819409/332613549722\ 1339718046941630741301*c_0101_5^18 + 71623478805921406989772210770318861/3326135497221339718046941630741\ 301*c_0101_5^17 - 361023912647142209287883618175380988/332613549722\ 1339718046941630741301*c_0101_5^16 + 85611879491523216747435876109303673/3326135497221339718046941630741\ 301*c_0101_5^15 + 716522135241328785075133442331862687/332613549722\ 1339718046941630741301*c_0101_5^14 + 391550906231852801019862581882418651/332613549722133971804694163074\ 1301*c_0101_5^13 - 55326150982062273812693440541747875/332613549722\ 1339718046941630741301*c_0101_5^12 - 52013585507694167782889659914086341/3326135497221339718046941630741\ 301*c_0101_5^11 - 425178535144847419405182039621123488/332613549722\ 1339718046941630741301*c_0101_5^10 - 503411196148422414699624164234958700/332613549722133971804694163074\ 1301*c_0101_5^9 - 85450655206768818159834661464462227/3326135497221\ 339718046941630741301*c_0101_5^8 + 85259421884003612354900573144550283/3326135497221339718046941630741\ 301*c_0101_5^7 + 81801372782998973726352000412040671/33261354972213\ 39718046941630741301*c_0101_5^6 - 648196297303343912999812242629467\ 41/3326135497221339718046941630741301*c_0101_5^5 - 57953191761245302692130697844555037/3326135497221339718046941630741\ 301*c_0101_5^4 + 14241821664872442529390205879016984/33261354972213\ 39718046941630741301*c_0101_5^3 + 181916264067683021388452897104703\ 04/3326135497221339718046941630741301*c_0101_5^2 + 8318760779309247575024306199308472/33261354972213397180469416307413\ 01*c_0101_5 - 843504989069537769944228488054770/3326135497221339718\ 046941630741301, c_0101_0 - 3221353761627890687326921869568/3108537847870410951445739841\ 8143*c_0101_5^21 + 54805213294758427683232842781823/310853784787041\ 09514457398418143*c_0101_5^20 + 94738593765526259824237010834899/31\ 085378478704109514457398418143*c_0101_5^19 - 498091529178875037723819966780055/31085378478704109514457398418143*\ c_0101_5^18 + 128508877610904098433282837160512/3108537847870410951\ 4457398418143*c_0101_5^17 + 1326101409041735560138973190672034/3108\ 5378478704109514457398418143*c_0101_5^16 - 1396068816469061037296659720104313/31085378478704109514457398418143\ *c_0101_5^15 - 1902008721469675477051700605787012/31085378478704109\ 514457398418143*c_0101_5^14 + 970324755476251878991542021151238/310\ 85378478704109514457398418143*c_0101_5^13 + 631603383315980406334515995671248/31085378478704109514457398418143*\ c_0101_5^12 - 654806683215100900095386148055634/3108537847870410951\ 4457398418143*c_0101_5^11 + 1125401134061894912012697859282570/3108\ 5378478704109514457398418143*c_0101_5^10 + 494843114552236104580977793309899/31085378478704109514457398418143*\ c_0101_5^9 - 954291739018340751843869108746155/31085378478704109514\ 457398418143*c_0101_5^8 + 142077831231287280347115586260406/3108537\ 8478704109514457398418143*c_0101_5^7 + 257507050082773861335679486253166/31085378478704109514457398418143*\ c_0101_5^6 + 369033292910486814112115053636164/31085378478704109514\ 457398418143*c_0101_5^5 - 29510447359677713780498282247030/31085378\ 478704109514457398418143*c_0101_5^4 - 226101249180863268370196600041773/31085378478704109514457398418143*\ c_0101_5^3 + 106801140044645111667118162191964/31085378478704109514\ 457398418143*c_0101_5^2 + 35067996921745130547055182605564/31085378\ 478704109514457398418143*c_0101_5 + 12625454374969896827048004768065/31085378478704109514457398418143, c_0101_1 - 2547275711547110389659153381393/3108537847870410951445739841\ 8143*c_0101_5^21 + 36573007625234870386975839885559/310853784787041\ 09514457398418143*c_0101_5^20 + 183559266482539974089458088946405/3\ 1085378478704109514457398418143*c_0101_5^19 - 89395154059120763327145392879887/31085378478704109514457398418143*c\ _0101_5^18 - 690372310650138335150055341095772/31085378478704109514\ 457398418143*c_0101_5^17 + 465184925265227063224116278434229/310853\ 78478704109514457398418143*c_0101_5^16 + 1372177587596872952385643206632363/31085378478704109514457398418143\ *c_0101_5^15 - 1907612183162636939743718531543910/31085378478704109\ 514457398418143*c_0101_5^14 - 4326657219934592919436098811085095/31\ 085378478704109514457398418143*c_0101_5^13 - 2198980600607720437584697155946232/31085378478704109514457398418143\ *c_0101_5^12 - 299645793974552962301968200536782/310853784787041095\ 14457398418143*c_0101_5^11 + 822168557917622216455563895562238/3108\ 5378478704109514457398418143*c_0101_5^10 + 2967845641828540848143368611945220/31085378478704109514457398418143\ *c_0101_5^9 + 2896507991983378351700397656004574/310853784787041095\ 14457398418143*c_0101_5^8 + 762837836286489437668871842995945/31085\ 378478704109514457398418143*c_0101_5^7 - 65782914879656850490361268115583/31085378478704109514457398418143*c\ _0101_5^6 + 44985149472709542368443368845689/3108537847870410951445\ 7398418143*c_0101_5^5 + 448071479180107770544457099613159/310853784\ 78704109514457398418143*c_0101_5^4 + 333540443616975634656395972572423/31085378478704109514457398418143*\ c_0101_5^3 - 38302645150256833779526152087195/310853784787041095144\ 57398418143*c_0101_5^2 - 46501144511775905675820475376491/310853784\ 78704109514457398418143*c_0101_5 - 16409216021459501550053809268003/31085378478704109514457398418143, c_0101_3 - 608786415829606983792417853011229/33261354972213397180469416\ 30741301*c_0101_5^21 + 10455235966442416173775615099529882/33261354\ 97221339718046941630741301*c_0101_5^20 + 16519292454403637304671874298971997/3326135497221339718046941630741\ 301*c_0101_5^19 - 101355775794533666449489722114641704/332613549722\ 1339718046941630741301*c_0101_5^18 + 24115739066112616085826426403807780/3326135497221339718046941630741\ 301*c_0101_5^17 + 273593732199469735782627563009256003/332613549722\ 1339718046941630741301*c_0101_5^16 - 258775087283517365720270903508339469/332613549722133971804694163074\ 1301*c_0101_5^15 - 417328686350367527024215086188652197/33261354972\ 21339718046941630741301*c_0101_5^14 + 202748657511731622895197028933003503/332613549722133971804694163074\ 1301*c_0101_5^13 + 338118937637689731341994981191408324/33261354972\ 21339718046941630741301*c_0101_5^12 + 57996077604110358710109791716969953/3326135497221339718046941630741\ 301*c_0101_5^11 + 254966015847370392571208706800047720/332613549722\ 1339718046941630741301*c_0101_5^10 + 68596979025572600564100665199017519/3326135497221339718046941630741\ 301*c_0101_5^9 - 301710806586086325324134040085332262/3326135497221\ 339718046941630741301*c_0101_5^8 - 162511415525148013305505368328007314/332613549722133971804694163074\ 1301*c_0101_5^7 - 32512688492686259054681225545042496/3326135497221\ 339718046941630741301*c_0101_5^6 + 71056010351339447919537280926917853/3326135497221339718046941630741\ 301*c_0101_5^5 - 5757959442188532844995400461465970/332613549722133\ 9718046941630741301*c_0101_5^4 - 4648366027312955359710668221006206\ 7/3326135497221339718046941630741301*c_0101_5^3 - 11433108262710989507586016672771981/3326135497221339718046941630741\ 301*c_0101_5^2 + 629565193737847989777996812494308/3326135497221339\ 718046941630741301*c_0101_5 + 4000827147658849376110526579975501/33\ 26135497221339718046941630741301, c_0101_5^22 - 16*c_0101_5^21 - 46*c_0101_5^20 + 114*c_0101_5^19 + 95*c_0101_5^18 - 355*c_0101_5^17 + 23*c_0101_5^16 + 751*c_0101_5^15 + 483*c_0101_5^14 - 23*c_0101_5^13 - 47*c_0101_5^12 - 415*c_0101_5^11 - 579*c_0101_5^10 - 138*c_0101_5^9 + 82*c_0101_5^8 + 81*c_0101_5^7 - 49*c_0101_5^6 - 69*c_0101_5^5 + 7*c_0101_5^4 + 17*c_0101_5^3 + 7*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB