Magma V2.19-8 Wed Aug 21 2013 01:02:10 on localhost [Seed = 4071942477] Type ? for help. Type -D to quit. Loading file "L14n14072__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14072 geometric_solution 11.85143333 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 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 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230410950908 1.272100037111 0 5 7 6 0132 0132 0132 0132 0 1 1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395387557512 0.347918337573 8 0 5 9 0132 0132 1230 0132 1 0 1 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 -1 0 1 0 0 0 0 -7 1 0 6 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409114624229 1.066187267416 6 5 9 0 0132 1230 2031 0132 1 1 1 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 1 0 -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.664878274568 0.801010408138 6 10 0 11 3120 0132 0132 0132 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 1 -1 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.049004357432 0.993258570668 11 1 3 2 0132 0132 3012 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.643750348690 1.060790253690 3 12 1 4 0132 0132 0132 3120 0 1 0 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 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.478012892377 0.568883259486 12 8 10 1 0132 2310 3120 0132 0 1 0 1 0 0 0 0 1 0 -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 7 0 -6 -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.771753340816 0.657766156719 2 11 12 7 0132 0132 2031 3201 1 0 0 1 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 1 -1 0 0 0 0 0 -1 1 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938653240603 0.961557457817 10 11 2 3 3201 1302 0132 1302 1 0 1 1 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 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773241499603 1.007094483085 12 4 7 9 2103 0132 3120 2310 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 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301426899492 0.458072658243 5 8 4 9 0132 0132 0132 2031 1 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 -1 1 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.320175479994 0.701733358301 7 6 10 8 0132 0132 2103 1302 0 1 1 0 0 0 0 0 -1 0 0 1 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 -7 0 0 7 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.339741185373 0.508636313245 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : negation(d['c_0110_9']), 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0110_9']), 'c_1001_2' : negation(d['c_0110_9']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_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_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_9'], 'c_1100_4' : negation(d['c_1010_9']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_1010_9']), 'c_1100_3' : negation(d['c_1010_9']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1010_9']), 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : negation(d['c_0110_9']), 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_0011_12'], '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'], 'c_1100_12' : d['c_0101_8'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_8']), 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_9']), '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_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_8, c_0110_9, c_1001_10, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 75588327340309/78342934000*c_1010_9^15 + 222943608630333/78342934000*c_1010_9^14 + 593371064119523/391714670000*c_1010_9^13 - 360286676042023/48964333750*c_1010_9^12 - 2702327988597217/391714670000*c_1010_9^11 + 2700827671078923/195857335000*c_1010_9^10 + 103607612750041/7834293400*c_1010_9^9 - 234023797292964/24482166875*c_1010_9^8 - 7895815441838891/391714670000*c_1010_9^7 + 522903432002701/195857335000*c_1010_9^6 + 2860293750214447/195857335000*c_1010_9^5 + 386063447343523/97928667500*c_1010_9^4 - 2845151809170409/391714670000*c_1010_9^3 - 910464802005353/391714670000*c_1010_9^2 + 53970608484711/39171467000*c_1010_9 + 393039780671667/391714670000, c_0011_0 - 1, c_0011_10 + 19131525/78342934*c_1010_9^15 + 449724245/78342934*c_1010_9^14 - 1174450505/78342934*c_1010_9^13 - 699944329/39171467*c_1010_9^12 + 3065438641/78342934*c_1010_9^11 + 2092126953/39171467*c_1010_9^10 - 1486736801/39171467*c_1010_9^9 - 3765649748/39171467*c_1010_9^8 - 599966953/78342934*c_1010_9^7 + 3302011040/39171467*c_1010_9^6 + 1726048895/39171467*c_1010_9^5 - 1368733856/39171467*c_1010_9^4 - 2511388249/78342934*c_1010_9^3 + 357597961/78342934*c_1010_9^2 + 442754981/39171467*c_1010_9 + 227727095/78342934, c_0011_12 + 539485/78342934*c_1010_9^15 + 11753945/78342934*c_1010_9^14 - 23114849/78342934*c_1010_9^13 - 67622962/39171467*c_1010_9^12 + 215795483/78342934*c_1010_9^11 + 182427667/39171467*c_1010_9^10 - 140689499/39171467*c_1010_9^9 - 382739957/39171467*c_1010_9^8 - 16088491/78342934*c_1010_9^7 + 390494539/39171467*c_1010_9^6 + 167125329/39171467*c_1010_9^5 - 157012270/39171467*c_1010_9^4 - 252833131/78342934*c_1010_9^3 + 147937079/78342934*c_1010_9^2 + 40276222/39171467*c_1010_9 + 3439255/78342934, c_0011_9 + 43977510/39171467*c_1010_9^15 - 103461275/39171467*c_1010_9^14 - 136489769/39171467*c_1010_9^13 + 332680874/39171467*c_1010_9^12 + 399686274/39171467*c_1010_9^11 - 586404711/39171467*c_1010_9^10 - 785731394/39171467*c_1010_9^9 + 512631161/39171467*c_1010_9^8 + 1065066784/39171467*c_1010_9^7 - 116311176/39171467*c_1010_9^6 - 945581725/39171467*c_1010_9^5 - 145301003/39171467*c_1010_9^4 + 492827015/39171467*c_1010_9^3 + 161712640/39171467*c_1010_9^2 - 150112562/39171467*c_1010_9 - 54147393/39171467, c_0101_0 - 1, c_0101_1 - 20619665/39171467*c_1010_9^15 + 41193405/39171467*c_1010_9^14 + 40348191/39171467*c_1010_9^13 - 10714523/39171467*c_1010_9^12 - 160573480/39171467*c_1010_9^11 - 97250274/39171467*c_1010_9^10 + 124973318/39171467*c_1010_9^9 + 261994813/39171467*c_1010_9^8 + 88020369/39171467*c_1010_9^7 - 148856312/39171467*c_1010_9^6 - 215596853/39171467*c_1010_9^5 - 29679091/39171467*c_1010_9^4 + 127124932/39171467*c_1010_9^3 + 66589637/39171467*c_1010_9^2 - 3785111/39171467*c_1010_9 - 30824459/39171467, c_0101_11 + 71213355/39171467*c_1010_9^15 - 151240165/39171467*c_1010_9^14 - 257099467/39171467*c_1010_9^13 + 407376038/39171467*c_1010_9^12 + 817231278/39171467*c_1010_9^11 - 441646992/39171467*c_1010_9^10 - 1476252532/39171467*c_1010_9^9 - 212296666/39171467*c_1010_9^8 + 1527189925/39171467*c_1010_9^7 + 848027162/39171467*c_1010_9^6 - 784758672/39171467*c_1010_9^5 - 790198058/39171467*c_1010_9^4 + 168562084/39171467*c_1010_9^3 + 355422490/39171467*c_1010_9^2 + 4863583/39171467*c_1010_9 - 66610559/39171467, c_0101_2 + 109753475/78342934*c_1010_9^15 + 25755205/78342934*c_1010_9^14 - 1132473215/78342934*c_1010_9^13 + 215372449/39171467*c_1010_9^12 + 2565772887/78342934*c_1010_9^11 + 162524074/39171467*c_1010_9^10 - 1862063710/39171467*c_1010_9^9 - 1032548219/39171467*c_1010_9^8 + 2841291997/78342934*c_1010_9^7 + 1411077369/39171467*c_1010_9^6 - 566423275/39171467*c_1010_9^5 - 999161352/39171467*c_1010_9^4 + 138134387/78342934*c_1010_9^3 + 692883337/78342934*c_1010_9^2 + 66547833/39171467*c_1010_9 - 105993483/78342934, c_0101_5 - 69489555/78342934*c_1010_9^15 + 179579475/78342934*c_1010_9^14 + 180445847/78342934*c_1010_9^13 - 256039931/39171467*c_1010_9^12 - 577392599/78342934*c_1010_9^11 + 405337274/39171467*c_1010_9^10 + 547829659/39171467*c_1010_9^9 - 272145950/39171467*c_1010_9^8 - 1373111339/78342934*c_1010_9^7 - 7097686/39171467*c_1010_9^6 + 561223172/39171467*c_1010_9^5 + 167403459/39171467*c_1010_9^4 - 538706187/78342934*c_1010_9^3 - 335467995/78342934*c_1010_9^2 + 79553858/39171467*c_1010_9 + 133139983/78342934, c_0101_8 + 27018570/39171467*c_1010_9^15 - 56787590/39171467*c_1010_9^14 - 116299433/39171467*c_1010_9^13 + 156364144/39171467*c_1010_9^12 + 476287337/39171467*c_1010_9^11 - 286837628/39171467*c_1010_9^10 - 874773105/39171467*c_1010_9^9 + 19904290/39171467*c_1010_9^8 + 1011278385/39171467*c_1010_9^7 + 377540749/39171467*c_1010_9^6 - 644568369/39171467*c_1010_9^5 - 476507273/39171467*c_1010_9^4 + 244590032/39171467*c_1010_9^3 + 247553962/39171467*c_1010_9^2 - 50067001/39171467*c_1010_9 - 49031001/39171467, c_0110_9 - 3439255/78342934*c_1010_9^15 + 6339025/78342934*c_1010_9^14 + 3378777/78342934*c_1010_9^13 + 895734/39171467*c_1010_9^12 + 85032801/78342934*c_1010_9^11 - 94484647/39171467*c_1010_9^10 - 134278097/39171467*c_1010_9^9 + 145504456/39171467*c_1010_9^8 + 656111605/78342934*c_1010_9^7 - 21877273/39171467*c_1010_9^6 - 357477691/39171467*c_1010_9^5 - 133420630/39171467*c_1010_9^4 + 299579669/78342934*c_1010_9^3 + 217064879/78342934*c_1010_9^2 - 75688167/39171467*c_1010_9 - 71610381/78342934, c_1001_10 - 116474285/78342934*c_1010_9^15 + 316217015/78342934*c_1010_9^14 + 224625439/78342934*c_1010_9^13 - 443164295/39171467*c_1010_9^12 - 661785547/78342934*c_1010_9^11 + 779007988/39171467*c_1010_9^10 + 612929825/39171467*c_1010_9^9 - 758994912/39171467*c_1010_9^8 - 1772830309/78342934*c_1010_9^7 + 455788482/39171467*c_1010_9^6 + 856654062/39171467*c_1010_9^5 - 97890433/39171467*c_1010_9^4 - 943486411/78342934*c_1010_9^3 - 31336499/78342934*c_1010_9^2 + 140900268/39171467*c_1010_9 + 28886561/78342934, c_1010_9^16 - 2*c_1010_9^15 - 22/5*c_1010_9^14 + 31/5*c_1010_9^13 + 73/5*c_1010_9^12 - 39/5*c_1010_9^11 - 28*c_1010_9^10 - 14/5*c_1010_9^9 + 159/5*c_1010_9^8 + 87/5*c_1010_9^7 - 96/5*c_1010_9^6 - 98/5*c_1010_9^5 + 21/5*c_1010_9^4 + 52/5*c_1010_9^3 + c_1010_9^2 - 13/5*c_1010_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB