Magma V2.19-8 Tue Aug 20 2013 23:29:41 on localhost [Seed = 3549803906] Type ? for help. Type -D to quit. Loading file "K12n318__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n318 geometric_solution 8.06616041 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 -1 0 0 1 0 -2 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105622787448 1.429257168084 0 5 4 3 0132 0132 1302 1302 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 1 0 -2 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.385236763721 0.929281126911 6 0 5 4 0132 0132 0321 1023 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 1 0 -1 0 0 0 0 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483859206434 0.517712068455 6 7 1 0 3012 0132 2031 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 1 -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.124024478684 0.650823198773 1 8 0 2 2031 0132 0132 1023 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 -1 1 0 1 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631688639136 0.755254486543 7 1 2 8 0213 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313336191908 0.617107559748 2 8 7 3 0132 2031 2031 1230 0 0 0 0 0 0 0 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 0 0 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464336122830 0.282905293136 5 3 8 6 0213 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268105969309 0.874147666092 6 4 7 5 1302 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.719998032827 0.319954942708 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0110_4'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0110_4'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : d['c_0101_6'], 's_2_8' : negation(d['1']), 's_2_0' : negation(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' : d['1'], 's_2_7' : negation(d['1']), 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_8' : d['c_0110_4'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_1001_5'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_0']), 'c_0110_8' : negation(d['c_0110_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0110_5']), 'c_0110_6' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_6, c_0110_4, c_0110_5, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 8293085517567/31870437053*c_1001_5^9 - 115962954950321/95611311159*c_1001_5^8 - 111023518322859/31870437053*c_1001_5^7 - 4008709449181/601329001*c_1001_5^6 - 838240640821777/95611311159*c_1001_5^5 - 738442078013278/95611311159*c_1001_5^4 - 133826133905875/31870437053*c_1001_5^3 - 14163021063457/13658758737*c_1001_5^2 + 855704749265/4552919579*c_1001_5 + 14534861016901/95611311159, c_0011_0 - 1, c_0011_3 + 6865138158/350224583*c_1001_5^9 + 31804195867/350224583*c_1001_5^8 + 90732454822/350224583*c_1001_5^7 + 3268194313/6608011*c_1001_5^6 + 227545412198/350224583*c_1001_5^5 + 202550201728/350224583*c_1001_5^4 + 116491104774/350224583*c_1001_5^3 + 37712142433/350224583*c_1001_5^2 + 3366789188/350224583*c_1001_5 - 1283666905/350224583, c_0011_4 + 3544548287/350224583*c_1001_5^9 + 15797391852/350224583*c_1001_5^8 + 44324265668/350224583*c_1001_5^7 + 1550858478/6608011*c_1001_5^6 + 104552050942/350224583*c_1001_5^5 + 88026926019/350224583*c_1001_5^4 + 46516827437/350224583*c_1001_5^3 + 12740013007/350224583*c_1001_5^2 + 389104705/350224583*c_1001_5 - 382296003/350224583, c_0101_0 - 743190279/350224583*c_1001_5^9 - 4281769187/350224583*c_1001_5^8 - 13871944006/350224583*c_1001_5^7 - 569821730/6608011*c_1001_5^6 - 46411657719/350224583*c_1001_5^5 - 49682814549/350224583*c_1001_5^4 - 35719221231/350224583*c_1001_5^3 - 15028177568/350224583*c_1001_5^2 - 2308376939/350224583*c_1001_5 + 553443659/350224583, c_0101_6 + 1121401145/350224583*c_1001_5^9 + 4819934372/350224583*c_1001_5^8 + 13649138390/350224583*c_1001_5^7 + 484048352/6608011*c_1001_5^6 + 33701120745/350224583*c_1001_5^5 + 31063400386/350224583*c_1001_5^4 + 19374361423/350224583*c_1001_5^3 + 8032989969/350224583*c_1001_5^2 + 1389294987/350224583*c_1001_5 - 99849209/350224583, c_0110_4 - 3044965461/350224583*c_1001_5^9 - 13611940227/350224583*c_1001_5^8 - 37672850397/350224583*c_1001_5^7 - 1324384230/6608011*c_1001_5^6 - 88757454732/350224583*c_1001_5^5 - 76087499029/350224583*c_1001_5^4 - 42331000537/350224583*c_1001_5^3 - 13696257637/350224583*c_1001_5^2 - 1380661389/350224583*c_1001_5 + 422444186/350224583, c_0110_5 + 5293416168/350224583*c_1001_5^9 + 27329106292/350224583*c_1001_5^8 + 82268415649/350224583*c_1001_5^7 + 3152363577/6608011*c_1001_5^6 + 235608535636/350224583*c_1001_5^5 + 228016610553/350224583*c_1001_5^4 + 143847999291/350224583*c_1001_5^3 + 50918216350/350224583*c_1001_5^2 + 4479383136/350224583*c_1001_5 - 2464132578/350224583, c_1001_2 + 743190279/350224583*c_1001_5^9 + 4281769187/350224583*c_1001_5^8 + 13871944006/350224583*c_1001_5^7 + 569821730/6608011*c_1001_5^6 + 46411657719/350224583*c_1001_5^5 + 49682814549/350224583*c_1001_5^4 + 35719221231/350224583*c_1001_5^3 + 15028177568/350224583*c_1001_5^2 + 1958152356/350224583*c_1001_5 - 903668242/350224583, c_1001_5^10 + 159/29*c_1001_5^9 + 503/29*c_1001_5^8 + 1081/29*c_1001_5^7 + 1645/29*c_1001_5^6 + 1780/29*c_1001_5^5 + 1340/29*c_1001_5^4 + 660/29*c_1001_5^3 + 177/29*c_1001_5^2 + 6/29*c_1001_5 - 7/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB