Magma V2.19-8 Tue Aug 20 2013 23:50:52 on localhost [Seed = 778585372] Type ? for help. Type -D to quit. Loading file "L12n883__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n883 geometric_solution 10.36296668 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 1 0 0 1 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 0 1 -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.087880450479 0.574754847273 0 4 5 3 0132 0132 0132 2103 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 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.500315338680 1.349051395847 3 0 0 6 1023 0132 0321 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 1 0 -1 -1 0 0 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.087880450479 0.574754847273 4 2 0 1 0132 1023 0132 2103 1 0 1 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 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 1.030710868480 0.828303223041 3 1 5 7 0132 0132 3120 0132 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 0 0 0 0 0 0 0 0 0 0 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.035231272308 1.159971542929 8 6 4 1 0132 1023 3120 0132 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 0 0 0 0 0 0 -1 0 0 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.415120804393 1.217888301447 5 9 2 10 1023 0132 0132 0132 1 1 0 1 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 0 0 -6 1 5 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.978379645000 1.200666296744 11 10 4 9 0132 1023 0132 1302 1 0 1 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 0 1 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 0 0 0.240684940269 0.455844935547 5 9 11 11 0132 1023 0132 3201 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 0 0 0 0 0 5 0 -5 1 0 0 -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.196104556838 0.537780656593 8 6 7 10 1023 0132 2031 0213 1 1 1 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 6 -6 0 -5 0 -1 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.004878649076 0.876605333274 7 11 6 9 1023 3201 0132 0213 1 1 1 0 0 1 -1 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 5 -5 0 1 0 -1 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744928158953 0.823520274127 7 8 10 8 0132 2310 2310 0132 1 0 0 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 0 0 0 0 1 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598490952025 1.641251291321 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : negation(d['c_0110_10']), 's_0_10' : d['1'], 's_0_11' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_10']), 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_0'], 's_3_10' : negation(d['1']), 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : negation(d['c_0110_10']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : negation(d['1']), 's_3_8' : d['1'], '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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_10']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10']})} 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_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_5, c_0101_6, c_0110_10, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 4876406317146392708/124833050755*c_1001_0^11 - 39930492684571047891/124833050755*c_1001_0^10 - 115320526376049750845/99866440604*c_1001_0^9 - 593847173610048150599/249666101510*c_1001_0^8 - 223471223192909025501/71333171860*c_1001_0^7 - 349720825502644610302/124833050755*c_1001_0^6 - 436965099493653878627/249666101510*c_1001_0^5 - 12371218924604004991/16107490420*c_1001_0^4 - 116210519041851175853/499332203020*c_1001_0^3 - 11595083845152490881/249666101510*c_1001_0^2 - 685700920898769388/124833050755*c_1001_0 - 145551748414047163/499332203020, c_0011_0 - 1, c_0011_10 + 151754809543/230015*c_1001_0^11 + 1209001131301/230015*c_1001_0^10 + 847628466018/46003*c_1001_0^9 + 8450205887397/230015*c_1001_0^8 + 10777369475728/230015*c_1001_0^7 + 9352061046352/230015*c_1001_0^6 + 5686781995871/230015*c_1001_0^5 + 2438270718799/230015*c_1001_0^4 + 725236331957/230015*c_1001_0^3 + 142839725788/230015*c_1001_0^2 + 16780649378/230015*c_1001_0 + 890470012/230015, c_0011_5 - 203526661756/230015*c_1001_0^11 - 1582216322287/230015*c_1001_0^10 - 1080283408984/46003*c_1001_0^9 - 10454650804199/230015*c_1001_0^8 - 12949698257121/230015*c_1001_0^7 - 10931431365569/230015*c_1001_0^6 - 6479758229862/230015*c_1001_0^5 - 2714339841678/230015*c_1001_0^4 - 790679779214/230015*c_1001_0^3 - 152926672151/230015*c_1001_0^2 - 17699613906/230015*c_1001_0 - 929058559/230015, c_0101_0 + 9344299791/230015*c_1001_0^11 + 69569651757/230015*c_1001_0^10 + 45030944384/46003*c_1001_0^9 + 406390980829/230015*c_1001_0^8 + 462753788441/230015*c_1001_0^7 + 353935863719/230015*c_1001_0^6 + 186884471947/230015*c_1001_0^5 + 68175233233/230015*c_1001_0^4 + 16728546589/230015*c_1001_0^3 + 2579298851/230015*c_1001_0^2 + 214200041/230015*c_1001_0 + 6105159/230015, c_0101_1 - 1, c_0101_10 + 50704541481/230015*c_1001_0^11 + 400153421632/230015*c_1001_0^10 + 278003041655/46003*c_1001_0^9 + 2747809506639/230015*c_1001_0^8 + 3484343623801/230015*c_1001_0^7 + 3017371958124/230015*c_1001_0^6 + 1839070401027/230015*c_1001_0^5 + 794259065423/230015*c_1001_0^4 + 239266584034/230015*c_1001_0^3 + 48007575776/230015*c_1001_0^2 + 5778529711/230015*c_1001_0 + 315563989/230015, c_0101_11 + 110415486173/230015*c_1001_0^11 + 865926738986/230015*c_1001_0^10 + 597485357628/46003*c_1001_0^9 + 5859605844507/230015*c_1001_0^8 + 7370653540078/230015*c_1001_0^7 + 6329804546577/230015*c_1001_0^6 + 3823372021966/230015*c_1001_0^5 + 1634510347894/230015*c_1001_0^4 + 486575505692/230015*c_1001_0^3 + 96276372618/230015*c_1001_0^2 + 11405065083/230015*c_1001_0 + 612406597/230015, c_0101_4 + 5007873188/230015*c_1001_0^11 + 43956461416/230015*c_1001_0^10 + 33977320484/46003*c_1001_0^9 + 375237233057/230015*c_1001_0^8 + 527659885148/230015*c_1001_0^7 + 501707968467/230015*c_1001_0^6 + 332725707701/230015*c_1001_0^5 + 155255373984/230015*c_1001_0^4 + 50282053912/230015*c_1001_0^3 + 10815544693/230015*c_1001_0^2 + 1393425438/230015*c_1001_0 + 81161387/230015, c_0101_5 + 110415486173/230015*c_1001_0^11 + 865926738986/230015*c_1001_0^10 + 597485357628/46003*c_1001_0^9 + 5859605844507/230015*c_1001_0^8 + 7370653540078/230015*c_1001_0^7 + 6329804546577/230015*c_1001_0^6 + 3823372021966/230015*c_1001_0^5 + 1634510347894/230015*c_1001_0^4 + 486575505692/230015*c_1001_0^3 + 96276372618/230015*c_1001_0^2 + 11405065083/230015*c_1001_0 + 612406597/230015, c_0101_6 - 9344299791/230015*c_1001_0^11 - 69569651757/230015*c_1001_0^10 - 45030944384/46003*c_1001_0^9 - 406390980829/230015*c_1001_0^8 - 462753788441/230015*c_1001_0^7 - 353935863719/230015*c_1001_0^6 - 186884471947/230015*c_1001_0^5 - 68175233233/230015*c_1001_0^4 - 16728546589/230015*c_1001_0^3 - 2579298851/230015*c_1001_0^2 - 214430056/230015*c_1001_0 - 6335174/230015, c_0110_10 + 99266515822/230015*c_1001_0^11 + 769786720079/230015*c_1001_0^10 + 523383634860/46003*c_1001_0^9 + 5030047278263/230015*c_1001_0^8 + 6164559885577/230015*c_1001_0^7 + 5127294091268/230015*c_1001_0^6 + 2980288982174/230015*c_1001_0^5 + 1217310685506/230015*c_1001_0^4 + 343403491578/230015*c_1001_0^3 + 63778698887/230015*c_1001_0^2 + 7012810762/230015*c_1001_0 + 344971823/230015, c_1001_0^12 + 11036/1369*c_1001_0^11 + 39411/1369*c_1001_0^10 + 80916/1369*c_1001_0^9 + 107806/1369*c_1001_0^8 + 99439/1369*c_1001_0^7 + 65695/1369*c_1001_0^6 + 31508/1369*c_1001_0^5 + 10930/1369*c_1001_0^4 + 2681/1369*c_1001_0^3 + 442/1369*c_1001_0^2 + 44/1369*c_1001_0 + 2/1369 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB