Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3836049602] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s110 geometric_solution 3.98110862 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 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.559652334733 0.069492313304 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.680655550697 0.149009546074 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 0 0 1 -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.295037822842 1.076856656627 4 2 4 5 3201 0132 2310 0132 0 0 0 0 0 -1 1 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 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.016895971954 1.711552994398 5 3 2 3 1023 3201 0132 2310 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 1 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.016895971954 1.711552994398 5 4 3 5 3012 1023 0132 1230 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 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.488855029218 0.302307243416 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 84306589715561741/2770510371029380*c_0101_3^14 + 660143789741627903/2770510371029380*c_0101_3^13 + 1236757342334632453/2770510371029380*c_0101_3^12 + 2548775709680967371/1385255185514690*c_0101_3^11 + 5601668969278551719/2770510371029380*c_0101_3^10 + 1115602379245877275/554102074205876*c_0101_3^9 - 8691959359895015/19789359793067*c_0101_3^8 - 12032361703518916219/2770510371029380*c_0101_3^7 - 2151364644676367291/1385255185514690*c_0101_3^6 - 11262804556059582797/2770510371029380*c_0101_3^5 + 284003385653793869/98946798965335*c_0101_3^4 + 4340755608423931797/1385255185514690*c_0101_3^3 - 18474538337115831/19789359793067*c_0101_3^2 - 33249201614378129/98946798965335*c_0101_3 + 215280805505223923/2770510371029380, c_0011_0 - 1, c_0011_1 - 180317371496537/554102074205876*c_0101_3^14 - 1436815046680635/554102074205876*c_0101_3^13 - 2885389612561429/554102074205876*c_0101_3^12 - 5815612266189679/277051037102938*c_0101_3^11 - 14230106576972679/554102074205876*c_0101_3^10 - 16568177094845679/554102074205876*c_0101_3^9 - 707404635462884/138525518551469*c_0101_3^8 + 3078254173713777/79157439172268*c_0101_3^7 + 5690042154941691/277051037102938*c_0101_3^6 + 30288380926590313/554102074205876*c_0101_3^5 - 393293042870401/19789359793067*c_0101_3^4 - 6622275039431897/277051037102938*c_0101_3^3 + 186993645308949/138525518551469*c_0101_3^2 - 111041273137918/138525518551469*c_0101_3 + 156239982564977/554102074205876, c_0011_4 - 41267007086573/554102074205876*c_0101_3^14 - 305280757931691/554102074205876*c_0101_3^13 - 69259848219359/79157439172268*c_0101_3^12 - 1191624851111865/277051037102938*c_0101_3^11 - 1948902355629091/554102074205876*c_0101_3^10 - 2770747048192871/554102074205876*c_0101_3^9 + 93397610117240/138525518551469*c_0101_3^8 + 3774186030922631/554102074205876*c_0101_3^7 - 493092945182989/277051037102938*c_0101_3^6 + 891313125798199/79157439172268*c_0101_3^5 - 208221617298284/19789359793067*c_0101_3^4 + 534884342371807/277051037102938*c_0101_3^3 + 455119379384380/138525518551469*c_0101_3^2 - 110631891255427/138525518551469*c_0101_3 - 1190431593497/79157439172268, c_0101_0 + 60430406474801/277051037102938*c_0101_3^14 + 233921939252216/138525518551469*c_0101_3^13 + 855179210786073/277051037102938*c_0101_3^12 + 3656231432941575/277051037102938*c_0101_3^11 + 1917553768553980/138525518551469*c_0101_3^10 + 4262272908400421/277051037102938*c_0101_3^9 - 90524754436521/39578719586134*c_0101_3^8 - 3966725432138047/138525518551469*c_0101_3^7 - 1367027097898825/138525518551469*c_0101_3^6 - 9475101115381443/277051037102938*c_0101_3^5 + 810572174354409/39578719586134*c_0101_3^4 + 3980437270709103/277051037102938*c_0101_3^3 - 153908060305199/39578719586134*c_0101_3^2 + 41566271073921/39578719586134*c_0101_3 + 93120827636917/138525518551469, c_0101_1 + 42997209878943/138525518551469*c_0101_3^14 + 668801826792587/277051037102938*c_0101_3^13 + 623574885839608/138525518551469*c_0101_3^12 + 5302991650887013/277051037102938*c_0101_3^11 + 5783555986935381/277051037102938*c_0101_3^10 + 3390495007713348/138525518551469*c_0101_3^9 + 29054544229953/39578719586134*c_0101_3^8 - 10073111040842211/277051037102938*c_0101_3^7 - 1547055258273157/138525518551469*c_0101_3^6 - 6661274577868098/138525518551469*c_0101_3^5 + 1105235324558779/39578719586134*c_0101_3^4 + 4890208330096121/277051037102938*c_0101_3^3 - 275051740155071/39578719586134*c_0101_3^2 + 52284339741413/39578719586134*c_0101_3 + 52051631421471/277051037102938, c_0101_3^15 + 8*c_0101_3^14 + 16*c_0101_3^13 + 63*c_0101_3^12 + 77*c_0101_3^11 + 78*c_0101_3^10 - c_0101_3^9 - 143*c_0101_3^8 - 73*c_0101_3^7 - 143*c_0101_3^6 + 67*c_0101_3^5 + 118*c_0101_3^4 - 18*c_0101_3^3 - 12*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB