Magma V2.19-8 Wed Aug 21 2013 01:02:11 on localhost [Seed = 3230063486] Type ? for help. Type -D to quit. Loading file "L14n14072__sl2_c3.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' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : negation(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_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' : negation(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' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : negation(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: 11 Groebner basis: [ t + 1446971105870435/870228676230808*c_1010_9^10 - 17809452979209419/870228676230808*c_1010_9^9 + 105007229548899/51189922131224*c_1010_9^8 - 98916726211994445/870228676230808*c_1010_9^7 - 27903491260312123/435114338115404*c_1010_9^6 - 70536127745766807/435114338115404*c_1010_9^5 + 1143054327384997/435114338115404*c_1010_9^4 + 3101862021397961/51189922131224*c_1010_9^3 + 57700918947406461/435114338115404*c_1010_9^2 + 46919801620939/752792972518*c_1010_9 + 21718726150716877/870228676230808, c_0011_0 - 1, c_0011_10 - 5577417295/20345756014*c_1010_9^10 + 60606604129/20345756014*c_1010_9^9 + 80950171385/20345756014*c_1010_9^8 + 484761368567/20345756014*c_1010_9^7 + 517842144150/10172878007*c_1010_9^6 + 826494085833/10172878007*c_1010_9^5 + 1478122342105/10172878007*c_1010_9^4 + 2389216573807/20345756014*c_1010_9^3 + 1389288540872/10172878007*c_1010_9^2 + 481563951800/10172878007*c_1010_9 + 500952544057/20345756014, c_0011_12 + 1020295723/20345756014*c_1010_9^10 - 13414560421/20345756014*c_1010_9^9 + 14526545811/20345756014*c_1010_9^8 - 105272914587/20345756014*c_1010_9^7 + 17254740799/10172878007*c_1010_9^6 - 128210187916/10172878007*c_1010_9^5 + 12336123753/10172878007*c_1010_9^4 - 215571787111/20345756014*c_1010_9^3 + 6996659748/10172878007*c_1010_9^2 - 15180178731/10172878007*c_1010_9 - 9146977071/20345756014, c_0011_9 + 286303479/10172878007*c_1010_9^10 - 3397752114/10172878007*c_1010_9^9 - 591866776/10172878007*c_1010_9^8 - 26650952316/10172878007*c_1010_9^7 - 21641905644/10172878007*c_1010_9^6 - 75827655224/10172878007*c_1010_9^5 - 54262653260/10172878007*c_1010_9^4 - 74627125950/10172878007*c_1010_9^3 - 25840559525/10172878007*c_1010_9^2 - 2784500360/10172878007*c_1010_9 + 5698585892/10172878007, c_0101_0 - 1, c_0101_1 - 705410552/10172878007*c_1010_9^10 + 7226790930/10172878007*c_1010_9^9 + 15619035662/10172878007*c_1010_9^8 + 60045880023/10172878007*c_1010_9^7 + 171951356372/10172878007*c_1010_9^6 + 230455725062/10172878007*c_1010_9^5 + 482249563433/10172878007*c_1010_9^4 + 368298212778/10172878007*c_1010_9^3 + 462254051085/10172878007*c_1010_9^2 + 167428592251/10172878007*c_1010_9 + 85235980267/10172878007, c_0101_11 - 705410552/10172878007*c_1010_9^10 + 7226790930/10172878007*c_1010_9^9 + 15619035662/10172878007*c_1010_9^8 + 60045880023/10172878007*c_1010_9^7 + 171951356372/10172878007*c_1010_9^6 + 230455725062/10172878007*c_1010_9^5 + 482249563433/10172878007*c_1010_9^4 + 368298212778/10172878007*c_1010_9^3 + 462254051085/10172878007*c_1010_9^2 + 157255714244/10172878007*c_1010_9 + 85235980267/10172878007, c_0101_2 + 3614023879/20345756014*c_1010_9^10 - 37493611019/20345756014*c_1010_9^9 - 74355123883/20345756014*c_1010_9^8 - 307976909641/20345756014*c_1010_9^7 - 418455343180/10172878007*c_1010_9^6 - 575296666999/10172878007*c_1010_9^5 - 1175469774340/10172878007*c_1010_9^4 - 1804323305259/20345756014*c_1010_9^3 - 1121125842659/10172878007*c_1010_9^2 - 397998689812/10172878007*c_1010_9 - 412275718917/20345756014, c_0101_5 - 1020295723/20345756014*c_1010_9^10 + 13414560421/20345756014*c_1010_9^9 - 14526545811/20345756014*c_1010_9^8 + 105272914587/20345756014*c_1010_9^7 - 17254740799/10172878007*c_1010_9^6 + 128210187916/10172878007*c_1010_9^5 - 12336123753/10172878007*c_1010_9^4 + 215571787111/20345756014*c_1010_9^3 - 6996659748/10172878007*c_1010_9^2 + 15180178731/10172878007*c_1010_9 - 11198778943/20345756014, c_0101_8 - 2476271388/10172878007*c_1010_9^10 + 31238071324/10172878007*c_1010_9^9 - 18168708146/10172878007*c_1010_9^8 + 240912772152/10172878007*c_1010_9^7 + 37665118924/10172878007*c_1010_9^6 + 620258777490/10172878007*c_1010_9^5 + 184965373892/10172878007*c_1010_9^4 + 592965142730/10172878007*c_1010_9^3 + 84844718815/10172878007*c_1010_9^2 + 101341726438/10172878007*c_1010_9 - 23983958768/10172878007, c_0110_9 - 792381671/20345756014*c_1010_9^10 + 8586447299/20345756014*c_1010_9^9 + 11878981235/20345756014*c_1010_9^8 + 67793389549/20345756014*c_1010_9^7 + 74552630436/10172878007*c_1010_9^6 + 114385216875/10172878007*c_1010_9^5 + 210970647474/10172878007*c_1010_9^4 + 331130454147/20345756014*c_1010_9^3 + 196617740489/10172878007*c_1010_9^2 + 73314383317/10172878007*c_1010_9 + 71331797849/20345756014, c_1001_10 + 2714832941/20345756014*c_1010_9^10 - 33968820867/20345756014*c_1010_9^9 + 16293480191/20345756014*c_1010_9^8 - 260560130747/20345756014*c_1010_9^7 - 35612688891/10172878007*c_1010_9^6 - 333894992947/10172878007*c_1010_9^5 - 145103816871/10172878007*c_1010_9^4 - 614315854003/20345756014*c_1010_9^3 - 96868158016/10172878007*c_1010_9^2 - 38924620396/10172878007*c_1010_9 - 3786099839/20345756014, c_1010_9^11 - 12*c_1010_9^10 - 98*c_1010_9^8 - 73*c_1010_9^7 - 300*c_1010_9^6 - 244*c_1010_9^5 - 391*c_1010_9^4 - 235*c_1010_9^3 - 170*c_1010_9^2 - 49*c_1010_9 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB