Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2446331208] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1741 geometric_solution 5.43986390 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 1.693058610562 0.536123963593 0 2 3 0 3201 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670541856404 0.617396895751 4 1 3 5 0132 0132 1302 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 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.468401392570 0.506502649758 2 5 4 1 2031 1023 0132 0132 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468401392570 0.506502649758 2 6 6 3 0132 0132 3201 0132 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 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.239093559079 0.792636031913 3 5 2 5 1023 1302 0132 2031 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 -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.576172055436 0.423838591477 4 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.994563977618 0.581357339640 ==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_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 75085849480540513770483355986119836/4711463163457157226516336154415\ 69*c_0110_5^25 + 849751719910654979075971504481563250/4711463163457\ 15722651633615441569*c_0110_5^24 - 2497864903325654409865051980975859927/47114631634571572265163361544\ 1569*c_0110_5^23 - 658402219467439999041305857254679248/47114631634\ 5715722651633615441569*c_0110_5^22 + 4141355340509711160137797308234315546/47114631634571572265163361544\ 1569*c_0110_5^21 + 13343548203786561217204555958679521589/471146316\ 345715722651633615441569*c_0110_5^20 + 1213067554014024870328567253714042303/47114631634571572265163361544\ 1569*c_0110_5^19 - 18454948899151034773826380258538394599/471146316\ 345715722651633615441569*c_0110_5^18 - 3894130972469974038826914358407696214/67306616620816531807376230777\ 367*c_0110_5^17 - 6682137932142172844355534635581614917/47114631634\ 5715722651633615441569*c_0110_5^16 + 12535217875570394963151171343624942253/4711463163457157226516336154\ 41569*c_0110_5^15 + 3043163110032953452459970813988436304/673066166\ 20816531807376230777367*c_0110_5^14 + 16993715440061245028227197355541344088/4711463163457157226516336154\ 41569*c_0110_5^13 + 3627131144839938877979101842109086514/471146316\ 345715722651633615441569*c_0110_5^12 - 1213863578962782069889040156486010299/67306616620816531807376230777\ 367*c_0110_5^11 - 459016827198215517101138972716186784/673066166208\ 16531807376230777367*c_0110_5^10 - 1491511197677637063614990482277903659/47114631634571572265163361544\ 1569*c_0110_5^9 - 4232766947467577469602764232157205123/47114631634\ 5715722651633615441569*c_0110_5^8 + 652588693592660324923206147460204532/471146316345715722651633615441\ 569*c_0110_5^7 + 2338854579288125667657215140919230211/471146316345\ 715722651633615441569*c_0110_5^6 - 2006990121897517857603608099808769825/47114631634571572265163361544\ 1569*c_0110_5^5 - 240679220579271727325955920069235671/673066166208\ 16531807376230777367*c_0110_5^4 + 163519073789550109812478204200546\ 5770/471146316345715722651633615441569*c_0110_5^3 - 979766688893485044382779719016104020/471146316345715722651633615441\ 569*c_0110_5^2 + 829784537394985361347233969564633665/4711463163457\ 15722651633615441569*c_0110_5 - 10665190243756480098439278177553479\ 8/471146316345715722651633615441569, c_0011_0 - 1, c_0011_1 + 180552940758869675562871085787319/67306616620816531807376230\ 777367*c_0110_5^25 - 2052842939370603128395261277151496/67306616620\ 816531807376230777367*c_0110_5^24 + 6110433105691964171253233846833658/67306616620816531807376230777367\ *c_0110_5^23 + 1306641885180778744094832285088542/67306616620816531\ 807376230777367*c_0110_5^22 - 10148298374992585884789253468674165/6\ 7306616620816531807376230777367*c_0110_5^21 - 31635539953715534097732795651333356/6730661662081653180737623077736\ 7*c_0110_5^20 - 1036278537292349820368862129207056/6730661662081653\ 1807376230777367*c_0110_5^19 + 45229525784121321431526725329283073/\ 67306616620816531807376230777367*c_0110_5^18 + 63505588342952219864929755715410018/6730661662081653180737623077736\ 7*c_0110_5^17 + 11788342596604186506414372333107988/673066166208165\ 31807376230777367*c_0110_5^16 - 32500867466553279793555490548759659\ /67306616620816531807376230777367*c_0110_5^15 - 50439054920076149725690668011674371/6730661662081653180737623077736\ 7*c_0110_5^14 - 37869432048517665806368981065204150/673066166208165\ 31807376230777367*c_0110_5^13 - 5629502158190881993287327938271756/\ 67306616620816531807376230777367*c_0110_5^12 + 21977757652650113821478190463037197/6730661662081653180737623077736\ 7*c_0110_5^11 + 7275105295430846264229780100281394/6730661662081653\ 1807376230777367*c_0110_5^10 + 3114964716441479637351491222490936/6\ 7306616620816531807376230777367*c_0110_5^9 + 9917944918271633859901751929009776/67306616620816531807376230777367\ *c_0110_5^8 - 2141602562246499757396253647461271/673066166208165318\ 07376230777367*c_0110_5^7 - 5825784593265178519803701287753105/6730\ 6616620816531807376230777367*c_0110_5^6 + 4996099584036881799520384760238441/67306616620816531807376230777367\ *c_0110_5^5 + 3862626109290179776179178322455820/673066166208165318\ 07376230777367*c_0110_5^4 - 4248337587986970804504494150152697/6730\ 6616620816531807376230777367*c_0110_5^3 + 2358628653933769764184973311987792/67306616620816531807376230777367\ *c_0110_5^2 - 2073800957944955218303604446784125/673066166208165318\ 07376230777367*c_0110_5 + 353109900853785926402094836801466/6730661\ 6620816531807376230777367, c_0011_3 - 108880916483054066143815624440100/67306616620816531807376230\ 777367*c_0110_5^25 + 1227715936621945148598039087970424/67306616620\ 816531807376230777367*c_0110_5^24 - 3568244060758072903390332431891939/67306616620816531807376230777367\ *c_0110_5^23 - 1136109498372865436173551985686421/67306616620816531\ 807376230777367*c_0110_5^22 + 6041918506120836122391621595985254/67\ 306616620816531807376230777367*c_0110_5^21 + 19698439700907912414157200161477641/6730661662081653180737623077736\ 7*c_0110_5^20 + 2382351811806841920768977936499358/6730661662081653\ 1807376230777367*c_0110_5^19 - 27333467481184924470927039110291800/\ 67306616620816531807376230777367*c_0110_5^18 - 40952266628375214639968272238553527/6730661662081653180737623077736\ 7*c_0110_5^17 - 10519324071823968117330806040303842/673066166208165\ 31807376230777367*c_0110_5^16 + 19273007861520163528656672337490120\ /67306616620816531807376230777367*c_0110_5^15 + 32289886204670176592597581007705866/6730661662081653180737623077736\ 7*c_0110_5^14 + 25421475204517091129562103281104467/673066166208165\ 31807376230777367*c_0110_5^13 + 5263739848855150608895227097541377/\ 67306616620816531807376230777367*c_0110_5^12 - 12969888955198123484630028429614513/6730661662081653180737623077736\ 7*c_0110_5^11 - 5522672616116554320038249575633612/6730661662081653\ 1807376230777367*c_0110_5^10 - 1981218452423653940033205609336353/6\ 7306616620816531807376230777367*c_0110_5^9 - 5976663056264418096497340176020534/67306616620816531807376230777367\ *c_0110_5^8 + 614419851097843182152870210861349/6730661662081653180\ 7376230777367*c_0110_5^7 + 3515744466870709217659845724218545/67306\ 616620816531807376230777367*c_0110_5^6 - 2747940195333640577537617714760921/67306616620816531807376230777367\ *c_0110_5^5 - 2760493898562876109280613843973420/673066166208165318\ 07376230777367*c_0110_5^4 + 2349261084941753466602063176609718/6730\ 6616620816531807376230777367*c_0110_5^3 - 1160651269892189386975237949540520/67306616620816531807376230777367\ *c_0110_5^2 + 1098135699419719507793037701146837/673066166208165318\ 07376230777367*c_0110_5 - 102042359278399855035721048179859/6730661\ 6620816531807376230777367, c_0101_0 - 73831674311622736197346068757433/673066166208165318073762307\ 77367*c_0110_5^25 + 827043131427366826978111676663258/6730661662081\ 6531807376230777367*c_0110_5^24 - 236550720033885591981095433253234\ 4/67306616620816531807376230777367*c_0110_5^23 - 867603667217311487645197537339707/67306616620816531807376230777367*\ c_0110_5^22 + 3828180775840802400482804792404914/673066166208165318\ 07376230777367*c_0110_5^21 + 13468599170400242111351659833604727/67\ 306616620816531807376230777367*c_0110_5^20 + 3034223633903326250092793353735840/67306616620816531807376230777367\ *c_0110_5^19 - 16847405970684879861349339301867448/6730661662081653\ 1807376230777367*c_0110_5^18 - 28540470326244774091466975848283290/\ 67306616620816531807376230777367*c_0110_5^17 - 11335895601873275949619484798714035/6730661662081653180737623077736\ 7*c_0110_5^16 + 8854818831134418225737099529176287/6730661662081653\ 1807376230777367*c_0110_5^15 + 21538423967408921710285987036907788/\ 67306616620816531807376230777367*c_0110_5^14 + 20697770420877358153610589127974780/6730661662081653180737623077736\ 7*c_0110_5^13 + 7849222349686877475366135448275415/6730661662081653\ 1807376230777367*c_0110_5^12 - 6412284418691550498131122540027268/6\ 7306616620816531807376230777367*c_0110_5^11 - 4058345639391801284909675357355807/67306616620816531807376230777367\ *c_0110_5^10 - 2897708474967487611613784282084255/67306616620816531\ 807376230777367*c_0110_5^9 - 4970801079655442963537839161416249/673\ 06616620816531807376230777367*c_0110_5^8 + 107212489252923414385790911196204/67306616620816531807376230777367*\ c_0110_5^7 + 2203693300485575458163192703149270/6730661662081653180\ 7376230777367*c_0110_5^6 - 1729235077588089511333005430956742/67306\ 616620816531807376230777367*c_0110_5^5 - 1649547273767719804856474097954677/67306616620816531807376230777367\ *c_0110_5^4 + 1416311245715683137640056563629678/673066166208165318\ 07376230777367*c_0110_5^3 - 955930130474820426086237734215901/67306\ 616620816531807376230777367*c_0110_5^2 + 742175226221114289577782592682613/67306616620816531807376230777367*\ c_0110_5 + 1235569557725198582205426567592/673066166208165318073762\ 30777367, c_0101_4 - 99648551095316230456117272401814/673066166208165318073762307\ 77367*c_0110_5^25 + 1139762701636305927313783539270119/673066166208\ 16531807376230777367*c_0110_5^24 - 3450489626317842509315186062150457/67306616620816531807376230777367\ *c_0110_5^23 - 480963189712874996886556208776772/673066166208165318\ 07376230777367*c_0110_5^22 + 5624326094358824052989067854332141/673\ 06616620816531807376230777367*c_0110_5^21 + 17032290904651658540079257819886539/6730661662081653180737623077736\ 7*c_0110_5^20 - 498920602001930994229909017316991/67306616620816531\ 807376230777367*c_0110_5^19 - 24766175431030550977001828222860415/6\ 7306616620816531807376230777367*c_0110_5^18 - 33393700546970132627777015247965625/6730661662081653180737623077736\ 7*c_0110_5^17 - 4749817252054641689395602490666143/6730661662081653\ 1807376230777367*c_0110_5^16 + 17807773820411242098323317275670452/\ 67306616620816531807376230777367*c_0110_5^15 + 26893497057213309731125071638017673/6730661662081653180737623077736\ 7*c_0110_5^14 + 19872914114199666934244130023321938/673066166208165\ 31807376230777367*c_0110_5^13 + 2308691326259094922337009413340475/\ 67306616620816531807376230777367*c_0110_5^12 - 12169404156639943037130931718670674/6730661662081653180737623077736\ 7*c_0110_5^11 - 3325314395560961188156927729709896/6730661662081653\ 1807376230777367*c_0110_5^10 - 1873284106326216247805449483093057/6\ 7306616620816531807376230777367*c_0110_5^9 - 5704437046434228201686946031842629/67306616620816531807376230777367\ *c_0110_5^8 + 1492957570204085954955560778998529/673066166208165318\ 07376230777367*c_0110_5^7 + 2970593173754995284351245677927941/6730\ 6616620816531807376230777367*c_0110_5^6 - 3037476983563167844968475082925482/67306616620816531807376230777367\ *c_0110_5^5 - 1762673632058699728956857076526421/673066166208165318\ 07376230777367*c_0110_5^4 + 2465094885613357442655036536742717/6730\ 6616620816531807376230777367*c_0110_5^3 - 1587223278640080992371843301777834/67306616620816531807376230777367\ *c_0110_5^2 + 1293842589699064050691795306464172/673066166208165318\ 07376230777367*c_0110_5 - 215973133689653713603472354277092/6730661\ 6620816531807376230777367, c_0101_6 + 140707209784960362878519669377297/67306616620816531807376230\ 777367*c_0110_5^25 - 1589998758224709486032409710417140/67306616620\ 816531807376230777367*c_0110_5^24 + 4653192915435979260038141451654292/67306616620816531807376230777367\ *c_0110_5^23 + 1319800109979368418341519112815290/67306616620816531\ 807376230777367*c_0110_5^22 - 7757503977963313842462520652246838/67\ 306616620816531807376230777367*c_0110_5^21 - 25133276774348533169560551254661238/6730661662081653180737623077736\ 7*c_0110_5^20 - 2722524906042718976373184453417491/6730661662081653\ 1807376230777367*c_0110_5^19 + 34634391527398455600924163257822269/\ 67306616620816531807376230777367*c_0110_5^18 + 51857027047167694360943409928383431/6730661662081653180737623077736\ 7*c_0110_5^17 + 13547563745721339551841427151624760/673066166208165\ 31807376230777367*c_0110_5^16 - 23514296104899243521628350841086932\ /67306616620816531807376230777367*c_0110_5^15 - 41008874845046177151662550808929082/6730661662081653180737623077736\ 7*c_0110_5^14 - 33082804972618889629961112498164067/673066166208165\ 31807376230777367*c_0110_5^13 - 7237249894267709382749253167443594/\ 67306616620816531807376230777367*c_0110_5^12 + 16429741568230085110521948230382878/6730661662081653180737623077736\ 7*c_0110_5^11 + 6889844498642304381919640127438291/6730661662081653\ 1807376230777367*c_0110_5^10 + 3215403397421925983409687154727562/6\ 7306616620816531807376230777367*c_0110_5^9 + 8013950948672076191221147868011503/67306616620816531807376230777367\ *c_0110_5^8 - 1306380709230312597794473940107531/673066166208165318\ 07376230777367*c_0110_5^7 - 4517593620277122693142749095271251/6730\ 6616620816531807376230777367*c_0110_5^6 + 3630841983011616508876394241089810/67306616620816531807376230777367\ *c_0110_5^5 + 3149058223224173142113764353483680/673066166208165318\ 07376230777367*c_0110_5^4 - 2960662131987259669673165545881873/6730\ 6616620816531807376230777367*c_0110_5^3 + 1785837584653391650059296902113607/67306616620816531807376230777367\ *c_0110_5^2 - 1581352197809435116494561057818526/673066166208165318\ 07376230777367*c_0110_5 + 137964411451654908683829352362501/6730661\ 6620816531807376230777367, c_0110_5^26 - 12*c_0110_5^25 + 41*c_0110_5^24 - 14*c_0110_5^23 - 61*c_0110_5^22 - 140*c_0110_5^21 + 105*c_0110_5^20 + 256*c_0110_5^19 + 195*c_0110_5^18 - 158*c_0110_5^17 - 226*c_0110_5^16 - 169*c_0110_5^15 - 33*c_0110_5^14 + 105*c_0110_5^13 + 145*c_0110_5^12 - 35*c_0110_5^11 - 9*c_0110_5^10 + 43*c_0110_5^9 - 47*c_0110_5^8 - 25*c_0110_5^7 + 48*c_0110_5^6 + 4*c_0110_5^5 - 37*c_0110_5^4 + 28*c_0110_5^3 - 20*c_0110_5^2 + 9*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB