Magma V2.19-8 Tue Aug 20 2013 23:57:26 on localhost [Seed = 1014650086] Type ? for help. Type -D to quit. Loading file "L14n32748__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32748 geometric_solution 10.05637890 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 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 -4 5 -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 1.552994897615 1.208515043557 0 5 4 6 0132 0132 0213 0132 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 0 0 0 0.267087016194 0.608579724394 3 0 5 7 1023 0132 0132 0132 0 0 1 1 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 4 0 -4 -5 0 0 5 -1 0 0 1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.320692978765 1.267899883785 8 2 6 0 0132 1023 0213 0132 0 0 1 1 0 1 0 -1 -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 5 0 -5 -5 0 5 0 -1 1 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880950907610 0.502505031382 9 1 0 9 0132 0213 0132 1302 0 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 1 -1 1 0 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760743603294 0.685368893855 10 1 10 2 0132 0132 1023 0132 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 -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 3 0 0 -3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673148871983 1.019254932903 8 3 1 7 2103 0213 0132 2103 0 0 0 1 0 0 0 0 1 0 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 5 0 0 -5 0 -5 0 5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085812032908 0.569163674484 9 9 2 6 3012 0132 0132 2103 0 0 0 1 0 0 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 1 4 -5 0 0 -5 5 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.274419030471 0.653690184623 3 11 6 11 0132 0132 2103 1023 0 0 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 0 0 0 5 0 -5 0 3 -3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791671738453 0.465469334744 4 7 4 7 0132 0132 2031 1230 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 -1 1 0 -1 0 1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454019233043 1.300574044517 5 11 5 11 0132 1023 1023 0132 0 0 1 1 0 0 0 0 0 0 0 0 -1 0 0 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 -3 0 0 3 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651149121871 0.232870931735 10 8 10 8 1023 0132 0132 1023 0 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 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717053578864 0.195091208418 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_0110_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : d['c_0011_6'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : d['1'], 's_3_10' : 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' : 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' : 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' : negation(d['c_0011_0']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0110_6']), 'c_1100_6' : negation(d['c_0110_7']), 'c_1100_1' : negation(d['c_0110_7']), 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : d['c_0110_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_7']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0110_11'], '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'], '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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], '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_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0110_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0110_7'], 'c_1100_8' : negation(d['c_0110_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_4, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_0101_9, c_0110_11, c_0110_6, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 18883747528728894822985426411/98682762305452779875008*c_1001_1^13 + 281264870017240360510966330111/197365524610905559750016*c_1001_1^12 - 437326835345115254649834566849/197365524610905559750016*c_1001_1^\ 11 - 125663101498699073569239637649/49341381152726389937504*c_1001_\ 1^10 - 100182807615898989763953579787/12335345288181597484376*c_100\ 1_1^9 + 1244747971968477167696253555885/28195074944415079964288*c_1\ 001_1^8 - 3285677028071884597012113813101/98682762305452779875008*c\ _1001_1^7 - 624546356698885778232102289989/49341381152726389937504*\ c_1001_1^6 + 259631762474330651516122863227/49341381152726389937504\ *c_1001_1^5 + 1755393871931939886001432578493/986827623054527798750\ 08*c_1001_1^4 - 55160009558256117303581932439/986827623054527798750\ 08*c_1001_1^3 - 2167690759881860875686496303/1973655246109055597500\ 16*c_1001_1^2 - 668345017826276524486559952965/19736552461090555975\ 0016*c_1001_1 + 103736752838546148291809970155/19736552461090555975\ 0016, c_0011_0 - 1, c_0011_4 - 3934039655261819/26187725896768576*c_1001_1^13 + 60749128332953631/52375451793537152*c_1001_1^12 - 106640099060557001/52375451793537152*c_1001_1^11 - 20829093951319413/13093862948384288*c_1001_1^10 - 2351910685938903/409183217137009*c_1001_1^9 + 273644887550241101/7482207399076736*c_1001_1^8 - 920618922680607993/26187725896768576*c_1001_1^7 - 62528668411052643/13093862948384288*c_1001_1^6 + 99479249466205305/13093862948384288*c_1001_1^5 + 364614386395524561/26187725896768576*c_1001_1^4 - 116300821707844755/26187725896768576*c_1001_1^3 - 27133705140292151/52375451793537152*c_1001_1^2 - 165221405980082709/52375451793537152*c_1001_1 + 27524214168982707/52375451793537152, c_0011_6 - 2110024884297137/26187725896768576*c_1001_1^13 + 29225675300616957/52375451793537152*c_1001_1^12 - 31319803640606443/52375451793537152*c_1001_1^11 - 22523065264275255/13093862948384288*c_1001_1^10 - 6101097582350279/1636732868548036*c_1001_1^9 + 127406896200096455/7482207399076736*c_1001_1^8 - 85698869544358643/26187725896768576*c_1001_1^7 - 227259473060234605/13093862948384288*c_1001_1^6 + 46277803988548399/13093862948384288*c_1001_1^5 + 205031572920646763/26187725896768576*c_1001_1^4 + 94812542581778591/26187725896768576*c_1001_1^3 - 86790529113059573/52375451793537152*c_1001_1^2 - 61511558861285823/52375451793537152*c_1001_1 - 34033962182200727/52375451793537152, c_0101_0 - 1, c_0101_10 - 1040807866966611/13093862948384288*c_1001_1^13 + 15771970458399095/26187725896768576*c_1001_1^12 - 26188127262970209/26187725896768576*c_1001_1^11 - 5925974449507829/6546931474192144*c_1001_1^10 - 2742172983631803/818366434274018*c_1001_1^9 + 70416754797195925/3741103699538368*c_1001_1^8 - 211243181308781353/13093862948384288*c_1001_1^7 - 13832619342075679/6546931474192144*c_1001_1^6 + 688625285244725/6546931474192144*c_1001_1^5 + 98260623060952945/13093862948384288*c_1001_1^4 - 12634187529486003/13093862948384288*c_1001_1^3 + 20846672452998849/26187725896768576*c_1001_1^2 - 49670754988501565/26187725896768576*c_1001_1 - 912007385482341/26187725896768576, c_0101_11 - 209546544996097/1870551849769184*c_1001_1^13 + 3080654986950989/3741103699538368*c_1001_1^12 - 4521695392678843/3741103699538368*c_1001_1^11 - 1575496502894583/935275924884592*c_1001_1^10 - 554538491601103/116909490610574*c_1001_1^9 + 94997134682679873/3741103699538368*c_1001_1^8 - 31215232822469171/1870551849769184*c_1001_1^7 - 10863569294512597/935275924884592*c_1001_1^6 + 4969833761960391/935275924884592*c_1001_1^5 + 16947756573306891/1870551849769184*c_1001_1^4 + 4366381251746911/1870551849769184*c_1001_1^3 - 3454199118108773/3741103699538368*c_1001_1^2 - 7527027142384367/3741103699538368*c_1001_1 - 648617180239207/3741103699538368, c_0101_7 - c_1001_1, c_0101_9 - 869266752013173/26187725896768576*c_1001_1^13 + 12223147334273345/52375451793537152*c_1001_1^12 - 15034615576267823/52375451793537152*c_1001_1^11 - 7353690810453303/13093862948384288*c_1001_1^10 - 5386610822183867/3273465737096072*c_1001_1^9 + 52281853519719123/7482207399076736*c_1001_1^8 - 75578685596247483/26187725896768576*c_1001_1^7 - 44402694292539839/13093862948384288*c_1001_1^6 - 7242428538611335/13093862948384288*c_1001_1^5 + 84828504465750203/26187725896768576*c_1001_1^4 + 23401951708300623/26187725896768576*c_1001_1^3 + 31464057701180863/52375451793537152*c_1001_1^2 - 48427348720425307/52375451793537152*c_1001_1 - 3934039655261819/52375451793537152, c_0110_11 - 2087097518189779/26187725896768576*c_1001_1^13 + 29273133541773351/52375451793537152*c_1001_1^12 - 34826490538165385/52375451793537152*c_1001_1^11 - 18999951366180945/13093862948384288*c_1001_1^10 - 12896438861964529/3273465737096072*c_1001_1^9 + 128268101392499557/7482207399076736*c_1001_1^8 - 152852718014315117/26187725896768576*c_1001_1^7 - 144353426457999377/13093862948384288*c_1001_1^6 - 44838028387982649/13093862948384288*c_1001_1^5 + 335293718753609549/26187725896768576*c_1001_1^4 + 50325947013569049/26187725896768576*c_1001_1^3 - 13151036525467207/52375451793537152*c_1001_1^2 - 111745968009777245/52375451793537152*c_1001_1 - 17802766801434589/52375451793537152, c_0110_6 + 79926226949965/13093862948384288*c_1001_1^13 - 1208738455771545/26187725896768576*c_1001_1^12 + 2316298876133959/26187725896768576*c_1001_1^11 - 80418662755593/6546931474192144*c_1001_1^10 + 558851590056085/1636732868548036*c_1001_1^9 - 4597630357869083/3741103699538368*c_1001_1^8 + 25415962531145803/13093862948384288*c_1001_1^7 - 13882684852287829/6546931474192144*c_1001_1^6 + 2814361450462283/6546931474192144*c_1001_1^5 - 4307724593753115/13093862948384288*c_1001_1^4 + 7821316559082897/13093862948384288*c_1001_1^3 + 11904438385131785/26187725896768576*c_1001_1^2 - 9238470321215229/26187725896768576*c_1001_1 + 1040807866966611/26187725896768576, c_0110_7 + 29794299890189/6546931474192144*c_1001_1^13 - 101048052329129/13093862948384288*c_1001_1^12 - 1762586722445089/13093862948384288*c_1001_1^11 + 1031691504946147/3273465737096072*c_1001_1^10 + 233532316605736/409183217137009*c_1001_1^9 + 442866667991637/1870551849769184*c_1001_1^8 - 31319594896144649/6546931474192144*c_1001_1^7 + 11626303052092769/3273465737096072*c_1001_1^6 + 3470389171232701/3273465737096072*c_1001_1^5 - 862154092107663/6546931474192144*c_1001_1^4 - 14781666437761827/6546931474192144*c_1001_1^3 - 490110987819231/13093862948384288*c_1001_1^2 + 6017957902776899/13093862948384288*c_1001_1 + 2523453205756603/13093862948384288, c_1001_1^14 - 15/2*c_1001_1^13 + 12*c_1001_1^12 + 25/2*c_1001_1^11 + 42*c_1001_1^10 - 465/2*c_1001_1^9 + 375/2*c_1001_1^8 + 51*c_1001_1^7 - 28*c_1001_1^6 - 89*c_1001_1^5 + 8*c_1001_1^4 - 5/2*c_1001_1^3 + 17*c_1001_1^2 - 4*c_1001_1 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB