Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2210537324] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1924 geometric_solution 5.52358800 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 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.903388248464 0.453836108803 0 0 3 2 0132 3201 0132 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 -1 1 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.584068821417 0.784938785088 4 3 1 5 0132 2031 0132 0132 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684869982978 0.399956319829 2 4 6 1 1302 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 1 -1 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.684869982978 0.399956319829 2 6 5 3 0132 1230 1230 3201 0 0 0 0 0 1 0 -1 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 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.665426100610 0.299608215247 6 6 2 4 0213 3120 0132 3012 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658730669170 1.485379870547 5 5 4 3 0213 3120 3012 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 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.658730669170 1.485379870547 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : negation(d['c_1001_4']), 'c_1100_5' : negation(d['c_1001_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_1001_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_2']), '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_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_1001_4'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0011_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 73456290163/12226048660*c_1001_4^12 + 174542053841/12226048660*c_1001_4^11 + 625969897407/12226048660*c_1001_4^10 - 380547780679/3056512165*c_1001_4^9 - 135293223517/3056512165*c_1001_4^8 - 389991787331/12226048660*c_1001_4^7 + 2416393424929/12226048660*c_1001_4^6 + 2197823184097/3056512165*c_1001_4^5 - 2429759269731/6113024330*c_1001_4^4 - 3520966409431/3056512165*c_1001_4^3 + 303037946592/436644595*c_1001_4^2 - 1462751136146/3056512165*c_1001_4 + 406381530592/3056512165, c_0011_0 - 1, c_0011_2 - 17966327/698631352*c_1001_4^12 + 5022716/87328919*c_1001_4^11 + 81906755/349315676*c_1001_4^10 - 344810895/698631352*c_1001_4^9 - 27197602/87328919*c_1001_4^8 - 140820159/698631352*c_1001_4^7 + 70593645/87328919*c_1001_4^6 + 2217800915/698631352*c_1001_4^5 - 328984399/349315676*c_1001_4^4 - 1834174663/349315676*c_1001_4^3 + 426276995/174657838*c_1001_4^2 - 126656725/174657838*c_1001_4 + 13846793/87328919, c_0011_5 - 4701195/698631352*c_1001_4^12 + 13931409/349315676*c_1001_4^11 + 9036685/349315676*c_1001_4^10 - 252410791/698631352*c_1001_4^9 + 70789117/349315676*c_1001_4^8 + 178525081/698631352*c_1001_4^7 + 236652201/349315676*c_1001_4^6 + 477588587/698631352*c_1001_4^5 - 246199092/87328919*c_1001_4^4 - 528022759/349315676*c_1001_4^3 + 325543231/87328919*c_1001_4^2 - 340561899/174657838*c_1001_4 + 46992015/87328919, c_0011_6 + 4701195/698631352*c_1001_4^12 - 13931409/349315676*c_1001_4^11 - 9036685/349315676*c_1001_4^10 + 252410791/698631352*c_1001_4^9 - 70789117/349315676*c_1001_4^8 - 178525081/698631352*c_1001_4^7 - 236652201/349315676*c_1001_4^6 - 477588587/698631352*c_1001_4^5 + 246199092/87328919*c_1001_4^4 + 528022759/349315676*c_1001_4^3 - 325543231/87328919*c_1001_4^2 + 340561899/174657838*c_1001_4 - 46992015/87328919, c_0101_0 + 15115775/698631352*c_1001_4^12 - 9894343/698631352*c_1001_4^11 - 139619741/698631352*c_1001_4^10 + 10756106/87328919*c_1001_4^9 + 91712955/349315676*c_1001_4^8 + 277000789/698631352*c_1001_4^7 + 221402577/698631352*c_1001_4^6 - 564002451/349315676*c_1001_4^5 - 153071035/174657838*c_1001_4^4 + 683581241/349315676*c_1001_4^3 - 271792755/174657838*c_1001_4^2 + 6284621/87328919*c_1001_4 + 47282449/87328919, c_0101_1 - 11379463/698631352*c_1001_4^12 + 7643151/698631352*c_1001_4^11 + 97193735/698631352*c_1001_4^10 - 29526281/349315676*c_1001_4^9 - 9603079/87328919*c_1001_4^8 - 271630005/698631352*c_1001_4^7 - 150349589/698631352*c_1001_4^6 + 92929401/87328919*c_1001_4^5 + 139157645/349315676*c_1001_4^4 - 374021621/349315676*c_1001_4^3 + 153966349/174657838*c_1001_4^2 - 14709708/87328919*c_1001_4 + 70041375/87328919, c_1001_4^13 - 3*c_1001_4^12 - 7*c_1001_4^11 + 26*c_1001_4^10 - 6*c_1001_4^9 + c_1001_4^8 - 35*c_1001_4^7 - 98*c_1001_4^6 + 140*c_1001_4^5 + 144*c_1001_4^4 - 240*c_1001_4^3 + 160*c_1001_4^2 - 64*c_1001_4 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB