Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 2017060007] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0844 geometric_solution 4.76239548 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.351895511516 0.212995982750 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568315998670 1.045862339687 1 3 4 3 0132 3201 0132 2310 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.293031626926 1.276725382107 2 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.293031626926 1.276725382107 5 3 5 2 0132 0132 1023 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 -1 1 0 -1 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 0.716956403792 0.949912601825 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 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.630892012857 0.173473378120 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611543283490 0.052427163158 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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_3']), 'c_0011_6' : negation(d['c_0011_3']), '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_0101_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 5609884845232324155601036330100315/17288957409365006019944965903921\ *c_0110_6^25 - 8996955835160727399261180034797163/17288957409365006\ 019944965903921*c_0110_6^24 + 42544081729991488982055669386256758/1\ 7288957409365006019944965903921*c_0110_6^23 + 16356468625199594366267789145276650/1728895740936500601994496590392\ 1*c_0110_6^22 - 195055194932472881212689612132095684/17288957409365\ 006019944965903921*c_0110_6^21 + 4032941703460169910521636559911727\ 23/17288957409365006019944965903921*c_0110_6^20 + 2528975211922441841433418300436773426/17288957409365006019944965903\ 921*c_0110_6^19 - 7897704508287286492441413327292852127/17288957409\ 365006019944965903921*c_0110_6^18 - 5478159992301564237886679817585228688/17288957409365006019944965903\ 921*c_0110_6^17 + 29607442566598480655002764635045851280/1728895740\ 9365006019944965903921*c_0110_6^16 + 1351616588350912820271605171597480887/17288957409365006019944965903\ 921*c_0110_6^15 - 54413582456351564138290092184162016674/1728895740\ 9365006019944965903921*c_0110_6^14 + 424762234831175042392282866693933573/909945126808684527365524521259\ *c_0110_6^13 + 61315850681992523709469190279783402375/1728895740936\ 5006019944965903921*c_0110_6^12 - 113809279634564684281381576684186\ 35770/17288957409365006019944965903921*c_0110_6^11 - 2414246155305546513960324426765924013/90994512680868452736552452125\ 9*c_0110_6^10 + 6539153215123524874630907237217584689/1728895740936\ 5006019944965903921*c_0110_6^9 + 2264203963009939268183609166482922\ 5396/17288957409365006019944965903921*c_0110_6^8 - 1286139241495906317628770217020833013/17288957409365006019944965903\ 921*c_0110_6^7 - 349601586270125629057142426437395062/9099451268086\ 84527365524521259*c_0110_6^6 - 316037945419811357505753091077317943\ /17288957409365006019944965903921*c_0110_6^5 + 880405144261562649126571052099885620/172889574093650060199449659039\ 21*c_0110_6^4 + 170920332567229329065150343796550992/17288957409365\ 006019944965903921*c_0110_6^3 - 49913207323219897301769067331814783\ /17288957409365006019944965903921*c_0110_6^2 - 38125239452061121395509484833287956/1728895740936500601994496590392\ 1*c_0110_6 + 10089385484757674966330021237773525/172889574093650060\ 19944965903921, c_0011_0 - 1, c_0011_1 + 1957058613642164403080631280650/9099451268086845273655245212\ 59*c_0110_6^25 + 2228780404610262856977182749647/909945126808684527\ 365524521259*c_0110_6^24 - 15471456253031616431886107176320/9099451\ 26808684527365524521259*c_0110_6^23 + 1916427728225380952642223866050/909945126808684527365524521259*c_01\ 10_6^22 + 64051586730151613073822688622663/909945126808684527365524\ 521259*c_0110_6^21 - 169545309028680657453434572160242/909945126808\ 684527365524521259*c_0110_6^20 - 791108562659468915007723235939640/\ 909945126808684527365524521259*c_0110_6^19 + 3086327409165147528156506153334389/909945126808684527365524521259*c\ _0110_6^18 + 319040844387711463522095507130808/90994512680868452736\ 5524521259*c_0110_6^17 - 9832663914851621668091446365619580/9099451\ 26808684527365524521259*c_0110_6^16 + 4048093596285416289305871353157470/909945126808684527365524521259*c\ _0110_6^15 + 15242531765033845297679674618254134/909945126808684527\ 365524521259*c_0110_6^14 - 8775162705956737491238539075062835/90994\ 5126808684527365524521259*c_0110_6^13 - 14819119187823892017812692540006495/909945126808684527365524521259*\ c_0110_6^12 + 8764347061135354524353093112928802/909945126808684527\ 365524521259*c_0110_6^11 + 9929501744287103204080732614066630/90994\ 5126808684527365524521259*c_0110_6^10 - 4956723172506746306893347635109651/909945126808684527365524521259*c\ _0110_6^9 - 4546086130912998447172694272279710/90994512680868452736\ 5524521259*c_0110_6^8 + 1497257675847204395274133394433967/90994512\ 6808684527365524521259*c_0110_6^7 + 1277197951273486274069218460060769/909945126808684527365524521259*c\ _0110_6^6 - 141685750519489876680411659542091/909945126808684527365\ 524521259*c_0110_6^5 - 185520864307819581159325219921536/9099451268\ 08684527365524521259*c_0110_6^4 - 26763822374479517263049254748259/\ 909945126808684527365524521259*c_0110_6^3 + 20600759904636076105863505443783/909945126808684527365524521259*c_0\ 110_6^2 + 4187434683789815082441486820337/9099451268086845273655245\ 21259*c_0110_6 - 1267754072966266690564718252035/909945126808684527\ 365524521259, c_0011_3 + 370418406325037536333065584146/90994512680868452736552452125\ 9*c_0110_6^25 + 1011426761143637427511449275227/9099451268086845273\ 65524521259*c_0110_6^24 - 1921576957129835628284441664083/909945126\ 808684527365524521259*c_0110_6^23 - 3602706947204303573982553748466/909945126808684527365524521259*c_01\ 10_6^22 + 10600453113160881282165983420158/909945126808684527365524\ 521259*c_0110_6^21 - 14491010755169689956219718006765/9099451268086\ 84527365524521259*c_0110_6^20 - 190632143309035024784205404810138/9\ 09945126808684527365524521259*c_0110_6^19 + 325757392985196962362281076063869/909945126808684527365524521259*c_\ 0110_6^18 + 833058347306163789332968740183782/909945126808684527365\ 524521259*c_0110_6^17 - 1373058600187497390050504242320519/90994512\ 6808684527365524521259*c_0110_6^16 - 1740487880882782688466269644904998/909945126808684527365524521259*c\ _0110_6^15 + 2672951432292052331566123778438139/9099451268086845273\ 65524521259*c_0110_6^14 + 2370857953530663560745919900519550/909945\ 126808684527365524521259*c_0110_6^13 - 2946580411286938147478493985806076/909945126808684527365524521259*c\ _0110_6^12 - 2381584132959372730009149314431314/9099451268086845273\ 65524521259*c_0110_6^11 + 1912459685366777051551646183113811/909945\ 126808684527365524521259*c_0110_6^10 + 1734501714221942765580385929842446/909945126808684527365524521259*c\ _0110_6^9 - 628211700029987667314713918297850/909945126808684527365\ 524521259*c_0110_6^8 - 818242877252445601385892495893538/9099451268\ 08684527365524521259*c_0110_6^7 - 4486502128161059704948969203213/9\ 09945126808684527365524521259*c_0110_6^6 + 197127374040661058606237753016218/909945126808684527365524521259*c_\ 0110_6^5 + 59790810788299259093566479992197/90994512680868452736552\ 4521259*c_0110_6^4 - 12292155715844059090603155400378/9099451268086\ 84527365524521259*c_0110_6^3 - 8313933292534741750803072408091/9099\ 45126808684527365524521259*c_0110_6^2 - 293956135656490845081139942299/909945126808684527365524521259*c_011\ 0_6 + 606470514983430566045204635509/909945126808684527365524521259\ , c_0101_0 - 924821571540592564217951033846/90994512680868452736552452125\ 9*c_0110_6^25 - 881854437378126459910821309401/90994512680868452736\ 5524521259*c_0110_6^24 + 7452657618609977571934536266209/9099451268\ 08684527365524521259*c_0110_6^23 - 2190606872820842815984664051565/909945126808684527365524521259*c_01\ 10_6^22 - 29572849343121258818112698534990/909945126808684527365524\ 521259*c_0110_6^21 + 84697095365920900910439459728430/9099451268086\ 84527365524521259*c_0110_6^20 + 357780688576651053378582993989317/9\ 09945126808684527365524521259*c_0110_6^19 - 1519735437604421496099818981526651/909945126808684527365524521259*c\ _0110_6^18 + 128985433687218251993688336190924/90994512680868452736\ 5524521259*c_0110_6^17 + 4543781099600971831411582198468573/9099451\ 26808684527365524521259*c_0110_6^16 - 2568754423005534369781758976612277/909945126808684527365524521259*c\ _0110_6^15 - 6665536656007439658361832911171604/9099451268086845273\ 65524521259*c_0110_6^14 + 4898247600247663926933855436886031/909945\ 126808684527365524521259*c_0110_6^13 + 6205108431443492308063798122313779/909945126808684527365524521259*c\ _0110_6^12 - 4699667877877799859187355009831867/9099451268086845273\ 65524521259*c_0110_6^11 - 4021707677817250199565663220065370/909945\ 126808684527365524521259*c_0110_6^10 + 2626106121234196133064304011204906/909945126808684527365524521259*c\ _0110_6^9 + 1799066003321073257180705392947688/90994512680868452736\ 5524521259*c_0110_6^8 - 804236802873542397404771044659074/909945126\ 808684527365524521259*c_0110_6^7 - 495017817420862885192511639220576/909945126808684527365524521259*c_\ 0110_6^6 + 85986175213125801571962276493064/90994512680868452736552\ 4521259*c_0110_6^5 + 70918324862470400927263045590928/9099451268086\ 84527365524521259*c_0110_6^4 + 10499682422968552606587343869537/909\ 945126808684527365524521259*c_0110_6^3 - 9326512570400223573279400094381/909945126808684527365524521259*c_01\ 10_6^2 - 735420316956529469222094481588/909945126808684527365524521\ 259*c_0110_6 + 1095687717318737917115960406605/90994512680868452736\ 5524521259, c_0101_1 + 1927322046826136099527743587431/9099451268086845273655245212\ 59*c_0110_6^25 + 2459500164209341991871755902205/909945126808684527\ 365524521259*c_0110_6^24 - 14807579340095593769764044804713/9099451\ 26808684527365524521259*c_0110_6^23 + 132754483900266653083512457434/909945126808684527365524521259*c_011\ 0_6^22 + 62724617043720901420324830961278/9099451268086845273655245\ 21259*c_0110_6^21 - 159328076410476907958433686217112/9099451268086\ 84527365524521259*c_0110_6^20 - 798632897057549714986843908407799/9\ 09945126808684527365524521259*c_0110_6^19 + 2926951260731865435252348990564941/909945126808684527365524521259*c\ _0110_6^18 + 667996350185344109794833527718710/90994512680868452736\ 5524521259*c_0110_6^17 - 9527112071870404128936720685776918/9099451\ 26808684527365524521259*c_0110_6^16 + 2900195162718546372457793827441627/909945126808684527365524521259*c\ _0110_6^15 + 15143871223919767703223183170132724/909945126808684527\ 365524521259*c_0110_6^14 - 7075870478145248262706480583260120/90994\ 5126808684527365524521259*c_0110_6^13 - 15002822895478222970357180142353348/909945126808684527365524521259*\ c_0110_6^12 + 7272587286926141177560364946522305/909945126808684527\ 365524521259*c_0110_6^11 + 10104997011092676266017358716594215/9099\ 45126808684527365524521259*c_0110_6^10 - 4124306288748302212266455734091417/909945126808684527365524521259*c\ _0110_6^9 - 4577487448472858779221456206701840/90994512680868452736\ 5524521259*c_0110_6^8 + 1236590649446692773050998402214114/90994512\ 6808684527365524521259*c_0110_6^7 + 1247884449901782131074082819848261/909945126808684527365524521259*c\ _0110_6^6 - 119886969083146709566337739649937/909945126808684527365\ 524521259*c_0110_6^5 - 175195717560334956734020267117431/9099451268\ 08684527365524521259*c_0110_6^4 - 22429863562298105643314237875380/\ 909945126808684527365524521259*c_0110_6^3 + 22882345895077123125064767781473/909945126808684527365524521259*c_0\ 110_6^2 + 4797365986808792494153182842655/9099451268086845273655245\ 21259*c_0110_6 - 2403933569829884595005202983446/909945126808684527\ 365524521259, c_0101_4 + 2085549478990902130413061744568/9099451268086845273655245212\ 59*c_0110_6^25 + 1741100707666731821674975613721/909945126808684527\ 365524521259*c_0110_6^24 - 17615940892704683934534300400460/9099451\ 26808684527365524521259*c_0110_6^23 + 6149103387182858168665922984601/909945126808684527365524521259*c_01\ 10_6^22 + 70052643252262929420377278116291/909945126808684527365524\ 521259*c_0110_6^21 - 199051474083576293272902977485344/909945126808\ 684527365524521259*c_0110_6^20 - 800235828007445411280833986092979/\ 909945126808684527365524521259*c_0110_6^19 + 3568128843908218622662780960667841/909945126808684527365524521259*c\ _0110_6^18 - 465755559650622452530206734234771/90994512680868452736\ 5524521259*c_0110_6^17 - 11029354601359116384522147554764020/909945\ 126808684527365524521259*c_0110_6^16 + 6880690006126431396117376467661279/909945126808684527365524521259*c\ _0110_6^15 + 16607125641226313443023978023549531/909945126808684527\ 365524521259*c_0110_6^14 - 13437232443314625576801839129813429/9099\ 45126808684527365524521259*c_0110_6^13 - 15873140743593551940917111608612397/909945126808684527365524521259*\ c_0110_6^12 + 13376360397734348451531078794672433/90994512680868452\ 7365524521259*c_0110_6^11 + 10727613844967781158243864688356936/909\ 945126808684527365524521259*c_0110_6^10 - 7869144028793473628064533842769753/909945126808684527365524521259*c\ _0110_6^9 - 5146465323713567359586270179123743/90994512680868452736\ 5524521259*c_0110_6^8 + 2600598647591008880502778690039655/90994512\ 6808684527365524521259*c_0110_6^7 + 1597358593108049253553455557813985/909945126808684527365524521259*c\ _0110_6^6 - 331226688070417060094365691836470/909945126808684527365\ 524521259*c_0110_6^5 - 271147018001613248271914835447919/9099451268\ 08684527365524521259*c_0110_6^4 - 26463500695832138963272679818266/\ 909945126808684527365524521259*c_0110_6^3 + 32414157528248837599764231654854/909945126808684527365524521259*c_0\ 110_6^2 + 5810332425007532327530172785093/9099451268086845273655245\ 21259*c_0110_6 - 2888961782231396560097215793601/909945126808684527\ 365524521259, c_0110_6^26 + 2*c_0110_6^25 - 7*c_0110_6^24 - 6*c_0110_6^23 + 34*c_0110_6^22 - 58*c_0110_6^21 - 481*c_0110_6^20 + 1233*c_0110_6^19 + 1557*c_0110_6^18 - 4964*c_0110_6^17 - 2373*c_0110_6^16 + 9860*c_0110_6^15 + 2401*c_0110_6^14 - 11941*c_0110_6^13 - 2232*c_0110_6^12 + 9453*c_0110_6^11 + 2004*c_0110_6^10 - 4836*c_0110_6^9 - 1351*c_0110_6^8 + 1432*c_0110_6^7 + 539*c_0110_6^6 - 175*c_0110_6^5 - 104*c_0110_6^4 + 13*c_0110_6^2 + c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB