Magma V2.19-8 Wed Aug 21 2013 01:09:45 on localhost [Seed = 695152828] Type ? for help. Type -D to quit. Loading file "L14n482__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n482 geometric_solution 11.56759239 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 0213 0213 1 1 1 1 0 0 0 0 -1 0 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 -1 1 -11 0 11 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696191519769 0.740425938285 0 0 4 3 0132 0213 0132 0132 1 1 1 1 0 0 0 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 0 0 0 0 0 1 -1 0 11 0 -11 0 10 -11 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474307843567 1.155957956939 3 0 5 0 0213 0132 0132 0213 1 1 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 1 -1 0 0 0 0 10 -10 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696191519769 0.740425938285 2 6 1 7 0213 0132 0132 0132 1 1 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 0 0 0 0 0 0 0 -10 0 0 10 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.838002878674 1.630888080914 7 6 8 1 0132 0321 0132 0132 1 1 1 1 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023630255498 0.457901519257 9 10 11 2 0132 0132 0132 0132 1 1 1 1 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 -10 11 -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 0 0 0.558305872592 0.566185891482 9 3 9 4 2103 0132 2310 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346132203640 0.111731144731 4 9 3 12 0132 2310 0132 0132 1 1 1 1 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528622723309 0.911986575571 11 10 12 4 1023 2031 0132 0132 1 1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -11 0 0 11 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910012369100 0.873835254643 5 6 6 7 0132 3201 2103 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556230600355 0.988736227079 8 5 11 12 1302 0132 0321 1230 1 0 1 1 0 1 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 0 0 0 0 10 0 -10 1 0 0 -1 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.116611745184 1.132371782963 12 8 10 5 1302 1023 0321 0132 1 1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 -11 1 0 -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.558492269856 0.447739241264 10 11 7 8 3012 2031 0132 0132 1 1 0 1 0 0 0 0 1 0 -1 0 1 2 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558492269856 0.447739241264 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_2_12' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1001_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_0101_8'], 's_3_10' : negation(d['1']), 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_1001_6']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_1100_1'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : 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' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_3']), '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_0101_5'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_8'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_4']), 's_2_9' : d['1']})} 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_3, c_0011_4, c_0101_1, c_0101_12, c_0101_5, c_0101_8, c_1001_0, c_1001_10, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 8221962250957968396651175870476/4113536486446105906640735140625*c_1\ 100_1^15 - 30272433022931863823835637723714/41135364864461059066407\ 35140625*c_1100_1^14 + 29039875346625759827527688913862/41135364864\ 46105906640735140625*c_1100_1^13 + 397231669301798426224656310733/6581658378313769450625176225*c_1100_\ 1^12 + 5577068800124653261551685437828/1111766617958407001794793281\ 25*c_1100_1^11 - 96745163018270337833060015416526/82270729728922118\ 1328147028125*c_1100_1^10 - 3951375177840990951831081564646/1861328\ 7268986904554935453125*c_1100_1^9 - 156623869108041903370986909270684/4113536486446105906640735140625*c\ _1100_1^8 + 413850606228765273647199959512566/411353648644610590664\ 0735140625*c_1100_1^7 + 29331115736460719312683859939797/4113536486\ 446105906640735140625*c_1100_1^6 - 337719249686014984361637700539902/4113536486446105906640735140625*c\ _1100_1^5 - 19963065452947149481821460935082/4113536486446105906640\ 735140625*c_1100_1^4 + 136836538393120650114081756271734/4113536486\ 446105906640735140625*c_1100_1^3 + 1355223731262222458167383160546/316425883572777377433902703125*c_11\ 00_1^2 - 861526335324797559901445605298/632851767145554754867805406\ 25*c_1100_1 + 3279122948560578602348105430449/411353648644610590664\ 0735140625, c_0011_0 - 1, c_0011_10 - 34080166388/333623539745*c_1100_1^15 - 202859365584/333623539745*c_1100_1^14 - 22705670936/66724707949*c_1100_1^13 + 296563113608/66724707949*c_1100_1^12 + 2851887167528/333623539745*c_1100_1^11 - 1692587705908/333623539745*c_1100_1^10 - 1629987444218/66724707949*c_1100_1^9 - 4323168592432/333623539745*c_1100_1^8 + 515702966116/66724707949*c_1100_1^7 + 17542525616/333623539745*c_1100_1^6 - 1932221081662/333623539745*c_1100_1^5 - 804372218324/333623539745*c_1100_1^4 + 1299272140806/333623539745*c_1100_1^3 + 255016631788/333623539745*c_1100_1^2 + 421902233647/333623539745*c_1100_1 - 11707488456/66724707949, c_0011_11 - 1, c_0011_3 - 5184994264/333623539745*c_1100_1^15 - 14180449372/333623539745*c_1100_1^14 + 7455275644/66724707949*c_1100_1^13 + 27037799630/66724707949*c_1100_1^12 - 17949833216/333623539745*c_1100_1^11 - 383413814344/333623539745*c_1100_1^10 - 56292273324/66724707949*c_1100_1^9 + 219876215004/333623539745*c_1100_1^8 + 63867986448/66724707949*c_1100_1^7 + 88585795568/333623539745*c_1100_1^6 - 13261676816/333623539745*c_1100_1^5 + 511527682358/333623539745*c_1100_1^4 + 89190933888/333623539745*c_1100_1^3 - 479391033116/333623539745*c_1100_1^2 + 817143956/333623539745*c_1100_1 - 6940290727/66724707949, c_0011_4 - 19625374028/333623539745*c_1100_1^15 - 74724963774/333623539745*c_1100_1^14 + 17817125936/66724707949*c_1100_1^13 + 138152571596/66724707949*c_1100_1^12 + 315935792328/333623539745*c_1100_1^11 - 1944077817318/333623539745*c_1100_1^10 - 342168072920/66724707949*c_1100_1^9 + 2074962644848/333623539745*c_1100_1^8 + 189456484548/66724707949*c_1100_1^7 - 3045238265214/333623539745*c_1100_1^6 - 223826691032/333623539745*c_1100_1^5 + 1625443275016/333623539745*c_1100_1^4 + 297326918496/333623539745*c_1100_1^3 - 930115983732/333623539745*c_1100_1^2 + 25991242472/333623539745*c_1100_1 - 20382384174/66724707949, c_0101_1 + 5879090164/333623539745*c_1100_1^15 + 9635779202/333623539745*c_1100_1^14 - 12419102376/66724707949*c_1100_1^13 - 26886218528/66724707949*c_1100_1^12 + 167493819496/333623539745*c_1100_1^11 + 599675540754/333623539745*c_1100_1^10 + 28940206816/66724707949*c_1100_1^9 - 791680962184/333623539745*c_1100_1^8 - 156195240392/66724707949*c_1100_1^7 - 207141808248/333623539745*c_1100_1^6 - 23432971184/333623539745*c_1100_1^5 - 323409505588/333623539745*c_1100_1^4 - 176821661288/333623539745*c_1100_1^3 - 503038077854/333623539745*c_1100_1^2 + 21853717744/333623539745*c_1100_1 - 36395391242/66724707949, c_0101_12 + 14020615384/333623539745*c_1100_1^15 + 190245583852/333623539745*c_1100_1^14 + 49645822800/66724707949*c_1100_1^13 - 294048465184/66724707949*c_1100_1^12 - 3271963650384/333623539745*c_1100_1^11 + 2244119883024/333623539745*c_1100_1^10 + 2014669935760/66724707949*c_1100_1^9 + 3435486406696/333623539745*c_1100_1^8 - 1412023931032/66724707949*c_1100_1^7 - 3325939112688/333623539745*c_1100_1^6 + 1333146902616/333623539745*c_1100_1^5 + 724070852332/333623539745*c_1100_1^4 - 1966751089628/333623539745*c_1100_1^3 + 14225500286/333623539745*c_1100_1^2 - 151069315136/333623539745*c_1100_1 + 115672006228/66724707949, c_0101_5 + 10563805732/333623539745*c_1100_1^15 + 164316248776/333623539745*c_1100_1^14 + 72382080440/66724707949*c_1100_1^13 - 189018239496/66724707949*c_1100_1^12 - 3521862445512/333623539745*c_1100_1^11 - 706114457108/333623539745*c_1100_1^10 + 1514226616954/66724707949*c_1100_1^9 + 7489892441168/333623539745*c_1100_1^8 + 109077995452/66724707949*c_1100_1^7 + 811024707376/333623539745*c_1100_1^6 + 2025952966398/333623539745*c_1100_1^5 + 2098010240676/333623539745*c_1100_1^4 - 591985495654/333623539745*c_1100_1^3 + 422641520648/333623539745*c_1100_1^2 - 509317104623/333623539745*c_1100_1 + 157289053424/66724707949, c_0101_8 - 1186232/2341793*c_1100_1^15 - 4588244/2341793*c_1100_1^14 + 3661116/2341793*c_1100_1^13 + 37255576/2341793*c_1100_1^12 + 34183288/2341793*c_1100_1^11 - 69818808/2341793*c_1100_1^10 - 134140752/2341793*c_1100_1^9 - 32605966/2341793*c_1100_1^8 + 48576912/2341793*c_1100_1^7 + 7099260/2341793*c_1100_1^6 - 23312272/2341793*c_1100_1^5 - 343042/2341793*c_1100_1^4 + 14931228/2341793*c_1100_1^3 + 2852234/2341793*c_1100_1^2 + 588302/2341793*c_1100_1 - 4454471/2341793, c_1001_0 - 60658633414/333623539745*c_1100_1^15 - 236755443492/333623539745*c_1100_1^14 + 26190609206/66724707949*c_1100_1^13 + 351532698108/66724707949*c_1100_1^12 + 2049279710264/333623539745*c_1100_1^11 - 2258851517064/333623539745*c_1100_1^10 - 1287345187054/66724707949*c_1100_1^9 - 4344037838556/333623539745*c_1100_1^8 - 85545832340/66724707949*c_1100_1^7 - 53072600992/333623539745*c_1100_1^6 - 1541631743356/333623539745*c_1100_1^5 - 751336572152/333623539745*c_1100_1^4 - 80774971932/333623539745*c_1100_1^3 + 308447406024/333623539745*c_1100_1^2 - 169414538109/333623539745*c_1100_1 - 7760983134/66724707949, c_1001_10 - c_1100_1, c_1001_6 + 67218161098/333623539745*c_1100_1^15 + 263661833184/333623539745*c_1100_1^14 - 30262775160/66724707949*c_1100_1^13 - 392454623452/66724707949*c_1100_1^12 - 2225293754048/333623539745*c_1100_1^11 + 2578849485068/333623539745*c_1100_1^10 + 1408058345162/66724707949*c_1100_1^9 + 4632267805212/333623539745*c_1100_1^8 + 90819005220/66724707949*c_1100_1^7 + 153880797984/333623539745*c_1100_1^6 + 2115379356882/333623539745*c_1100_1^5 + 819787528984/333623539745*c_1100_1^4 - 440096015296/333623539745*c_1100_1^3 - 307630262068/333623539745*c_1100_1^2 - 193725461007/333623539745*c_1100_1 + 10353480266/66724707949, c_1100_1^16 + 4*c_1100_1^15 - 2*c_1100_1^14 - 30*c_1100_1^13 - 36*c_1100_1^12 + 40*c_1100_1^11 + 116*c_1100_1^10 + 74*c_1100_1^9 - 6*c_1100_1^8 - 12*c_1100_1^7 + 22*c_1100_1^6 + 12*c_1100_1^5 - 4*c_1100_1^4 - 8*c_1100_1^3 + c_1100_1 + 5/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.400 Total time: 0.610 seconds, Total memory usage: 32.09MB