Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 3204391553] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0205 geometric_solution 4.01973050 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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.674041306888 0.038176111615 2 0 2 0 0132 2310 1023 0132 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 -1 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.847113963103 0.045582169809 1 3 1 3 0132 0132 1023 1023 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 1 -1 -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.704888439056 0.143957202734 4 2 5 2 0132 0132 0132 1023 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 -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.317606763285 1.113143726707 3 5 6 5 0132 3201 0132 2310 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 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.009583486827 1.722632803915 4 6 4 3 3201 1023 2310 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 -1 0 1 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.009583486827 1.722632803915 5 6 6 4 1023 1230 3012 0132 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 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.493644263920 0.294952901819 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 21544232584994748558599468419981542895/6313100048453154233199559592\ 24079516*c_0101_4^20 + 155696309998828717969530634512330965975/6313\ 10004845315423319955959224079516*c_0101_4^19 - 397126885145729958930180922281697943945/315655002422657711659977979\ 612039758*c_0101_4^18 - 1038280333371469276728115932723377328889/21\ 0436668281771807773318653074693172*c_0101_4^17 + 14553833191840565462127864095613238478507/6313100048453154233199559\ 59224079516*c_0101_4^16 + 3293125119502162842805328463135975108257/\ 157827501211328855829988989806019879*c_0101_4^15 - 24335411082050604407585411538080856699439/1578275012113288558299889\ 89806019879*c_0101_4^14 - 266824807118355855599168708524650037591/1\ 57827501211328855829988989806019879*c_0101_4^13 + 316842803198084847008259067558176370242125/631310004845315423319955\ 959224079516*c_0101_4^12 - 1160483345580387519679846191940286476311\ 23/631310004845315423319955959224079516*c_0101_4^11 - 41004982490280119957678783069291664488653/4509357177466538737999685\ 4230291394*c_0101_4^10 + 46420395305328625984608890879620837055561/\ 90187143549330774759993708460582788*c_0101_4^9 + 89157763681626143243923750866368594799017/9018714354933077475999370\ 8460582788*c_0101_4^8 - 3144461184625194829609350315588161738171/50\ 10396863851709708888539358921266*c_0101_4^7 - 206801305661284003408428487632587526217823/315655002422657711659977\ 979612039758*c_0101_4^6 + 38338114905691278901391740701441778511323\ /105218334140885903886659326537346586*c_0101_4^5 + 11418563288896373175887746935448266849835/4509357177466538737999685\ 4230291394*c_0101_4^4 - 9180385710584761565048945696559411184441/10\ 5218334140885903886659326537346586*c_0101_4^3 - 30944397089382188467998708592486521403205/6313100048453154233199559\ 59224079516*c_0101_4^2 + 1493940432960838142418481419968257010951/3\ 15655002422657711659977979612039758*c_0101_4 + 1526385929387732127522374838354990133267/63131000484531542331995595\ 9224079516, c_0011_0 - 1, c_0011_1 + 9629535138260336129599316197150209/1002079372770341941777707\ 8717842532*c_0101_4^20 + 74122800218602466326752024128897195/100207\ 93727703419417777078717842532*c_0101_4^19 - 160405700807426164061247479879176255/501039686385170970888853935892\ 1266*c_0101_4^18 - 1548574297990242497807402088810882549/1002079372\ 7703419417777078717842532*c_0101_4^17 + 5799048980457363647378005454432504791/10020793727703419417777078717\ 842532*c_0101_4^16 + 2182602303407214876975897335309884266/25051984\ 31925854854444269679460633*c_0101_4^15 - 9953073651311435667641848420810640545/25051984319258548544442696794\ 60633*c_0101_4^14 - 4971671259823496358140198319125829510/250519843\ 1925854854444269679460633*c_0101_4^13 + 135146984323613515505526415844230172235/100207937277034194177770787\ 17842532*c_0101_4^12 + 13445170649788294765605728210995270101/10020\ 793727703419417777078717842532*c_0101_4^11 - 130178828592774205124107979710080909445/501039686385170970888853935\ 8921266*c_0101_4^10 + 20962155290855495043225919088617310493/100207\ 93727703419417777078717842532*c_0101_4^9 + 309047097241744638823535359285199816207/100207937277034194177770787\ 17842532*c_0101_4^8 - 16078370368031582716286377755516376465/501039\ 6863851709708888539358921266*c_0101_4^7 - 112592684143316938961433309884595431847/501039686385170970888853935\ 8921266*c_0101_4^6 - 588556412233916278475012799870162571/501039686\ 3851709708888539358921266*c_0101_4^5 + 45146159742074991227787607831252961233/5010396863851709708888539358\ 921266*c_0101_4^4 + 8756099276798687329246443689606223997/501039686\ 3851709708888539358921266*c_0101_4^3 - 13891668845040535176617064475729282303/1002079372770341941777707871\ 7842532*c_0101_4^2 - 1509015764740319290872119731021516951/25051984\ 31925854854444269679460633*c_0101_4 - 699864512893702795072722250270538425/100207937277034194177770787178\ 42532, c_0011_5 - 8257578622445011032481115287883821/1002079372770341941777707\ 8717842532*c_0101_4^20 - 63651566538657935456095368810174569/100207\ 93727703419417777078717842532*c_0101_4^19 + 137230524456532952609899179951566055/501039686385170970888853935892\ 1266*c_0101_4^18 + 1331196510583807848255994286144837409/1002079372\ 7703419417777078717842532*c_0101_4^17 - 4960443129862837753588575308682006341/10020793727703419417777078717\ 842532*c_0101_4^16 - 1886337033761066830390188082339930353/25051984\ 31925854854444269679460633*c_0101_4^15 + 8523943341459489573689271610516168947/25051984319258548544442696794\ 60633*c_0101_4^14 + 4356135367928660835711864229305267580/250519843\ 1925854854444269679460633*c_0101_4^13 - 115940955340325791410757749113706512935/100207937277034194177770787\ 17842532*c_0101_4^12 - 12624230027457181900105301743611533387/10020\ 793727703419417777078717842532*c_0101_4^11 + 111920749742297630227848258190797396603/501039686385170970888853935\ 8921266*c_0101_4^10 - 16283199187751909081991990317199090257/100207\ 93727703419417777078717842532*c_0101_4^9 - 266343508157548884063222948420801153905/100207937277034194177770787\ 17842532*c_0101_4^8 + 13073607074573893421422224046819520395/501039\ 6863851709708888539358921266*c_0101_4^7 + 97214174490817531723303395136114428167/5010396863851709708888539358\ 921266*c_0101_4^6 + 803844531512357233059302052829322025/5010396863\ 851709708888539358921266*c_0101_4^5 - 38997150469143670471199497733922670163/5010396863851709708888539358\ 921266*c_0101_4^4 - 7566557554018834144671713053281658011/501039686\ 3851709708888539358921266*c_0101_4^3 + 11981332479099641729976917208927988287/1002079372770341941777707871\ 7842532*c_0101_4^2 + 2600766103487849747547002738566581495/50103968\ 63851709708888539358921266*c_0101_4 + 606516438990688817365466995410899119/100207937277034194177770787178\ 42532, c_0101_0 - 1785751266370421404348935289373755/2505198431925854854444269\ 679460633*c_0101_4^20 - 27178084638952053475172302563087659/5010396\ 863851709708888539358921266*c_0101_4^19 + 60665396147401568007617485282497481/2505198431925854854444269679460\ 633*c_0101_4^18 + 281731846954072004176213513911530952/250519843192\ 5854854444269679460633*c_0101_4^17 - 2198416181017688275819038909924817847/50103968638517097088885393589\ 21266*c_0101_4^16 - 1520292402124133777083481313587825958/250519843\ 1925854854444269679460633*c_0101_4^15 + 7499019195529036500117951831406560445/25051984319258548544442696794\ 60633*c_0101_4^14 + 3028033660981108883720764330111614121/250519843\ 1925854854444269679460633*c_0101_4^13 - 25210856082002896356617632421559532209/2505198431925854854444269679\ 460633*c_0101_4^12 - 703476310210695703244326327847432921/501039686\ 3851709708888539358921266*c_0101_4^11 + 47927610768218409261847070979873038332/2505198431925854854444269679\ 460633*c_0101_4^10 - 7744391950865893649027044495717066401/25051984\ 31925854854444269679460633*c_0101_4^9 - 111855448524335472978519216631597400679/501039686385170970888853935\ 8921266*c_0101_4^8 + 10124933540060945121822043030930701949/2505198\ 431925854854444269679460633*c_0101_4^7 + 40101900553588932006865110817412192036/2505198431925854854444269679\ 460633*c_0101_4^6 - 2450646029447609849739402825016474364/250519843\ 1925854854444269679460633*c_0101_4^5 - 15971349501845686903076423087383030569/2505198431925854854444269679\ 460633*c_0101_4^4 - 2319830800654113458761279008581165197/250519843\ 1925854854444269679460633*c_0101_4^3 + 2507283882397050392437926674700929380/25051984319258548544442696794\ 60633*c_0101_4^2 + 1962814548741588584075002401234369863/5010396863\ 851709708888539358921266*c_0101_4 + 218167366319327168941978274131750299/501039686385170970888853935892\ 1266, c_0101_1 + 3403598392856694233520130858059789/5010396863851709708888539\ 358921266*c_0101_4^20 + 13252064987671100668947754440370598/2505198\ 431925854854444269679460633*c_0101_4^19 - 55618024939321230739253468833403815/2505198431925854854444269679460\ 633*c_0101_4^18 - 558987883134231829572724174475693161/501039686385\ 1709708888539358921266*c_0101_4^17 + 1003541510996374660734511640529266702/25051984319258548544442696794\ 60633*c_0101_4^16 + 1649911079135041228368591878802396423/250519843\ 1925854854444269679460633*c_0101_4^15 - 6955914081592979458278374473302769693/25051984319258548544442696794\ 60633*c_0101_4^14 - 4225431664202880875903250127522224477/250519843\ 1925854854444269679460633*c_0101_4^13 + 47926522875306823701157401600009423007/5010396863851709708888539358\ 921266*c_0101_4^12 + 4662778237909736925332735110464889899/25051984\ 31925854854444269679460633*c_0101_4^11 - 47095195492125116174669209931302719863/2505198431925854854444269679\ 460633*c_0101_4^10 - 714446358218076722555565636927063595/501039686\ 3851709708888539358921266*c_0101_4^9 + 57308019333187975093469559419808458484/2505198431925854854444269679\ 460633*c_0101_4^8 - 1397783940658851389845560977836107133/250519843\ 1925854854444269679460633*c_0101_4^7 - 42857545810328534763034205222797624243/2505198431925854854444269679\ 460633*c_0101_4^6 - 2987846973306613424543059042214010328/250519843\ 1925854854444269679460633*c_0101_4^5 + 17532282932745968683897553381400966149/2505198431925854854444269679\ 460633*c_0101_4^4 + 4184988933613108737084391622549975339/250519843\ 1925854854444269679460633*c_0101_4^3 - 5370305582955868948979662734430840787/50103968638517097088885393589\ 21266*c_0101_4^2 - 2556850698553903254022855346770795883/5010396863\ 851709708888539358921266*c_0101_4 - 155323840506994553391279517236314693/250519843192585485444426967946\ 0633, c_0101_3 + 4432103563817880659753790199555313/5010396863851709708888539\ 358921266*c_0101_4^20 + 17074690290138811891870689729251690/2505198\ 431925854854444269679460633*c_0101_4^19 - 73711983693522381515780607373536892/2505198431925854854444269679460\ 633*c_0101_4^18 - 714031904319118108901013862700553165/501039686385\ 1709708888539358921266*c_0101_4^17 + 1332354941009876257522618503043734618/25051984319258548544442696794\ 60633*c_0101_4^16 + 2020822551843883433585320401488775563/250519843\ 1925854854444269679460633*c_0101_4^15 - 9156326330906572162435579303043990813/25051984319258548544442696794\ 60633*c_0101_4^14 - 4649812907794239003144603363742100441/250519843\ 1925854854444269679460633*c_0101_4^13 + 62258948197346350534333937011770401321/5010396863851709708888539358\ 921266*c_0101_4^12 + 3304857484403946776354683894091134522/25051984\ 31925854854444269679460633*c_0101_4^11 - 60089569099548769235635570772246166072/2505198431925854854444269679\ 460633*c_0101_4^10 + 9040128076624596282792812171633390135/50103968\ 63851709708888539358921266*c_0101_4^9 + 71487482961434409898989480437953893982/2505198431925854854444269679\ 460633*c_0101_4^8 - 7188170769180755528090138956290103678/250519843\ 1925854854444269679460633*c_0101_4^7 - 52187038984842790151842366325466636115/2505198431925854854444269679\ 460633*c_0101_4^6 - 314844608687880236530430255419401723/2505198431\ 925854854444269679460633*c_0101_4^5 + 20947818447998132849929426463829062978/2505198431925854854444269679\ 460633*c_0101_4^4 + 4018358572169714002877253317145058611/250519843\ 1925854854444269679460633*c_0101_4^3 - 6453314445968349806444052812454711843/50103968638517097088885393589\ 21266*c_0101_4^2 - 2780267372111899769648662649610774119/5010396863\ 851709708888539358921266*c_0101_4 - 160420703687623382167000608553615388/250519843192585485444426967946\ 0633, c_0101_4^21 + 8*c_0101_4^20 - 31*c_0101_4^19 - 171*c_0101_4^18 + 554*c_0101_4^17 + 1091*c_0101_4^16 - 3868*c_0101_4^15 - 3328*c_0101_4^14 + 13463*c_0101_4^13 + 5668*c_0101_4^12 - 26789*c_0101_4^11 - 6013*c_0101_4^10 + 33068*c_0101_4^9 + 6321*c_0101_4^8 - 24736*c_0101_4^7 - 7128*c_0101_4^6 + 9548*c_0101_4^5 + 4632*c_0101_4^4 - 953*c_0101_4^3 - 1067*c_0101_4^2 - 257*c_0101_4 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB