Magma V2.19-8 Tue Aug 20 2013 23:45:52 on localhost [Seed = 3246892083] Type ? for help. Type -D to quit. Loading file "K14a17413__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a17413 geometric_solution 9.09329372 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 1 0 -9 8 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.659984110836 0.815331502022 0 5 2 6 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.813782085256 1.329029597906 1 0 7 5 2103 0132 0132 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 -1 0 1 -1 0 0 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608815808381 0.366000357216 7 8 4 0 0132 0132 2103 0132 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 -9 9 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488527975896 0.292161460395 3 9 0 8 2103 0132 0132 2310 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 9 0 -8 -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.763801223877 1.658014740273 6 1 6 2 3012 0132 2310 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 1 0 -1 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.595699377490 0.210531958931 7 5 1 5 2103 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543496698857 1.046698597821 3 8 6 2 0132 0213 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659984110836 0.815331502022 4 3 7 9 3201 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770795812436 0.497542959652 8 4 10 10 3120 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.099589367388 0.272354960393 9 11 11 9 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.645318903155 1.059109814857 10 10 11 11 2310 0132 1230 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 0 0 0 0 0 0 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.224186910348 0.281231880766 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_9']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0101_9']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_9']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_0110_2']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0101_9']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_4'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), '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_6'], '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_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0110_2']), 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_9, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 1226887779372998/572990086024759*c_0110_2^37 + 175851127720506/572990086024759*c_0110_2^36 - 66998485866316857/572990086024759*c_0110_2^35 - 124177132451625349/572990086024759*c_0110_2^34 + 938250496125330137/572990086024759*c_0110_2^33 + 65660869801425958/18483551162089*c_0110_2^32 - 7602850801415184667/572990086024759*c_0110_2^31 - 1258455207975170294/44076160463443*c_0110_2^30 + 44333881671116979223/572990086024759*c_0110_2^29 + 83743723940902961939/572990086024759*c_0110_2^28 - 202458616603554523847/572990086024759*c_0110_2^27 - 297985060174758570388/572990086024759*c_0110_2^26 + 743497952357967422351/572990086024759*c_0110_2^25 + 748792859810093852945/572990086024759*c_0110_2^24 - 2197059327649707205069/572990086024759*c_0110_2^23 - 1246753041606602573312/572990086024759*c_0110_2^22 + 5173655173703322160046/572990086024759*c_0110_2^21 + 924347908022999383949/572990086024759*c_0110_2^20 - 9553237947902530976842/572990086024759*c_0110_2^19 + 1585262921248591783990/572990086024759*c_0110_2^18 + 13476009108261160293655/572990086024759*c_0110_2^17 - 6659214848414838780826/572990086024759*c_0110_2^16 - 13828780599297804277299/572990086024759*c_0110_2^15 + 11979592825898001875458/572990086024759*c_0110_2^14 + 9178696100429021577184/572990086024759*c_0110_2^13 - 13590103306156532757467/572990086024759*c_0110_2^12 - 2273065273493627100658/572990086024759*c_0110_2^11 + 10040244015218014296635/572990086024759*c_0110_2^10 - 2166081157368111545407/572990086024759*c_0110_2^9 - 4434727965514386226841/572990086024759*c_0110_2^8 + 2491657008720267388666/572990086024759*c_0110_2^7 + 797878773191404321626/572990086024759*c_0110_2^6 - 1033145547422145221655/572990086024759*c_0110_2^5 + 150845189845850267974/572990086024759*c_0110_2^4 + 142781861018101654042/572990086024759*c_0110_2^3 - 5164893060810838478/44076160463443*c_0110_2^2 + 9985146417523305271/572990086024759*c_0110_2 - 404703637972311477/572990086024759, c_0011_0 - 1, c_0011_10 - c_0110_2^11 - 2*c_0110_2^10 + 5*c_0110_2^9 + 9*c_0110_2^8 - 14*c_0110_2^7 - 16*c_0110_2^6 + 26*c_0110_2^5 + 11*c_0110_2^4 - 28*c_0110_2^3 + 2*c_0110_2^2 + 12*c_0110_2 - 5, c_0011_3 - c_0110_2^4 - c_0110_2^3 + 2*c_0110_2^2 + c_0110_2 - 2, c_0011_4 - c_0110_2^6 - c_0110_2^5 + 3*c_0110_2^4 + 2*c_0110_2^3 - 5*c_0110_2^2 - 2*c_0110_2 + 3, c_0011_6 + c_0110_2^36 + 5*c_0110_2^35 - 10*c_0110_2^34 - 81*c_0110_2^33 + 38*c_0110_2^32 + 662*c_0110_2^31 - 36*c_0110_2^30 - 3610*c_0110_2^29 - 162*c_0110_2^28 + 14599*c_0110_2^27 - 12*c_0110_2^26 - 45899*c_0110_2^25 + 5699*c_0110_2^24 + 114324*c_0110_2^23 - 33266*c_0110_2^22 - 226010*c_0110_2^21 + 109885*c_0110_2^20 + 350494*c_0110_2^19 - 249584*c_0110_2^18 - 414326*c_0110_2^17 + 412997*c_0110_2^16 + 350518*c_0110_2^15 - 504648*c_0110_2^14 - 176872*c_0110_2^13 + 449352*c_0110_2^12 + 2785*c_0110_2^11 - 279506*c_0110_2^10 + 73921*c_0110_2^9 + 110269*c_0110_2^8 - 58468*c_0110_2^7 - 20732*c_0110_2^6 + 20886*c_0110_2^5 - 1159*c_0110_2^4 - 2852*c_0110_2^3 + 874*c_0110_2^2 - 76*c_0110_2 + 1, c_0101_0 - c_0110_2^2 - c_0110_2 + 1, c_0101_1 - c_0110_2^36 - 5*c_0110_2^35 + 10*c_0110_2^34 + 81*c_0110_2^33 - 38*c_0110_2^32 - 662*c_0110_2^31 + 36*c_0110_2^30 + 3610*c_0110_2^29 + 162*c_0110_2^28 - 14599*c_0110_2^27 + 12*c_0110_2^26 + 45899*c_0110_2^25 - 5699*c_0110_2^24 - 114324*c_0110_2^23 + 33266*c_0110_2^22 + 226010*c_0110_2^21 - 109885*c_0110_2^20 - 350494*c_0110_2^19 + 249584*c_0110_2^18 + 414326*c_0110_2^17 - 412997*c_0110_2^16 - 350518*c_0110_2^15 + 504648*c_0110_2^14 + 176872*c_0110_2^13 - 449352*c_0110_2^12 - 2785*c_0110_2^11 + 279506*c_0110_2^10 - 73921*c_0110_2^9 - 110269*c_0110_2^8 + 58468*c_0110_2^7 + 20732*c_0110_2^6 - 20886*c_0110_2^5 + 1159*c_0110_2^4 + 2852*c_0110_2^3 - 874*c_0110_2^2 + 76*c_0110_2 - 1, c_0101_10 + c_0110_2^29 + 4*c_0110_2^28 - 10*c_0110_2^27 - 53*c_0110_2^26 + 52*c_0110_2^25 + 349*c_0110_2^24 - 212*c_0110_2^23 - 1498*c_0110_2^22 + 821*c_0110_2^21 + 4610*c_0110_2^20 - 2894*c_0110_2^19 - 10514*c_0110_2^18 + 8297*c_0110_2^17 + 17730*c_0110_2^16 - 18180*c_0110_2^15 - 21280*c_0110_2^14 + 29601*c_0110_2^13 + 16168*c_0110_2^12 - 34918*c_0110_2^11 - 4163*c_0110_2^10 + 28590*c_0110_2^9 - 5761*c_0110_2^8 - 14876*c_0110_2^7 + 7270*c_0110_2^6 + 3877*c_0110_2^5 - 3510*c_0110_2^4 + 38*c_0110_2^3 + 635*c_0110_2^2 - 186*c_0110_2 + 13, c_0101_11 + c_0110_2^20 + 3*c_0110_2^19 - 8*c_0110_2^18 - 27*c_0110_2^17 + 36*c_0110_2^16 + 116*c_0110_2^15 - 124*c_0110_2^14 - 304*c_0110_2^13 + 338*c_0110_2^12 + 513*c_0110_2^11 - 682*c_0110_2^10 - 525*c_0110_2^9 + 953*c_0110_2^8 + 230*c_0110_2^7 - 856*c_0110_2^6 + 114*c_0110_2^5 + 430*c_0110_2^4 - 183*c_0110_2^3 - 78*c_0110_2^2 + 63*c_0110_2 - 9, c_0101_5 - c_0110_2^37 - 4*c_0110_2^36 + 14*c_0110_2^35 + 67*c_0110_2^34 - 106*c_0110_2^33 - 559*c_0110_2^32 + 612*c_0110_2^31 + 3050*c_0110_2^30 - 3038*c_0110_2^29 - 11996*c_0110_2^28 + 12926*c_0110_2^27 + 35279*c_0110_2^26 - 45295*c_0110_2^25 - 77569*c_0110_2^24 + 126974*c_0110_2^23 + 121906*c_0110_2^22 - 280011*c_0110_2^21 - 114308*c_0110_2^20 + 478408*c_0110_2^19 - 9072*c_0110_2^18 - 617811*c_0110_2^17 + 240588*c_0110_2^16 + 572984*c_0110_2^15 - 451426*c_0110_2^14 - 333256*c_0110_2^13 + 485298*c_0110_2^12 + 53408*c_0110_2^11 - 328477*c_0110_2^10 + 92545*c_0110_2^9 + 127783*c_0110_2^8 - 85742*c_0110_2^7 - 15942*c_0110_2^6 + 31443*c_0110_2^5 - 6754*c_0110_2^4 - 3702*c_0110_2^3 + 2120*c_0110_2^2 - 353*c_0110_2 + 16, c_0101_9 + c_0110_2^2 + c_0110_2 - 1, c_0110_2^38 + 5*c_0110_2^37 - 11*c_0110_2^36 - 86*c_0110_2^35 + 49*c_0110_2^34 + 746*c_0110_2^33 - 91*c_0110_2^32 - 4324*c_0110_2^31 + 24*c_0110_2^30 + 18644*c_0110_2^29 - 768*c_0110_2^28 - 62804*c_0110_2^27 + 10028*c_0110_2^26 + 168763*c_0110_2^25 - 55104*c_0110_2^24 - 363204*c_0110_2^23 + 191371*c_0110_2^22 + 620329*c_0110_2^21 - 473985*c_0110_2^20 - 819830*c_0110_2^19 + 876467*c_0110_2^18 + 791549*c_0110_2^17 - 1226569*c_0110_2^16 - 472076*c_0110_2^15 + 1289330*c_0110_2^14 + 24830*c_0110_2^13 - 988058*c_0110_2^12 + 272284*c_0110_2^11 + 515438*c_0110_2^10 - 294249*c_0110_2^9 - 152310*c_0110_2^8 + 160152*c_0110_2^7 + 5231*c_0110_2^6 - 45575*c_0110_2^5 + 11615*c_0110_2^4 + 4434*c_0110_2^3 - 2641*c_0110_2^2 + 413*c_0110_2 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.930 Total time: 1.129 seconds, Total memory usage: 32.09MB