Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 1916006057] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0933 geometric_solution 4.83570156 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3120 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 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.349655668963 0.659613701050 0 4 2 4 0132 0132 3201 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 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 0 0 0 0 0 0 -0.100641681766 3.018101777288 1 0 0 3 2310 0132 3120 3201 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349655668963 0.659613701050 5 2 0 5 0132 2310 0132 1023 0 0 0 0 0 0 -1 1 -1 0 0 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 -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.678010002043 0.238225071524 4 1 4 1 2310 0132 3201 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 -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.398616603055 0.194571692074 3 6 6 3 0132 0132 3201 1023 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.990477738899 0.351744476572 5 5 6 6 2310 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.468095431756 0.340087669892 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : 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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_1001_0']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_4']), '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_1'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : negation(d['c_1001_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_1, c_0101_4, c_0101_5, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 17509520363245651197/8841399683350*c_1001_0^26 - 56535546510775782712/4420699841675*c_1001_0^25 + 16132194730742719726/340053833975*c_1001_0^24 - 1172403085109820173293/8841399683350*c_1001_0^23 + 1901930736944997272339/8841399683350*c_1001_0^22 - 241011299061131208929/884139968335*c_1001_0^21 + 1521003374503208757293/8841399683350*c_1001_0^20 + 186456067221226248361/680107667950*c_1001_0^19 - 8326322652397977417/27204306718*c_1001_0^18 + 550512868142222955497/680107667950*c_1001_0^17 - 1759176035301084576502/4420699841675*c_1001_0^16 - 3041864100892432123257/4420699841675*c_1001_0^15 - 7328707998687066325887/8841399683350*c_1001_0^14 - 640705265519484802339/340053833975*c_1001_0^13 - 2033167518024001686371/4420699841675*c_1001_0^12 + 929573545963299599149/884139968335*c_1001_0^11 + 2095620255873970355239/884139968335*c_1001_0^10 + 28170491968343243438289/8841399683350*c_1001_0^9 + 153760295244945922107/83409430975*c_1001_0^8 - 1031486096651451860491/8841399683350*c_1001_0^7 - 5325463913479744031672/4420699841675*c_1001_0^6 - 2025448449823332915509/1768279936670*c_1001_0^5 - 664980243016253368053/1768279936670*c_1001_0^4 + 47040155611732626067/353655987334*c_1001_0^3 + 641436235965932594219/4420699841675*c_1001_0^2 + 187397422502363972796/4420699841675*c_1001_0 + 38141003661260352027/8841399683350, c_0011_0 - 1, c_0011_3 + 1107164595479272985/176827993667*c_1001_0^26 - 14407050725938463587/353655987334*c_1001_0^25 + 4138087306732955541/27204306718*c_1001_0^24 - 151239273707661192431/353655987334*c_1001_0^23 + 124646332210353785050/176827993667*c_1001_0^22 - 11072030539147585063/12195034046*c_1001_0^21 + 215734452392628810573/353655987334*c_1001_0^20 + 10957162440615824377/13602153359*c_1001_0^19 - 26592104474646397491/27204306718*c_1001_0^18 + 35517996699840685813/13602153359*c_1001_0^17 - 498567381076802354743/353655987334*c_1001_0^16 - 719580599309694845759/353655987334*c_1001_0^15 - 915661119647588703645/353655987334*c_1001_0^14 - 79515805951383697158/13602153359*c_1001_0^13 - 216274188953143017657/176827993667*c_1001_0^12 + 578863549319588366995/176827993667*c_1001_0^11 + 1301265552191017622604/176827993667*c_1001_0^10 + 59634030745052749640/6097517023*c_1001_0^9 + 36652175759554567541/6672754478*c_1001_0^8 - 168410479798872758755/353655987334*c_1001_0^7 - 660386478645371358538/176827993667*c_1001_0^6 - 614520979263659315615/176827993667*c_1001_0^5 - 385366607112344092087/353655987334*c_1001_0^4 + 75379102428593658462/176827993667*c_1001_0^3 + 153961222623390375565/353655987334*c_1001_0^2 + 43854428998950992783/353655987334*c_1001_0 + 4375169335045818365/353655987334, c_0101_1 + 2160840144087272395/353655987334*c_1001_0^26 - 14058294475294992573/353655987334*c_1001_0^25 + 4037728598028632863/27204306718*c_1001_0^24 - 73782672021216529021/176827993667*c_1001_0^23 + 243209817420527454801/353655987334*c_1001_0^22 - 313218680269459619393/353655987334*c_1001_0^21 + 105179248641875398507/176827993667*c_1001_0^20 + 21396881983808878815/27204306718*c_1001_0^19 - 12974202875952989909/13602153359*c_1001_0^18 + 69310513786156303355/27204306718*c_1001_0^17 - 486152903809696933505/353655987334*c_1001_0^16 - 702551357698617061733/353655987334*c_1001_0^15 - 446803078349599732783/176827993667*c_1001_0^14 - 77605633675915598517/13602153359*c_1001_0^13 - 211326891584172253199/176827993667*c_1001_0^12 + 564946538663268144042/176827993667*c_1001_0^11 + 1269992819722383233201/176827993667*c_1001_0^10 + 3375935368098735488977/353655987334*c_1001_0^9 + 35781950045037235359/6672754478*c_1001_0^8 - 82046260080329081299/176827993667*c_1001_0^7 - 644524545332239592972/176827993667*c_1001_0^6 - 1199705204316204990499/353655987334*c_1001_0^5 - 188146740903092316379/176827993667*c_1001_0^4 + 147105015554240407863/353655987334*c_1001_0^3 + 150298183364187417471/353655987334*c_1001_0^2 + 42818661805178641727/353655987334*c_1001_0 + 2136216843276504616/176827993667, c_0101_4 - 2219820386939940971/353655987334*c_1001_0^26 + 14444716026377050123/353655987334*c_1001_0^25 - 4149390271117322817/27204306718*c_1001_0^24 + 75833937702015009928/176827993667*c_1001_0^23 - 250068852868396889211/353655987334*c_1001_0^22 + 322178932181187242197/353655987334*c_1001_0^21 - 108345638950593559374/176827993667*c_1001_0^20 - 21938568013784218389/27204306718*c_1001_0^19 + 13331363125175095123/13602153359*c_1001_0^18 - 71237515266884398873/27204306718*c_1001_0^17 + 500768704646466591547/353655987334*c_1001_0^16 + 720467348952792448011/353655987334*c_1001_0^15 + 458866801790147167801/176827993667*c_1001_0^14 + 79685662585099334492/13602153359*c_1001_0^13 + 216076125027474903344/176827993667*c_1001_0^12 - 580138918892616379987/176827993667*c_1001_0^11 - 1304063694454684895526/176827993667*c_1001_0^10 - 3465480576436109847355/353655987334*c_1001_0^9 - 36702779650471720499/6672754478*c_1001_0^8 + 84756544716677611486/176827993667*c_1001_0^7 + 661788710672091548245/176827993667*c_1001_0^6 + 1231158792560210582633/353655987334*c_1001_0^5 + 192844915374194151288/176827993667*c_1001_0^4 - 151169227979551394515/353655987334*c_1001_0^3 - 154194140762063218737/353655987334*c_1001_0^2 - 43899241922984572713/353655987334*c_1001_0 - 2188951371717133380/176827993667, c_0101_5 - 161138289841499365/353655987334*c_1001_0^26 + 522661996466355517/176827993667*c_1001_0^25 - 149737394400423293/13602153359*c_1001_0^24 + 10920670804213548879/353655987334*c_1001_0^23 - 17890393649462198135/353655987334*c_1001_0^22 + 11450328554230998591/176827993667*c_1001_0^21 - 15033605416277045369/353655987334*c_1001_0^20 - 1641794250782841423/27204306718*c_1001_0^19 + 1926493023835837597/27204306718*c_1001_0^18 - 5127962294523708119/27204306718*c_1001_0^17 + 598952006556382222/6097517023*c_1001_0^16 + 26891886640306286595/176827993667*c_1001_0^15 + 66973657500587366969/353655987334*c_1001_0^14 + 5829127510826090242/13602153359*c_1001_0^13 + 16919968495818592470/176827993667*c_1001_0^12 - 42380443805696832468/176827993667*c_1001_0^11 - 95382470820791770573/176827993667*c_1001_0^10 - 254675093745211408427/353655987334*c_1001_0^9 - 1365873706245831836/3336377239*c_1001_0^8 + 11161995386605464425/353655987334*c_1001_0^7 + 48433688760042017475/176827993667*c_1001_0^6 + 90925272411226539417/353655987334*c_1001_0^5 + 29055911757116948331/353655987334*c_1001_0^4 - 10912254011519938741/353655987334*c_1001_0^3 - 5721313449878955138/176827993667*c_1001_0^2 - 1646634442351923878/176827993667*c_1001_0 - 331235847115434965/353655987334, c_0101_6 + 326078463007897072/176827993667*c_1001_0^26 - 2113919273505621254/176827993667*c_1001_0^25 + 605236661265183775/13602153359*c_1001_0^24 - 22057515453972914351/176827993667*c_1001_0^23 + 36076674666550102505/176827993667*c_1001_0^22 - 46090923281511182392/176827993667*c_1001_0^21 + 30036413641332922738/176827993667*c_1001_0^20 + 3354126320395712341/13602153359*c_1001_0^19 - 3906858783047105779/13602153359*c_1001_0^18 + 10364128580471131972/13602153359*c_1001_0^17 - 69574757240001723923/176827993667*c_1001_0^16 - 109698096801282454210/176827993667*c_1001_0^15 - 135365402846453976831/176827993667*c_1001_0^14 - 23640429232406502592/13602153359*c_1001_0^13 - 69318640282661729322/176827993667*c_1001_0^12 + 171939471462786736987/176827993667*c_1001_0^11 + 386477209369022562679/176827993667*c_1001_0^10 + 516617224995002876396/176827993667*c_1001_0^9 + 5550454048211250102/3336377239*c_1001_0^8 - 22351860708146457733/176827993667*c_1001_0^7 - 196359793512059397384/176827993667*c_1001_0^6 - 184566057805366058758/176827993667*c_1001_0^5 - 59112489396565927742/176827993667*c_1001_0^4 + 22110278340203124319/176827993667*c_1001_0^3 + 23239676782227559424/176827993667*c_1001_0^2 + 6691576813097525900/176827993667*c_1001_0 + 673053269153224507/176827993667, c_1001_0^27 - 6*c_1001_0^26 + 21*c_1001_0^25 - 56*c_1001_0^24 + 78*c_1001_0^23 - 88*c_1001_0^22 + 24*c_1001_0^21 + 178*c_1001_0^20 - 91*c_1001_0^19 + 338*c_1001_0^18 - 14*c_1001_0^17 - 439*c_1001_0^16 - 578*c_1001_0^15 - 1143*c_1001_0^14 - 668*c_1001_0^13 + 424*c_1001_0^12 + 1440*c_1001_0^11 + 2157*c_1001_0^10 + 1668*c_1001_0^9 + 368*c_1001_0^8 - 635*c_1001_0^7 - 857*c_1001_0^6 - 455*c_1001_0^5 - 20*c_1001_0^4 + 104*c_1001_0^3 + 55*c_1001_0^2 + 12*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB