Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 947496030] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s738 geometric_solution 5.25598996 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 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.226106443977 0.219424738602 2 0 3 0 0132 2310 0132 0132 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 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.496232710884 1.990928609926 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 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 -1 1 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.121960663643 0.859653579080 5 4 2 1 1023 3201 2310 0132 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121960663643 0.859653579080 4 4 3 2 1230 3012 2310 0132 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 -1 -1 0 1 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.497029525831 0.831999673996 5 3 2 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972749910318 0.987189274251 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], '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_0011_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 73639516110607487/806451145358137*c_0101_3^16 + 914740826961212897/4032255726790685*c_0101_3^15 - 1746324746212348724/806451145358137*c_0101_3^14 + 16461139687823482968/4032255726790685*c_0101_3^13 + 20135852363285272261/4032255726790685*c_0101_3^12 - 21619863718871230776/806451145358137*c_0101_3^11 + 42610121287740755961/4032255726790685*c_0101_3^10 + 248389201963394482371/4032255726790685*c_0101_3^9 - 182838809354678843532/4032255726790685*c_0101_3^8 - 342979459887608596874/4032255726790685*c_0101_3^7 + 103311336569175119897/4032255726790685*c_0101_3^6 + 200048004088999477703/4032255726790685*c_0101_3^5 + 93392380803219584/4032255726790685*c_0101_3^4 - 48249383461337098679/4032255726790685*c_0101_3^3 - 6891457588454243787/4032255726790685*c_0101_3^2 + 3452852530382344043/4032255726790685*c_0101_3 + 569050683496915838/4032255726790685, c_0011_0 - 1, c_0011_1 + 23088651077766877/10483864889655781*c_0101_3^16 + 57939406412043784/10483864889655781*c_0101_3^15 - 545395331420746890/10483864889655781*c_0101_3^14 + 78475490968681558/806451145358137*c_0101_3^13 + 1272062089584290374/10483864889655781*c_0101_3^12 - 6712925481203962836/10483864889655781*c_0101_3^11 + 2527008290512191481/10483864889655781*c_0101_3^10 + 15457125341576980565/10483864889655781*c_0101_3^9 - 10967966357063504522/10483864889655781*c_0101_3^8 - 1649514935547665801/806451145358137*c_0101_3^7 + 5661934702031960542/10483864889655781*c_0101_3^6 + 12250948026114398608/10483864889655781*c_0101_3^5 + 311813970542518913/10483864889655781*c_0101_3^4 - 2806598805850954131/10483864889655781*c_0101_3^3 - 31799641955002534/806451145358137*c_0101_3^2 + 13661168738043884/806451145358137*c_0101_3 + 26974145459577912/10483864889655781, c_0011_3 - 15880173037070647/10483864889655781*c_0101_3^16 - 42148882106574604/10483864889655781*c_0101_3^15 + 369750654584706778/10483864889655781*c_0101_3^14 - 49789763056462444/806451145358137*c_0101_3^13 - 988010565070574502/10483864889655781*c_0101_3^12 + 4529397420036073025/10483864889655781*c_0101_3^11 - 1093009911995314047/10483864889655781*c_0101_3^10 - 11028285192114518522/10483864889655781*c_0101_3^9 + 6292206656310855230/10483864889655781*c_0101_3^8 + 1226733643858842795/806451145358137*c_0101_3^7 - 2397820006870342178/10483864889655781*c_0101_3^6 - 8930283326050858796/10483864889655781*c_0101_3^5 - 791965716562192233/10483864889655781*c_0101_3^4 + 1986841637313634787/10483864889655781*c_0101_3^3 + 26739081473732516/806451145358137*c_0101_3^2 - 10754524613655788/806451145358137*c_0101_3 - 13814081168229896/10483864889655781, c_0011_4 + 15985688377811195/10483864889655781*c_0101_3^16 + 44242797784069844/10483864889655781*c_0101_3^15 - 368616049120334123/10483864889655781*c_0101_3^14 + 46565102829890265/806451145358137*c_0101_3^13 + 1094833954442068422/10483864889655781*c_0101_3^12 - 4480141384039606800/10483864889655781*c_0101_3^11 + 479608484093730065/10483864889655781*c_0101_3^10 + 11532557896169275389/10483864889655781*c_0101_3^9 - 4979463709010398826/10483864889655781*c_0101_3^8 - 1357015106015799292/806451145358137*c_0101_3^7 + 676113519127579672/10483864889655781*c_0101_3^6 + 10589666338237389679/10483864889655781*c_0101_3^5 + 2209436706127869042/10483864889655781*c_0101_3^4 - 2330248919628088366/10483864889655781*c_0101_3^3 - 61499898866042921/806451145358137*c_0101_3^2 + 8472862262278444/806451145358137*c_0101_3 + 44643407716755810/10483864889655781, c_0101_1 - 50083243079558802/10483864889655781*c_0101_3^16 - 128041288232748139/10483864889655781*c_0101_3^15 + 1177854035587767365/10483864889655781*c_0101_3^14 - 165861627368694525/806451145358137*c_0101_3^13 - 2882082175687248537/10483864889655781*c_0101_3^12 + 14483898214300148834/10483864889655781*c_0101_3^11 - 4809850425049843034/10483864889655781*c_0101_3^10 - 33992229518653584235/10483864889655781*c_0101_3^9 + 22514602145268503910/10483864889655781*c_0101_3^8 + 3679821673938390530/806451145358137*c_0101_3^7 - 10697683033705860950/10483864889655781*c_0101_3^6 - 27251579497735867336/10483864889655781*c_0101_3^5 - 1542293479650446036/10483864889655781*c_0101_3^4 + 6156290655842352209/10483864889655781*c_0101_3^3 + 83581279657709401/806451145358137*c_0101_3^2 - 28913632287431065/806451145358137*c_0101_3 - 57781074273410071/10483864889655781, c_0101_3^17 + 2*c_0101_3^16 - 25*c_0101_3^15 + 56*c_0101_3^14 + 35*c_0101_3^13 - 324*c_0101_3^12 + 254*c_0101_3^11 + 643*c_0101_3^10 - 836*c_0101_3^9 - 744*c_0101_3^8 + 779*c_0101_3^7 + 476*c_0101_3^6 - 294*c_0101_3^5 - 168*c_0101_3^4 + 50*c_0101_3^3 + 26*c_0101_3^2 - 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB