Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 1730608001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1867 geometric_solution 5.50100132 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -1 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 0 0 0 0.633289501485 0.476692308234 0 3 4 2 0132 2103 1230 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.013818590593 1.317877524743 5 0 1 5 0132 0132 1230 1023 0 0 0 0 0 -1 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 0 0 0 0 1 0 -1 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.592577413108 0.197938923512 3 1 3 0 2031 2103 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 0.252240913739 1.498939495879 6 6 0 1 0132 3201 0132 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 -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.547464013258 1.015808960914 2 5 5 2 0132 3201 2310 1023 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 -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.890825834929 0.648766552299 4 6 4 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.799290641818 0.477208886309 ==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' : d['1'], 's_3_4' : 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_4'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], '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' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_6'])})} 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_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 480*c_0101_6^7 + 1684*c_0101_6^6 + 4903*c_0101_6^5 - 6808*c_0101_6^4 - 8533*c_0101_6^3 + 3835*c_0101_6^2 + 4768*c_0101_6 + 957, c_0011_0 - 1, c_0011_3 - 5*c_0101_6^7 + 16*c_0101_6^6 + 57*c_0101_6^5 - 57*c_0101_6^4 - 116*c_0101_6^3 + 20*c_0101_6^2 + 70*c_0101_6 + 20, c_0011_4 - c_0101_6^7 + 3*c_0101_6^6 + 12*c_0101_6^5 - 9*c_0101_6^4 - 25*c_0101_6^3 - c_0101_6^2 + 15*c_0101_6 + 6, c_0101_1 + 25*c_0101_6^7 - 84*c_0101_6^6 - 270*c_0101_6^5 + 323*c_0101_6^4 + 511*c_0101_6^3 - 161*c_0101_6^2 - 294*c_0101_6 - 69, c_0101_2 - 30*c_0101_6^7 + 102*c_0101_6^6 + 319*c_0101_6^5 - 397*c_0101_6^4 - 589*c_0101_6^3 + 204*c_0101_6^2 + 336*c_0101_6 + 76, c_0101_5 + 5*c_0101_6^7 - 16*c_0101_6^6 - 57*c_0101_6^5 + 57*c_0101_6^4 + 116*c_0101_6^3 - 20*c_0101_6^2 - 70*c_0101_6 - 20, c_0101_6^8 - 3*c_0101_6^7 - 12*c_0101_6^6 + 9*c_0101_6^5 + 25*c_0101_6^4 + c_0101_6^3 - 14*c_0101_6^2 - 7*c_0101_6 - 1 ], 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_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 2586840848449041779/19593275358584576288*c_0101_6^13 - 8479560482570808325/19593275358584576288*c_0101_6^12 + 41603514776681074081/19593275358584576288*c_0101_6^11 - 23932189204249275757/4898318839646144072*c_0101_6^10 + 114365817146818956623/4898318839646144072*c_0101_6^9 - 64253959932552984291/2449159419823072036*c_0101_6^8 + 1681101408031000420941/19593275358584576288*c_0101_6^7 - 1143697525608489538799/9796637679292288144*c_0101_6^6 + 1354774012688606163939/9796637679292288144*c_0101_6^5 - 58267985746986663805/292436945650516064*c_0101_6^4 + 1076077692267047420273/9796637679292288144*c_0101_6^3 - 1192837107279689393155/9796637679292288144*c_0101_6^2 + 857325006778924391099/19593275358584576288*c_0101_6 - 100394068085549978839/4898318839646144072, c_0011_0 - 1, c_0011_3 + 31545279474571759/4898318839646144072*c_0101_6^13 - 98029032395176877/4898318839646144072*c_0101_6^12 + 470009025314248721/4898318839646144072*c_0101_6^11 - 127030943479264979/612289854955768009*c_0101_6^10 + 1272132785170732179/1224579709911536018*c_0101_6^9 - 583989101777496695/612289854955768009*c_0101_6^8 + 16318378141949479833/4898318839646144072*c_0101_6^7 - 10623114568872711805/2449159419823072036*c_0101_6^6 + 9670484392490272311/2449159419823072036*c_0101_6^5 - 415846195204933857/73109236412629016*c_0101_6^4 + 3871918754690157379/2449159419823072036*c_0101_6^3 - 4312271001738780615/2449159419823072036*c_0101_6^2 + 1700116698314868111/4898318839646144072*c_0101_6 + 71520685716188912/612289854955768009, c_0011_4 + 2901588632514413/4898318839646144072*c_0101_6^13 - 12502114720854471/4898318839646144072*c_0101_6^12 + 60229601904688385/4898318839646144072*c_0101_6^11 - 72304447125499059/2449159419823072036*c_0101_6^10 + 76003385151068820/612289854955768009*c_0101_6^9 - 460271154935207919/2449159419823072036*c_0101_6^8 + 2444458166053022427/4898318839646144072*c_0101_6^7 - 461722649354817501/1224579709911536018*c_0101_6^6 + 611272419361554807/612289854955768009*c_0101_6^5 - 43314042678104349/73109236412629016*c_0101_6^4 - 466036169728669523/612289854955768009*c_0101_6^3 - 1483718426572037081/2449159419823072036*c_0101_6^2 - 4245050392703921065/4898318839646144072*c_0101_6 - 10679324071266160/612289854955768009, c_0101_1 + 10273235624612375/4898318839646144072*c_0101_6^13 - 4251412669929201/4898318839646144072*c_0101_6^12 + 64499865230363567/4898318839646144072*c_0101_6^11 + 40454941862077881/2449159419823072036*c_0101_6^10 + 94445493715015116/612289854955768009*c_0101_6^9 + 1441647037413576253/2449159419823072036*c_0101_6^8 + 1143536483527318813/4898318839646144072*c_0101_6^7 + 1550741285619522377/1224579709911536018*c_0101_6^6 - 1480975631137014203/612289854955768009*c_0101_6^5 + 58666369891947741/73109236412629016*c_0101_6^4 - 2051360447074571277/612289854955768009*c_0101_6^3 - 356685133288373927/2449159419823072036*c_0101_6^2 - 2925775875787148171/4898318839646144072*c_0101_6 - 195475045364732048/612289854955768009, c_0101_2 - 6531617797115157/612289854955768009*c_0101_6^13 + 21149913275960613/612289854955768009*c_0101_6^12 - 99238713888920692/612289854955768009*c_0101_6^11 + 220638341717105793/612289854955768009*c_0101_6^10 - 1066852749261403392/612289854955768009*c_0101_6^9 + 1072469781822282536/612289854955768009*c_0101_6^8 - 3354827839937603178/612289854955768009*c_0101_6^7 + 4677406336149021067/612289854955768009*c_0101_6^6 - 3924104598426051036/612289854955768009*c_0101_6^5 + 88837546108411202/9138654551578627*c_0101_6^4 - 1535870494183028713/612289854955768009*c_0101_6^3 + 1791489793046980996/612289854955768009*c_0101_6^2 - 992324041948782048/612289854955768009*c_0101_6 - 113609427087140739/612289854955768009, c_0101_5 + 83798221851493015/4898318839646144072*c_0101_6^13 - 267228338602861781/4898318839646144072*c_0101_6^12 + 1263918736425614257/4898318839646144072*c_0101_6^11 - 347669285196370772/612289854955768009*c_0101_6^10 + 3405838283693538963/1224579709911536018*c_0101_6^9 - 1656458883599779231/612289854955768009*c_0101_6^8 + 43157000861450305257/4898318839646144072*c_0101_6^7 - 29332739913468796073/2449159419823072036*c_0101_6^6 + 25366902786194476455/2449159419823072036*c_0101_6^5 - 1126546564072223473/73109236412629016*c_0101_6^4 + 10015400731422272231/2449159419823072036*c_0101_6^3 - 11478230173926704599/2449159419823072036*c_0101_6^2 + 9638709033905124495/4898318839646144072*c_0101_6 + 185130112803329651/612289854955768009, c_0101_6^14 - 3*c_0101_6^13 + 15*c_0101_6^12 - 32*c_0101_6^11 + 164*c_0101_6^10 - 144*c_0101_6^9 + 567*c_0101_6^8 - 678*c_0101_6^7 + 714*c_0101_6^6 - 1101*c_0101_6^5 + 314*c_0101_6^4 - 538*c_0101_6^3 + 33*c_0101_6^2 - 24*c_0101_6 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB