Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3229703181] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1616 geometric_solution 5.37380124 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 0 1 -1 0 0 1 -1 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.520859451385 0.207552923445 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 -1 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 1.004466975313 0.867283297755 4 1 5 3 0132 0132 0132 1230 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 -1 1 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 1.111274022477 0.930556907656 2 5 1 4 3012 1023 0132 1023 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 0 0 0 0 0 0 1.111274022477 0.930556907656 2 4 4 3 0132 3201 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.019548854714 0.694018630610 3 6 6 2 1023 0132 3201 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 1 -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.731145279018 0.297019686763 5 5 6 6 2310 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 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 1.408460983743 0.583794719127 ==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_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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 17905586389625544773753522251602/11250013200208364723275026589*c_01\ 01_6^16 - 14396564312290171580623565221215/112500132002083647232750\ 26589*c_0101_6^15 + 14761372391053678387215099090954/11250013200208\ 364723275026589*c_0101_6^14 + 77990569255941598337133434327353/1125\ 0013200208364723275026589*c_0101_6^13 - 217373778536343785219812606709220/11250013200208364723275026589*c_0\ 101_6^12 + 325121062024540870325114683824692/1125001320020836472327\ 5026589*c_0101_6^11 - 454359190733780588941856437527232/11250013200\ 208364723275026589*c_0101_6^10 + 226395481007587738916867979749801/\ 11250013200208364723275026589*c_0101_6^9 - 460174345118422246421084573090348/11250013200208364723275026589*c_0\ 101_6^8 - 43174239329481050340986987184133/112500132002083647232750\ 26589*c_0101_6^7 - 226108637060199730063258393707670/11250013200208\ 364723275026589*c_0101_6^6 - 117259174005318801245977281869550/1125\ 0013200208364723275026589*c_0101_6^5 - 27304010107898778632250434505188/11250013200208364723275026589*c_01\ 01_6^4 - 91781406793748315376185810211467/1125001320020836472327502\ 6589*c_0101_6^3 + 61796244469295771609208666523288/1125001320020836\ 4723275026589*c_0101_6^2 + 66917565431816787650133994311755/1125001\ 3200208364723275026589*c_0101_6 + 11356767078584598344737533547293/\ 11250013200208364723275026589, c_0011_0 - 1, c_0011_3 - 5023225873905347865409425918/115979517527921285806959037*c_0\ 101_6^16 + 5543048871284110954975890441/115979517527921285806959037\ *c_0101_6^15 - 5751651000907493903051223354/11597951752792128580695\ 9037*c_0101_6^14 - 20197169204769638225475233753/115979517527921285\ 806959037*c_0101_6^13 + 67079454342335776446900059611/1159795175279\ 21285806959037*c_0101_6^12 - 111084070294147613161901248254/1159795\ 17527921285806959037*c_0101_6^11 + 160123557303872920533393398070/115979517527921285806959037*c_0101_6\ ^10 - 110521769927741281737837271828/115979517527921285806959037*c_\ 0101_6^9 + 160851775015503434913422909175/1159795175279212858069590\ 37*c_0101_6^8 - 35359628859766141980634838197/115979517527921285806\ 959037*c_0101_6^7 + 72691490152163433955020238082/11597951752792128\ 5806959037*c_0101_6^6 + 10942309621604909502014674882/1159795175279\ 21285806959037*c_0101_6^5 + 3742446852838777372134246982/1159795175\ 27921285806959037*c_0101_6^4 + 24147061671610185295449413737/115979\ 517527921285806959037*c_0101_6^3 - 24539286498615567641349074559/115979517527921285806959037*c_0101_6^\ 2 - 11710997860580195245146282442/115979517527921285806959037*c_010\ 1_6 + 541054339001962596972841865/115979517527921285806959037, c_0101_0 - 3083289505677384162560213148/115979517527921285806959037*c_0\ 101_6^16 + 3381068776130910192367618803/115979517527921285806959037\ *c_0101_6^15 - 3516644025128918545087489713/11597951752792128580695\ 9037*c_0101_6^14 - 12415732618444195347161455228/115979517527921285\ 806959037*c_0101_6^13 + 41082453501495625359145675599/1159795175279\ 21285806959037*c_0101_6^12 - 67939819697136922871995903002/11597951\ 7527921285806959037*c_0101_6^11 + 97925069839079951050024250402/115\ 979517527921285806959037*c_0101_6^10 - 67312199036007807471236910330/115979517527921285806959037*c_0101_6^\ 9 + 98492957280431397930089555674/115979517527921285806959037*c_010\ 1_6^8 - 21130116159309865613927981919/115979517527921285806959037*c\ _0101_6^7 + 44686773093029125498395607786/1159795175279212858069590\ 37*c_0101_6^6 + 7116692646412561485251316790/1159795175279212858069\ 59037*c_0101_6^5 + 2292090464547756234984665735/1159795175279212858\ 06959037*c_0101_6^4 + 15000856398812459419407359667/115979517527921\ 285806959037*c_0101_6^3 - 15143266082646146504230853778/11597951752\ 7921285806959037*c_0101_6^2 - 7209064333313478074112879506/11597951\ 7527921285806959037*c_0101_6 + 211014037614909789055918407/11597951\ 7527921285806959037, c_0101_1 - 12371411500547196128285302785/115979517527921285806959037*c_\ 0101_6^16 + 13439642476426008430173029721/1159795175279212858069590\ 37*c_0101_6^15 - 13892401606190484587347487214/11597951752792128580\ 6959037*c_0101_6^14 - 50059233218109870925123830061/115979517527921\ 285806959037*c_0101_6^13 + 164418198659570275860300093458/115979517\ 527921285806959037*c_0101_6^12 - 270633328962711029931456708575/115\ 979517527921285806959037*c_0101_6^11 + 389054198918740451905776099582/115979517527921285806959037*c_0101_6\ ^10 - 264245611662118590280201042778/115979517527921285806959037*c_\ 0101_6^9 + 389668465178261555696786121564/1159795175279212858069590\ 37*c_0101_6^8 - 78411116514925359860530668946/115979517527921285806\ 959037*c_0101_6^7 + 175421512569486047455548348801/1159795175279212\ 85806959037*c_0101_6^6 + 31775593600263550154826504632/115979517527\ 921285806959037*c_0101_6^5 + 8566851673276783164181150786/115979517\ 527921285806959037*c_0101_6^4 + 60573283032495576634857917298/11597\ 9517527921285806959037*c_0101_6^3 - 59928274904678495508866137882/115979517527921285806959037*c_0101_6^\ 2 - 29846566074532499703527410078/115979517527921285806959037*c_010\ 1_6 + 995516678977466829866378002/115979517527921285806959037, c_0101_2 - 6321800495130217403956989354/115979517527921285806959037*c_0\ 101_6^16 + 6926611079838999465900265437/115979517527921285806959037\ *c_0101_6^15 - 7173980706450460158662650389/11597951752792128580695\ 9037*c_0101_6^14 - 25508451391591976148381288224/115979517527921285\ 806959037*c_0101_6^13 + 84232826064521375320474671934/1159795175279\ 21285806959037*c_0101_6^12 - 139096584339153006680601929357/1159795\ 17527921285806959037*c_0101_6^11 + 200190361028202587260841567520/115979517527921285806959037*c_0101_6\ ^10 - 137098751306004541810963628534/115979517527921285806959037*c_\ 0101_6^9 + 200882372222581673696182318562/1159795175279212858069590\ 37*c_0101_6^8 - 42493728075114336105292142478/115979517527921285806\ 959037*c_0101_6^7 + 90984109940171602153834040011/11597951752792128\ 5806959037*c_0101_6^6 + 14842232823303170662474638271/1159795175279\ 21285806959037*c_0101_6^5 + 5018764689031360343862472908/1159795175\ 27921285806959037*c_0101_6^4 + 30567510797478909807540485380/115979\ 517527921285806959037*c_0101_6^3 - 30701747130563296860449478195/115979517527921285806959037*c_0101_6^\ 2 - 15046231387912923743447908096/115979517527921285806959037*c_010\ 1_6 + 558137150706281221537156878/115979517527921285806959037, c_0101_5 - 2484390028478304820644471753/115979517527921285806959037*c_0\ 101_6^16 + 2774101678902281667959059437/115979517527921285806959037\ *c_0101_6^15 - 2883196282865994913974575031/11597951752792128580695\ 9037*c_0101_6^14 - 9952004381814019166340065664/1159795175279212858\ 06959037*c_0101_6^13 + 33297995427699787172980258682/11597951752792\ 1285806959037*c_0101_6^12 - 55383289438812697128575373169/115979517\ 527921285806959037*c_0101_6^11 + 79939978112761268643798360534/1159\ 79517527921285806959037*c_0101_6^10 - 55769156001631898016768396610/115979517527921285806959037*c_0101_6^\ 9 + 80397430684098066054039968744/115979517527921285806959037*c_010\ 1_6^8 - 18606254026106239270513255841/115979517527921285806959037*c\ _0101_6^7 + 36296212788483021923047896101/1159795175279212858069590\ 37*c_0101_6^6 + 5091706705959674410938850734/1159795175279212858069\ 59037*c_0101_6^5 + 1851346677648214756410699227/1159795175279212858\ 06959037*c_0101_6^4 + 12063758010672498273184667565/115979517527921\ 285806959037*c_0101_6^3 - 12298846785793386855099493596/11597951752\ 7921285806959037*c_0101_6^2 - 5591361986232266746781569828/11597951\ 7527921285806959037*c_0101_6 + 317693077944289006064290981/11597951\ 7527921285806959037, c_0101_6^17 - 2/3*c_0101_6^16 + 2/3*c_0101_6^15 + 122/27*c_0101_6^14 - 313/27*c_0101_6^13 + 440/27*c_0101_6^12 - 601/27*c_0101_6^11 + 220/27*c_0101_6^10 - 608/27*c_0101_6^9 - 62/9*c_0101_6^8 - 311/27*c_0101_6^7 - 230/27*c_0101_6^6 - 16/9*c_0101_6^5 - 140/27*c_0101_6^4 + 25/9*c_0101_6^3 + 40/9*c_0101_6^2 + 25/27*c_0101_6 - 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB