Magma V2.19-8 Wed Aug 21 2013 00:54:57 on localhost [Seed = 4223525255] Type ? for help. Type -D to quit. Loading file "L12n799__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n799 geometric_solution 11.85742047 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 1 -1 -1 0 1 0 0 -1 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168042012641 0.733804653866 0 5 7 6 0132 0132 0132 0132 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 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.539336834776 0.724654317255 3 0 9 8 1230 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 1 -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 -1 1 1 -2 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475481444044 2.366714116111 10 2 5 0 0132 3012 2103 0132 0 1 1 1 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 1 0 -1 0 0 1 -1 -2 0 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541293507369 0.398897628173 11 12 0 6 0132 0132 0132 2103 0 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 1 0 0 0 0 0 1 0 0 -1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977642711678 1.002633502663 3 1 8 10 2103 0132 2103 2103 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 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 0 0 0.448099483080 0.503212787664 10 9 1 4 2103 3201 0132 2103 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 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 0 0.539336834776 0.724654317255 11 9 12 1 3120 3120 3120 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 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.501472109809 0.511271406974 5 9 2 10 2103 2031 0132 0321 0 1 1 1 0 0 0 0 0 0 1 -1 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 -1 0 -1 2 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.197239509713 0.882286586258 8 7 6 2 1302 3120 2310 0132 0 1 0 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 0 0 0 0 0 0 0 -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.168042012641 0.733804653866 3 8 6 5 0132 0321 2103 2103 0 1 1 1 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 1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989392990449 0.902110415837 4 12 12 7 0132 0321 2103 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 1 -1 0 0 0 0 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899967348080 0.639141431705 11 4 7 11 2103 0132 3120 0321 0 1 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 0 0 1 -1 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899967348080 0.639141431705 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_5'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_12' : negation(d['c_0011_7']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0011_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_0'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_6'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0110_5']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_1001_12']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0011_9'], '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_0011_11'], '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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_11, c_0011_6, c_0011_7, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0110_5, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 51602350250608535414341/478058983953075744008*c_1001_12^14 + 298370083643241965010525/956117967906151488016*c_1001_12^13 - 284489784177481899810659/956117967906151488016*c_1001_12^12 + 72295266916681300691629/119514745988268936002*c_1001_12^11 - 948702742170533212853805/956117967906151488016*c_1001_12^10 + 575469315595342569332529/956117967906151488016*c_1001_12^9 - 154772660455841748588081/119514745988268936002*c_1001_12^8 + 174264001605926145884755/119514745988268936002*c_1001_12^7 - 806063469755651290094493/956117967906151488016*c_1001_12^6 + 24439796001687104356887/59757372994134468001*c_1001_12^5 - 443477304520578125720241/956117967906151488016*c_1001_12^4 + 126629777745803227930277/478058983953075744008*c_1001_12^3 - 369370472391893305738355/956117967906151488016*c_1001_12^2 + 86960083625060134505631/239029491976537872004*c_1001_12 - 7190070680501221799761/478058983953075744008, c_0011_0 - 1, c_0011_10 + 296400412891967098457/239029491976537872004*c_1001_12^14 - 339534717303765522967/119514745988268936002*c_1001_12^13 + 434066988958801910795/239029491976537872004*c_1001_12^12 - 1470139460171951780967/239029491976537872004*c_1001_12^11 + 484475393149305369128/59757372994134468001*c_1001_12^10 - 696329087549181310055/239029491976537872004*c_1001_12^9 + 1703839539260868842195/119514745988268936002*c_1001_12^8 - 2261097834191167886609/239029491976537872004*c_1001_12^7 + 1456400866048592832565/239029491976537872004*c_1001_12^6 - 585567446117615666833/239029491976537872004*c_1001_12^5 + 1438758012348345901043/239029491976537872004*c_1001_12^4 - 215063549581282919521/239029491976537872004*c_1001_12^3 + 1084964251306186105289/239029491976537872004*c_1001_12^2 - 239553195974586098415/119514745988268936002*c_1001_12 - 12759482309904500347/119514745988268936002, c_0011_11 - 200597790360247882725/239029491976537872004*c_1001_12^14 + 139491806917091440998/59757372994134468001*c_1001_12^13 - 486877244266929215053/239029491976537872004*c_1001_12^12 + 1057162644441542791775/239029491976537872004*c_1001_12^11 - 867152620718254825307/119514745988268936002*c_1001_12^10 + 914561780452012323925/239029491976537872004*c_1001_12^9 - 1104527782489669470149/119514745988268936002*c_1001_12^8 + 2467428098414221016645/239029491976537872004*c_1001_12^7 - 1234425746839994058363/239029491976537872004*c_1001_12^6 + 391368513174105370501/239029491976537872004*c_1001_12^5 - 915709490150497093789/239029491976537872004*c_1001_12^4 + 336562101128926407269/239029491976537872004*c_1001_12^3 - 554653951963891635003/239029491976537872004*c_1001_12^2 + 255513915931314802477/119514745988268936002*c_1001_12 - 25172079946221155853/119514745988268936002, c_0011_6 - 1, c_0011_7 + 166606429505189997895/239029491976537872004*c_1001_12^14 - 108729941280907920725/59757372994134468001*c_1001_12^13 + 353377580609383319063/239029491976537872004*c_1001_12^12 - 921337689196122153509/239029491976537872004*c_1001_12^11 + 714814081883555220323/119514745988268936002*c_1001_12^10 - 721784527758814025759/239029491976537872004*c_1001_12^9 + 1087279963006999179591/119514745988268936002*c_1001_12^8 - 2095517127887187876095/239029491976537872004*c_1001_12^7 + 1096852460906406099069/239029491976537872004*c_1001_12^6 - 968167662940307816723/239029491976537872004*c_1001_12^5 + 982091177362811703315/239029491976537872004*c_1001_12^4 - 360823864474128306211/239029491976537872004*c_1001_12^3 + 564632088369433005149/239029491976537872004*c_1001_12^2 - 300741612777223324985/119514745988268936002*c_1001_12 + 27718588409633815655/119514745988268936002, c_0011_8 + 1, c_0011_9 - 297550131595471810937/239029491976537872004*c_1001_12^14 + 397746879626319663067/119514745988268936002*c_1001_12^13 - 679446451669237622351/239029491976537872004*c_1001_12^12 + 1594095729748474690819/239029491976537872004*c_1001_12^11 - 611812022483919457307/59757372994134468001*c_1001_12^10 + 1330160060944545169219/239029491976537872004*c_1001_12^9 - 1773551289811819085633/119514745988268936002*c_1001_12^8 + 3411953417257554670709/239029491976537872004*c_1001_12^7 - 2116095785667502683345/239029491976537872004*c_1001_12^6 + 1011143251035668075105/239029491976537872004*c_1001_12^5 - 1405772352310670465071/239029491976537872004*c_1001_12^4 + 777744090794643515721/239029491976537872004*c_1001_12^3 - 1117337063465242404149/239029491976537872004*c_1001_12^2 + 467064853517135452155/119514745988268936002*c_1001_12 - 42247871079981205623/119514745988268936002, c_0101_0 - 1, c_0101_1 + c_1001_12, c_0101_11 - 297550131595471810937/239029491976537872004*c_1001_12^14 + 397746879626319663067/119514745988268936002*c_1001_12^13 - 679446451669237622351/239029491976537872004*c_1001_12^12 + 1594095729748474690819/239029491976537872004*c_1001_12^11 - 611812022483919457307/59757372994134468001*c_1001_12^10 + 1330160060944545169219/239029491976537872004*c_1001_12^9 - 1773551289811819085633/119514745988268936002*c_1001_12^8 + 3411953417257554670709/239029491976537872004*c_1001_12^7 - 2116095785667502683345/239029491976537872004*c_1001_12^6 + 1011143251035668075105/239029491976537872004*c_1001_12^5 - 1405772352310670465071/239029491976537872004*c_1001_12^4 + 777744090794643515721/239029491976537872004*c_1001_12^3 - 1117337063465242404149/239029491976537872004*c_1001_12^2 + 347550107528866516153/119514745988268936002*c_1001_12 - 42247871079981205623/119514745988268936002, c_0101_2 + 30874725674488203682/59757372994134468001*c_1001_12^14 - 112511861666614620587/119514745988268936002*c_1001_12^13 - 5935605020335142001/119514745988268936002*c_1001_12^12 - 98282655280585375032/59757372994134468001*c_1001_12^11 + 241159965870132482573/119514745988268936002*c_1001_12^10 + 138313254990425250107/119514745988268936002*c_1001_12^9 + 240196748802946743271/59757372994134468001*c_1001_12^8 - 83662015039044627289/59757372994134468001*c_1001_12^7 - 113370044547156273507/119514745988268936002*c_1001_12^6 + 107701844153006822643/59757372994134468001*c_1001_12^5 + 283627142029615060137/119514745988268936002*c_1001_12^4 + 20560758048673774377/59757372994134468001*c_1001_12^3 + 38537692235648024701/119514745988268936002*c_1001_12^2 + 29206623746346924990/59757372994134468001*c_1001_12 - 68632337699608673617/59757372994134468001, c_0110_5 + 297550131595471810937/239029491976537872004*c_1001_12^14 - 397746879626319663067/119514745988268936002*c_1001_12^13 + 679446451669237622351/239029491976537872004*c_1001_12^12 - 1594095729748474690819/239029491976537872004*c_1001_12^11 + 611812022483919457307/59757372994134468001*c_1001_12^10 - 1330160060944545169219/239029491976537872004*c_1001_12^9 + 1773551289811819085633/119514745988268936002*c_1001_12^8 - 3411953417257554670709/239029491976537872004*c_1001_12^7 + 2116095785667502683345/239029491976537872004*c_1001_12^6 - 1011143251035668075105/239029491976537872004*c_1001_12^5 + 1405772352310670465071/239029491976537872004*c_1001_12^4 - 777744090794643515721/239029491976537872004*c_1001_12^3 + 1117337063465242404149/239029491976537872004*c_1001_12^2 - 467064853517135452155/119514745988268936002*c_1001_12 + 42247871079981205623/119514745988268936002, c_1001_12^15 - 49/17*c_1001_12^14 + 48/17*c_1001_12^13 - 99/17*c_1001_12^12 + 159/17*c_1001_12^11 - 6*c_1001_12^10 + 216/17*c_1001_12^9 - 235/17*c_1001_12^8 + 150/17*c_1001_12^7 - 81/17*c_1001_12^6 + 84/17*c_1001_12^5 - 47/17*c_1001_12^4 + 4*c_1001_12^3 - 60/17*c_1001_12^2 + 8/17*c_1001_12 - 4/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB