Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3852761379] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2219 geometric_solution 5.66322242 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295944875224 0.502895828150 0 2 5 4 0132 2031 0132 0132 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 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 0 0 0.622545539231 0.533183467642 1 0 4 5 1302 0132 3201 2310 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622545539231 0.533183467642 3 0 3 0 2031 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 -1.594910142086 1.651547935634 2 6 1 6 2310 0132 0132 2310 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 0 0 0 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064880400372 1.521561096928 2 5 5 1 3201 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 0 0 0 0 0 0 0 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.073382746908 0.793607807054 4 4 6 6 3201 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 1 0 -1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273396353099 0.299633506262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), '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_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 725540774585255578859999754110557/546666969579884115081147392*c_011\ 0_6^39 - 4746899454103959329425478399769165/54666696957988411508114\ 7392*c_0110_6^38 + 4876347459400230280933488516235871/2733334847899\ 42057540573696*c_0110_6^37 + 9976252293416203707389500967217929/780\ 95281368554873583021056*c_0110_6^36 - 8197365618187946669767138562841365/273333484789942057540573696*c_01\ 10_6^35 - 48781765119137921163714176786619275/780952813685548735830\ 21056*c_0110_6^34 - 27347840682225078249316270785032489/68333371197\ 485514385143424*c_0110_6^33 + 333847270422329316218135823485705391/\ 546666969579884115081147392*c_0110_6^32 + 62529351191631440228078271306169317/34166685598742757192571712*c_01\ 10_6^31 + 420655832062243685494901093132382723/78095281368554873583\ 021056*c_0110_6^30 + 822127988386481109502809757057376035/546666969\ 579884115081147392*c_0110_6^29 - 4137674445895834735803274052748639\ 61/21025652676149389041582592*c_0110_6^28 - 18902258540533207548217156658474948521/546666969579884115081147392*\ c_0110_6^27 - 194231520181219213327460696226424403/1366667423949710\ 28770286848*c_0110_6^26 + 35964896248384617138951510062468814485/27\ 3333484789942057540573696*c_0110_6^25 + 14242065239167626483008657669488259231/78095281368554873583021056*c\ _0110_6^24 - 9472184345802171345219490095572011415/3416668559874275\ 7192571712*c_0110_6^23 - 338438587767081824919635728422293369253/54\ 6666969579884115081147392*c_0110_6^22 + 205238479853485759709289995864508488237/546666969579884115081147392\ *c_0110_6^21 + 318029948808788880752239959432376242717/273333484789\ 942057540573696*c_0110_6^20 - 1868408830443211239165744816156637560\ 57/546666969579884115081147392*c_0110_6^19 - 795769256472148757529052549692382905115/546666969579884115081147392\ *c_0110_6^18 + 114623202376451125450935691156041255945/546666969579\ 884115081147392*c_0110_6^17 + 5046431416618024269087132701486214526\ 9/39047640684277436791510528*c_0110_6^16 - 22534845784421063880504590325256932463/273333484789942057540573696*\ c_0110_6^15 - 14325616854995000521687396319724222421/17083342799371\ 378596285856*c_0110_6^14 + 1116530004118713712635210891821833887/68\ 333371197485514385143424*c_0110_6^13 + 3932156612431516895589718119887978615/9761910171069359197877632*c_0\ 110_6^12 + 470148465925679945010315184302134335/2733334847899420575\ 40573696*c_0110_6^11 - 2449190661206165888333912142766400653/170833\ 42799371378596285856*c_0110_6^10 - 94005696392246979492354227211837649/42051305352298778083165184*c_01\ 10_6^9 + 2920236397194105706701225179000419839/78095281368554873583\ 021056*c_0110_6^8 + 97912804647129255787073497696552063/13666674239\ 4971028770286848*c_0110_6^7 - 1901903363768566153341058626752530287\ /273333484789942057540573696*c_0110_6^6 - 67824494648451308141582796299085737/546666969579884115081147392*c_0\ 110_6^5 + 29940531987127607362836859116377397/341666855987427571925\ 71712*c_0110_6^4 + 6438319398630735269182976288954187/5466669695798\ 84115081147392*c_0110_6^3 - 2820359627647624882588957462895995/4205\ 1305352298778083165184*c_0110_6^2 - 264390482483610345279852756765417/546666969579884115081147392*c_011\ 0_6 + 1290442457974935212436944379031831/54666696957988411508114739\ 2, c_0011_0 - 1, c_0011_3 - 3197870605087080197430923/34538038589658768269*c_0110_6^39 - 20591266913149955880953268/34538038589658768269*c_0110_6^38 + 45259367916835267544232994/34538038589658768269*c_0110_6^37 + 43439697609157597424309360/4934005512808395467*c_0110_6^36 - 105383985355670230927602266/34538038589658768269*c_0110_6^35 - 215443123605081965638726259/4934005512808395467*c_0110_6^34 - 808976605267457027077814054/34538038589658768269*c_0110_6^33 + 1619771220380907221035999154/34538038589658768269*c_0110_6^32 + 4304177035089245056269621193/34538038589658768269*c_0110_6^31 + 1784899567485529464760476350/4934005512808395467*c_0110_6^30 + 2119981294668611074538638286/34538038589658768269*c_0110_6^29 - 48282712554019539722682095912/34538038589658768269*c_0110_6^28 - 78664288779106585391811670413/34538038589658768269*c_0110_6^27 + 6663850378266580846499656351/34538038589658768269*c_0110_6^26 + 320620557044726540794805350739/34538038589658768269*c_0110_6^25 + 58264392777321645625298976339/4934005512808395467*c_0110_6^24 - 723593959714664170877461835639/34538038589658768269*c_0110_6^23 - 1440248375761417084107802921034/34538038589658768269*c_0110_6^22 + 1074868786965393601915538591341/34538038589658768269*c_0110_6^21 + 2762693573891875083794612697483/34538038589658768269*c_0110_6^20 - 1123367074534104681474097150250/34538038589658768269*c_0110_6^19 - 3512730301881357364397092463034/34538038589658768269*c_0110_6^18 + 857580354583293807608619261912/34538038589658768269*c_0110_6^17 + 452060913247502310713080889666/4934005512808395467*c_0110_6^16 - 490191219773070315083318611383/34538038589658768269*c_0110_6^15 - 2081225361608810973321886307424/34538038589658768269*c_0110_6^14 + 213163439464412091201903636237/34538038589658768269*c_0110_6^13 + 144601993174139572974533096667/4934005512808395467*c_0110_6^12 - 70985452744331191851869680341/34538038589658768269*c_0110_6^11 - 364269887827642236894089434600/34538038589658768269*c_0110_6^10 + 17992367932318702695171565169/34538038589658768269*c_0110_6^9 + 13699200273993926005979835030/4934005512808395467*c_0110_6^8 - 3385984629371374782572976620/34538038589658768269*c_0110_6^7 - 17970212170802418247630187457/34538038589658768269*c_0110_6^6 + 447879676767175143448807824/34538038589658768269*c_0110_6^5 + 2272879374386397723650188766/34538038589658768269*c_0110_6^4 - 37188214905850128648952036/34538038589658768269*c_0110_6^3 - 174118251652217640995136498/34538038589658768269*c_0110_6^2 + 1456318041885149968010435/34538038589658768269*c_0110_6 + 6108513884770633839930398/34538038589658768269, c_0011_4 + c_0110_6^39 + 6*c_0110_6^38 - 17*c_0110_6^37 - 89*c_0110_6^36 + 75*c_0110_6^35 + 459*c_0110_6^34 + 45*c_0110_6^33 - 627*c_0110_6^32 - 1127*c_0110_6^31 - 3305*c_0110_6^30 + 1076*c_0110_6^29 + 15463*c_0110_6^28 + 17975*c_0110_6^27 - 13187*c_0110_6^26 - 99782*c_0110_6^25 - 83399*c_0110_6^24 + 284223*c_0110_6^23 + 353241*c_0110_6^22 - 538804*c_0110_6^21 - 724519*c_0110_6^20 + 739267*c_0110_6^19 + 960136*c_0110_6^18 - 761914*c_0110_6^17 - 892095*c_0110_6^16 + 599552*c_0110_6^15 + 601678*c_0110_6^14 - 361912*c_0110_6^13 - 298976*c_0110_6^12 + 167074*c_0110_6^11 + 109650*c_0110_6^10 - 58399*c_0110_6^9 - 29368*c_0110_6^8 + 15171*c_0110_6^7 + 5594*c_0110_6^6 - 2837*c_0110_6^5 - 719*c_0110_6^4 + 361*c_0110_6^3 + 56*c_0110_6^2 - 27*c_0110_6 - 2, c_0101_0 + 29*c_0110_6^39 + 176*c_0110_6^38 - 480*c_0110_6^37 - 2609*c_0110_6^36 + 1980*c_0110_6^35 + 13372*c_0110_6^34 + 2298*c_0110_6^33 - 17634*c_0110_6^32 - 33892*c_0110_6^31 - 98726*c_0110_6^30 + 23467*c_0110_6^29 + 447274*c_0110_6^28 + 553277*c_0110_6^27 - 331010*c_0110_6^26 - 2902077*c_0110_6^25 - 2631322*c_0110_6^24 + 7975887*c_0110_6^23 + 10729036*c_0110_6^22 - 14634611*c_0110_6^21 - 21735418*c_0110_6^20 + 19450901*c_0110_6^19 + 28597959*c_0110_6^18 - 19435967*c_0110_6^17 - 26434447*c_0110_6^16 + 14840904*c_0110_6^15 + 17755671*c_0110_6^14 - 8692540*c_0110_6^13 - 8792450*c_0110_6^12 + 3885282*c_0110_6^11 + 3215022*c_0110_6^10 - 1307197*c_0110_6^9 - 858820*c_0110_6^8 + 322824*c_0110_6^7 + 163200*c_0110_6^6 - 55914*c_0110_6^5 - 20931*c_0110_6^4 + 6194*c_0110_6^3 + 1627*c_0110_6^2 - 340*c_0110_6 - 58, c_0101_1 + 10804963891130773066595194/34538038589658768269*c_0110_6^39 + 71475139023652776265603009/34538038589658768269*c_0110_6^38 - 140112504281226110565774228/34538038589658768269*c_0110_6^37 - 150041245672750835474912048/4934005512808395467*c_0110_6^36 + 169944567739577674149254468/34538038589658768269*c_0110_6^35 + 728568872730909068344168354/4934005512808395467*c_0110_6^34 + 3609156509504404358690800949/34538038589658768269*c_0110_6^33 - 4728790325120789305636986495/34538038589658768269*c_0110_6^32 - 15174111576408128548568021465/34538038589658768269*c_0110_6^31 - 6411484005428519778514051589/4934005512808395467*c_0110_6^30 - 15497884294806551702928113490/34538038589658768269*c_0110_6^29 + 159061294991661510353155493169/34538038589658768269*c_0110_6^28 + 292339090491603750546202491875/34538038589658768269*c_0110_6^27 + 31812191840885774181064134119/34538038589658768269*c_0110_6^26 - 1067617350139751615616266920467/34538038589658768269*c_0110_6^25 - 222515187932913771351550814306/4934005512808395467*c_0110_6^24 + 2149468577473206498260034462202/34538038589658768269*c_0110_6^23 + 5185475392462650221797508656565/34538038589658768269*c_0110_6^22 - 2714891330274114039325146563609/34538038589658768269*c_0110_6^21 - 9655093923099026955749258488667/34538038589658768269*c_0110_6^20 + 2174589615307145223975823266859/34538038589658768269*c_0110_6^19 + 11998962978143886222972404456425/34538038589658768269*c_0110_6^18 - 990811172861536723313265362927/34538038589658768269*c_0110_6^17 - 1513482227245919632096101224834/4934005512808395467*c_0110_6^16 + 79263952655010131489635977139/34538038589658768269*c_0110_6^15 + 6841475618811084391040211055763/34538038589658768269*c_0110_6^14 + 218812476743979614200293488721/34538038589658768269*c_0110_6^13 - 467493910555835811077380338490/4934005512808395467*c_0110_6^12 - 165520631496393230318934715534/34538038589658768269*c_0110_6^11 + 1160395795414180774254610587984/34538038589658768269*c_0110_6^10 + 65152249632941831326082762322/34538038589658768269*c_0110_6^9 - 43093743124763548793901126409/4934005512808395467*c_0110_6^8 - 16056659807657767871268005322/34538038589658768269*c_0110_6^7 + 55967467413687668232623569772/34538038589658768269*c_0110_6^6 + 2497673124951919649238219003/34538038589658768269*c_0110_6^5 - 7029824964219489461235152509/34538038589658768269*c_0110_6^4 - 226012972200290663350909543/34538038589658768269*c_0110_6^3 + 536717761630855552706644871/34538038589658768269*c_0110_6^2 + 9125703571538298560022948/34538038589658768269*c_0110_6 - 18845059426372659366232021/34538038589658768269, c_0101_5 + 2967784344681536393252572/34538038589658768269*c_0110_6^39 + 19664450465613172013043834/34538038589658768269*c_0110_6^38 - 37262421858417358987970345/34538038589658768269*c_0110_6^37 - 40321913180371100016403404/4934005512808395467*c_0110_6^36 + 30745298089935362992630389/34538038589658768269*c_0110_6^35 + 186583510613839013592217788/4934005512808395467*c_0110_6^34 + 1019063228415810426963187904/34538038589658768269*c_0110_6^33 - 848589297913128402002574383/34538038589658768269*c_0110_6^32 - 3847579438191277658364855344/34538038589658768269*c_0110_6^31 - 1807557928051582738454014682/4934005512808395467*c_0110_6^30 - 5674501258289172584032964375/34538038589658768269*c_0110_6^29 + 39371346377078535187598867341/34538038589658768269*c_0110_6^28 + 78905867013744987603881641664/34538038589658768269*c_0110_6^27 + 22862005154696437466764156362/34538038589658768269*c_0110_6^26 - 266799238049891099796744303430/34538038589658768269*c_0110_6^25 - 60494011873569034014544198670/4934005512808395467*c_0110_6^24 + 496042534078198384797193027446/34538038589658768269*c_0110_6^23 + 1289726873709789026670554605330/34538038589658768269*c_0110_6^22 - 561460403761163513201712466135/34538038589658768269*c_0110_6^21 - 2232500092942982960382194136589/34538038589658768269*c_0110_6^20 + 372120843741670058838507727378/34538038589658768269*c_0110_6^19 + 2566892538945677956383671560720/34538038589658768269*c_0110_6^18 - 95358992461563823549414370490/34538038589658768269*c_0110_6^17 - 296434774911916213389319701350/4934005512808395467*c_0110_6^16 - 63607820238887258798993097414/34538038589658768269*c_0110_6^15 + 1210553025253454261367924160395/34538038589658768269*c_0110_6^14 + 79681360604382734632209936831/34538038589658768269*c_0110_6^13 - 73547973601820842601652293530/4934005512808395467*c_0110_6^12 - 42231536868533848369329207315/34538038589658768269*c_0110_6^11 + 159232175476428269047322498945/34538038589658768269*c_0110_6^10 + 13770270603116900567582855260/34538038589658768269*c_0110_6^9 - 5035531715693250126082563519/4934005512808395467*c_0110_6^8 - 2930311673267343414330425962/34538038589658768269*c_0110_6^7 + 5394784559335675888636257340/34538038589658768269*c_0110_6^6 + 399252955187449280646396350/34538038589658768269*c_0110_6^5 - 534187259951693587568746520/34538038589658768269*c_0110_6^4 - 31803274775851031877044699/34538038589658768269*c_0110_6^3 + 29919024982109810454303485/34538038589658768269*c_0110_6^2 + 1131628078783830967851284/34538038589658768269*c_0110_6 - 673089909967632252712094/34538038589658768269, c_0110_6^40 + 6*c_0110_6^39 - 17*c_0110_6^38 - 89*c_0110_6^37 + 75*c_0110_6^36 + 459*c_0110_6^35 + 45*c_0110_6^34 - 627*c_0110_6^33 - 1127*c_0110_6^32 - 3305*c_0110_6^31 + 1076*c_0110_6^30 + 15463*c_0110_6^29 + 17975*c_0110_6^28 - 13187*c_0110_6^27 - 99782*c_0110_6^26 - 83399*c_0110_6^25 + 284223*c_0110_6^24 + 353241*c_0110_6^23 - 538804*c_0110_6^22 - 724519*c_0110_6^21 + 739267*c_0110_6^20 + 960136*c_0110_6^19 - 761914*c_0110_6^18 - 892095*c_0110_6^17 + 599552*c_0110_6^16 + 601678*c_0110_6^15 - 361912*c_0110_6^14 - 298976*c_0110_6^13 + 167074*c_0110_6^12 + 109650*c_0110_6^11 - 58399*c_0110_6^10 - 29368*c_0110_6^9 + 15171*c_0110_6^8 + 5594*c_0110_6^7 - 2837*c_0110_6^6 - 719*c_0110_6^5 + 361*c_0110_6^4 + 56*c_0110_6^3 - 28*c_0110_6^2 - 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB