Magma V2.19-8 Wed Aug 21 2013 00:00:39 on localhost [Seed = 374374173] Type ? for help. Type -D to quit. Loading file "L14n494__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n494 geometric_solution 11.15439127 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 1 1 1 0 -2 3 -1 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 2 -1 1 0 -1 0 0 1 0 -1 -12 -1 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631701230264 1.087242152241 0 4 6 5 0132 0132 0132 0132 1 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 0 0 0 -1 0 1 0 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313218388424 0.549447601393 7 0 0 4 0132 0132 0321 1302 0 1 1 1 0 2 -3 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 1 -2 1 13 0 -13 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.631701230264 1.087242152241 6 4 0 4 1302 1302 0132 1230 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.279492854950 0.825081260438 3 1 2 3 3012 0132 2031 2031 1 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 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.631701230264 1.087242152241 7 8 1 9 3201 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844367843950 0.655907610250 9 3 7 1 0321 2031 3012 0132 1 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 0 1 -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 1.764271370615 0.727745252695 2 6 8 5 0132 1230 1230 2310 1 1 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 0 0 0 0 0 0 0 0 -1 1 0 -13 0 13 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.887186264648 0.721827739307 10 5 11 7 0132 0132 0132 3012 1 1 1 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 0 -1 1 1 0 0 -1 1 12 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815664679333 0.796697987212 6 10 5 10 0321 1230 0132 2031 1 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 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.815664679333 0.796697987212 8 9 9 11 0132 1302 3012 1302 1 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 -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.372583272281 0.612827374756 11 11 10 8 1230 3012 2031 0132 1 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 -1 0 1 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.561238417487 0.595597433811 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_1001_7'], '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_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_7']), 'c_1100_5' : negation(d['c_1001_7']), 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : negation(d['c_1001_7']), 'c_1100_0' : d['c_0110_4'], 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : d['c_0101_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : 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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_11'], 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_7']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_6'])})} 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_11, c_0011_3, c_0011_6, c_0101_0, c_0101_11, c_0101_4, c_0101_6, c_0101_7, c_0110_4, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 4353004274714645555828606797611008/329363931281381548160482965*c_10\ 01_7^15 + 9957520052236680100473352486912/1689045801442982298258887\ *c_1001_7^14 - 187184218878165478802001896144896/645811629963493231\ 6872215*c_1001_7^13 - 120035161362168158143586152480768/32936393128\ 1381548160482965*c_1001_7^12 - 2151725942990699205168820025556992/6\ 5872786256276309632096593*c_1001_7^11 - 1224169556077293012246130527502336/65872786256276309632096593*c_100\ 1_7^10 - 537853311378968980328480251215872/219575954187587698773655\ 31*c_1001_7^9 - 81865151668108216113077253603328/276776412841497099\ 2945235*c_1001_7^8 - 6551218865168949727294368942211072/32936393128\ 1381548160482965*c_1001_7^7 - 1382305366703091157461723377426432/65\ 872786256276309632096593*c_1001_7^6 - 250425492228630665045244468432896/15683996727684835626689665*c_1001\ _7^5 - 647469835763383740231498550710272/65872786256276309632096593\ *c_1001_7^4 - 743190703772570883657768350021632/1097879770937938493\ 86827655*c_1001_7^3 - 390441639451540433023202715514368/10978797709\ 3793849386827655*c_1001_7^2 - 2998939579154756727533510215936/29672\ 42624156590523968315*c_1001_7 - 37744189351638105652824178802944/32\ 9363931281381548160482965, c_0011_0 - 1, c_0011_10 - 2941398158602240/936352991903*c_1001_7^15 + 3197411055904768/2809058975709*c_1001_7^14 - 18820191031688192/2809058975709*c_1001_7^13 - 2009675395573760/2809058975709*c_1001_7^12 - 7114502509281280/936352991903*c_1001_7^11 - 14364290589891712/2809058975709*c_1001_7^10 - 802550221602368/133764713129*c_1001_7^9 - 6993854448428224/936352991903*c_1001_7^8 - 14596023131434592/2809058975709*c_1001_7^7 - 4918739613102160/936352991903*c_1001_7^6 - 11634936075562840/2809058975709*c_1001_7^5 - 7179876598629688/2809058975709*c_1001_7^4 - 4904919493067492/2809058975709*c_1001_7^3 - 2645587406741735/2809058975709*c_1001_7^2 - 6173971171147/21691575102*c_1001_7 - 198564179572207/5618117951418, c_0011_11 - 9464406942416896/2809058975709*c_1001_7^15 + 2601742038794240/2809058975709*c_1001_7^14 - 19450976524632064/2809058975709*c_1001_7^13 - 1413212472233984/936352991903*c_1001_7^12 - 22060919194858496/2809058975709*c_1001_7^11 - 841309306080256/133764713129*c_1001_7^10 - 6113876182292224/936352991903*c_1001_7^9 - 23759335860247552/2809058975709*c_1001_7^8 - 808870196130048/133764713129*c_1001_7^7 - 16412210754925952/2809058975709*c_1001_7^6 - 13479665164543376/2809058975709*c_1001_7^5 - 8250802398719680/2809058975709*c_1001_7^4 - 5583064180525444/2809058975709*c_1001_7^3 - 3103766313169552/2809058975709*c_1001_7^2 - 25725171099079/75920512857*c_1001_7 - 39080641297148/936352991903, c_0011_3 + 5132057262690304/2809058975709*c_1001_7^15 - 1846068606558208/2809058975709*c_1001_7^14 + 1562826535721984/401294139387*c_1001_7^13 + 1191854621873152/2809058975709*c_1001_7^12 + 12421232769875456/2809058975709*c_1001_7^11 + 8369005777741568/2809058975709*c_1001_7^10 + 3277500250216896/936352991903*c_1001_7^9 + 12206398415489536/2809058975709*c_1001_7^8 + 8522749086557728/2809058975709*c_1001_7^7 + 8590680213344288/2809058975709*c_1001_7^6 + 6780403238751832/2809058975709*c_1001_7^5 + 199441721275296/133764713129*c_1001_7^4 + 2854420188153092/2809058975709*c_1001_7^3 + 1540778978887952/2809058975709*c_1001_7^2 + 25134380767789/151841025714*c_1001_7 + 58561420587511/2809058975709, c_0011_6 - 484953950035968/133764713129*c_1001_7^15 + 3270356868841472/2809058975709*c_1001_7^14 - 21414851781732352/2809058975709*c_1001_7^13 - 3280689524193280/2809058975709*c_1001_7^12 - 1163209641685504/133764713129*c_1001_7^11 - 17543298164695040/2809058975709*c_1001_7^10 - 6622409851337792/936352991903*c_1001_7^9 - 8239086348582848/936352991903*c_1001_7^8 - 17696553405078208/2809058975709*c_1001_7^7 - 5778295470830016/936352991903*c_1001_7^6 - 13980912038658368/2809058975709*c_1001_7^5 - 8619959142922136/2809058975709*c_1001_7^4 - 5836946911918900/2809058975709*c_1001_7^3 - 3207382813363714/2809058975709*c_1001_7^2 - 53005504038275/151841025714*c_1001_7 - 243296191665767/5618117951418, c_0101_0 - 5132057262690304/2809058975709*c_1001_7^15 + 1846068606558208/2809058975709*c_1001_7^14 - 1562826535721984/401294139387*c_1001_7^13 - 1191854621873152/2809058975709*c_1001_7^12 - 12421232769875456/2809058975709*c_1001_7^11 - 8369005777741568/2809058975709*c_1001_7^10 - 3277500250216896/936352991903*c_1001_7^9 - 12206398415489536/2809058975709*c_1001_7^8 - 8522749086557728/2809058975709*c_1001_7^7 - 8590680213344288/2809058975709*c_1001_7^6 - 6780403238751832/2809058975709*c_1001_7^5 - 199441721275296/133764713129*c_1001_7^4 - 2854420188153092/2809058975709*c_1001_7^3 - 1540778978887952/2809058975709*c_1001_7^2 - 25134380767789/151841025714*c_1001_7 - 58561420587511/2809058975709, c_0101_11 - 7384274426232832/2809058975709*c_1001_7^15 + 900894966231040/936352991903*c_1001_7^14 - 5253603521089536/936352991903*c_1001_7^13 - 1635641547401216/2809058975709*c_1001_7^12 - 17844549515936768/2809058975709*c_1001_7^11 - 1712938517757184/401294139387*c_1001_7^10 - 4680702601999360/936352991903*c_1001_7^9 - 17550329859590272/2809058975709*c_1001_7^8 - 1735221155679104/401294139387*c_1001_7^7 - 12331077251924384/2809058975709*c_1001_7^6 - 3236355224540672/936352991903*c_1001_7^5 - 5983200903696944/2809058975709*c_1001_7^4 - 1366999536609600/936352991903*c_1001_7^3 - 734666245918716/936352991903*c_1001_7^2 - 6027805810080/25306837619*c_1001_7 - 84250397372894/2809058975709, c_0101_4 - 1, c_0101_6 + 1658561616379904/936352991903*c_1001_7^15 - 841104229703680/2809058975709*c_1001_7^14 + 9941952661176320/2809058975709*c_1001_7^13 + 481098330318848/401294139387*c_1001_7^12 + 3853434443657216/936352991903*c_1001_7^11 + 10477963016235520/2809058975709*c_1001_7^10 + 3450076202591488/936352991903*c_1001_7^9 + 4421575627788800/936352991903*c_1001_7^8 + 10067011576061504/2809058975709*c_1001_7^7 + 3080843380026688/936352991903*c_1001_7^6 + 7823170476302128/2809058975709*c_1001_7^5 + 4883648877112192/2809058975709*c_1001_7^4 + 3232629756318944/2809058975709*c_1001_7^3 + 1855956427651064/2809058975709*c_1001_7^2 + 16426077922547/75920512857*c_1001_7 + 11606700000092/401294139387, c_0101_7 - 484953950035968/133764713129*c_1001_7^15 + 3270356868841472/2809058975709*c_1001_7^14 - 21414851781732352/2809058975709*c_1001_7^13 - 3280689524193280/2809058975709*c_1001_7^12 - 1163209641685504/133764713129*c_1001_7^11 - 17543298164695040/2809058975709*c_1001_7^10 - 6622409851337792/936352991903*c_1001_7^9 - 8239086348582848/936352991903*c_1001_7^8 - 17696553405078208/2809058975709*c_1001_7^7 - 5778295470830016/936352991903*c_1001_7^6 - 13980912038658368/2809058975709*c_1001_7^5 - 8619959142922136/2809058975709*c_1001_7^4 - 5836946911918900/2809058975709*c_1001_7^3 - 3207382813363714/2809058975709*c_1001_7^2 - 53005504038275/151841025714*c_1001_7 - 243296191665767/5618117951418, c_0110_4 + 12788056064/1462277*c_1001_7^15 - 33428045824/10235939*c_1001_7^14 + 191692005376/10235939*c_1001_7^13 + 17664167936/10235939*c_1001_7^12 + 31109187584/1462277*c_1001_7^11 + 141924221952/10235939*c_1001_7^10 + 171538236928/10235939*c_1001_7^9 + 209679006592/10235939*c_1001_7^8 + 147309886208/10235939*c_1001_7^7 + 147786529984/10235939*c_1001_7^6 + 116907197824/10235939*c_1001_7^5 + 71868331184/10235939*c_1001_7^4 + 49035848032/10235939*c_1001_7^3 + 26481497368/10235939*c_1001_7^2 + 212872636/276647*c_1001_7 + 945628988/10235939, c_1001_7^16 + 2*c_1001_7^14 + c_1001_7^13 + 5/2*c_1001_7^12 + 5/2*c_1001_7^11 + 5/2*c_1001_7^10 + 49/16*c_1001_7^9 + 161/64*c_1001_7^8 + 145/64*c_1001_7^7 + 123/64*c_1001_7^6 + 165/128*c_1001_7^5 + 217/256*c_1001_7^4 + 1/2*c_1001_7^3 + 203/1024*c_1001_7^2 + 89/2048*c_1001_7 + 65/16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB