Magma V2.19-8 Tue Aug 20 2013 23:46:29 on localhost [Seed = 2084181609] Type ? for help. Type -D to quit. Loading file "K14n19315__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19315 geometric_solution 10.58975191 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 1 -6 5 -5 0 5 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 1.051930178251 1.253337898367 0 5 7 6 0132 0132 0132 0132 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 0 0 0 5 0 -5 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.134976078136 0.706020334894 7 0 6 3 2031 0132 2031 1302 0 0 0 0 0 0 -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 -1 6 -5 0 0 0 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.453971846070 1.206470062712 8 9 2 0 0132 0132 2031 0132 0 0 0 0 0 0 1 -1 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 0 0 -6 6 0 0 5 -5 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511035916032 0.731741750714 10 9 0 11 0132 0321 0132 0132 0 0 0 0 0 0 1 -1 0 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 -5 5 0 0 0 0 0 5 0 -5 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607109480980 0.468115268084 10 1 8 9 3120 0132 0132 3120 0 0 0 0 0 0 0 0 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 0 0 0 -6 0 0 6 5 0 0 -5 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694482957321 1.394180902501 11 10 1 2 0213 0213 0132 1302 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 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146776759295 1.190539374762 10 8 2 1 1230 3120 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 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 -5 0 0 5 0 6 0 -6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.031702991204 1.137724222338 3 7 11 5 0132 3120 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 -6 0 6 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.154516772722 1.082596314600 5 3 11 4 3120 0132 1230 0321 0 0 0 0 0 0 0 0 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 0 0 0 -6 0 0 6 5 0 0 -5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.270990536300 1.785974747183 4 7 6 5 0132 3012 0213 3120 0 0 0 0 0 -1 0 1 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 6 0 -6 0 0 -6 6 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631302733910 0.944753577793 6 8 4 9 0213 0213 0132 3012 0 0 0 0 0 0 1 -1 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 -5 5 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.412970827643 0.847681094094 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_2']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : d['c_0110_11'], 'c_1001_7' : d['c_0110_2'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : d['c_0110_11'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0110_2']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0011_0']), '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_0011_6'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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_1100_9' : d['c_0110_11'], 'c_1100_8' : negation(d['c_0101_9']), 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0110_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_7']), 'c_1010_0' : d['c_0110_11'], 'c_1010_9' : negation(d['c_0110_2']), 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : 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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_10'], 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0101_9'], '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' : d['c_0011_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0110_11'])})} 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_0011_7, c_0101_2, c_0101_3, c_0101_9, c_0110_11, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 344/11*c_1001_0^3 - 800/11*c_1001_0^2 + 1528/11*c_1001_0 - 644/11, c_0011_0 - 1, c_0011_10 + 6/11*c_1001_0^3 - 16/11*c_1001_0^2 + 31/11*c_1001_0 - 12/11, c_0011_11 + 8/11*c_1001_0^3 - 14/11*c_1001_0^2 + 23/11*c_1001_0 + 6/11, c_0011_3 + 8/11*c_1001_0^3 - 14/11*c_1001_0^2 + 23/11*c_1001_0 + 6/11, c_0011_6 + 2/11*c_1001_0^3 + 2/11*c_1001_0^2 + 3/11*c_1001_0 - 4/11, c_0011_7 - 2/11*c_1001_0^3 - 2/11*c_1001_0^2 - 3/11*c_1001_0 + 4/11, c_0101_2 - 14/11*c_1001_0^3 + 30/11*c_1001_0^2 - 54/11*c_1001_0 + 6/11, c_0101_3 - 2/11*c_1001_0^3 - 2/11*c_1001_0^2 - 3/11*c_1001_0 - 7/11, c_0101_9 - 2/11*c_1001_0^3 - 2/11*c_1001_0^2 - 3/11*c_1001_0 - 7/11, c_0110_11 + 2/11*c_1001_0^3 + 2/11*c_1001_0^2 + 3/11*c_1001_0 + 7/11, c_0110_2 + 6/11*c_1001_0^3 - 16/11*c_1001_0^2 + 20/11*c_1001_0 - 1/11, c_1001_0^4 - 2*c_1001_0^3 + 4*c_1001_0^2 - c_1001_0 + 1/2 ], 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_0011_7, c_0101_2, c_0101_3, c_0101_9, c_0110_11, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 104848288955988797209879/4179737875021117513456*c_1001_0^7 + 8953590701396438325547151/45977116625232292648016*c_1001_0^6 + 23961523338324343000050197/91954233250464585296032*c_1001_0^5 - 6820219137046560821077657/11494279156308073162004*c_1001_0^4 + 153775880087884865003128923/183908466500929170592064*c_1001_0^3 - 57434295589454719700878783/183908466500929170592064*c_1001_0^2 + 6362866616460873496137835/91954233250464585296032*c_1001_0 + 7131217049274130647538839/91954233250464585296032, c_0011_0 - 1, c_0011_10 - 25330793105596/82610124126553*c_1001_0^7 - 180770872694416/82610124126553*c_1001_0^6 - 143477299813418/82610124126553*c_1001_0^5 + 731362425833014/82610124126553*c_1001_0^4 - 1295041194316217/82610124126553*c_1001_0^3 + 872659250645234/82610124126553*c_1001_0^2 - 279412496336016/82610124126553*c_1001_0 - 5283933074687/82610124126553, c_0011_11 + 60716100950076/82610124126553*c_1001_0^7 + 462164359775928/82610124126553*c_1001_0^6 + 547443502363450/82610124126553*c_1001_0^5 - 1629832219173526/82610124126553*c_1001_0^4 + 2073502870139345/82610124126553*c_1001_0^3 - 821302853355438/82610124126553*c_1001_0^2 + 130202849080194/82610124126553*c_1001_0 + 123670775457064/82610124126553, c_0011_3 + 26920584077376/82610124126553*c_1001_0^7 + 228615546153688/82610124126553*c_1001_0^6 + 448426077790800/82610124126553*c_1001_0^5 - 296945359390648/82610124126553*c_1001_0^4 + 660809349038996/82610124126553*c_1001_0^3 - 26557007108488/82610124126553*c_1001_0^2 + 118503566895617/82610124126553*c_1001_0 + 130345458918733/82610124126553, c_0011_6 + 14623085626248/82610124126553*c_1001_0^7 + 99766713965628/82610124126553*c_1001_0^6 + 35632564271520/82610124126553*c_1001_0^5 - 571607709001042/82610124126553*c_1001_0^4 + 656092797198578/82610124126553*c_1001_0^3 - 483663426292085/82610124126553*c_1001_0^2 + 90768399535468/82610124126553*c_1001_0 - 36555305168765/82610124126553, c_0011_7 + 19172431246452/82610124126553*c_1001_0^7 + 133782099656612/82610124126553*c_1001_0^6 + 63384860301130/82610124126553*c_1001_0^5 - 761279150781836/82610124126553*c_1001_0^4 + 756600723901771/82610124126553*c_1001_0^3 - 311082419954865/82610124126553*c_1001_0^2 - 79069117350891/82610124126553*c_1001_0 + 29880621707096/82610124126553, c_0101_2 - 41691975829108/82610124126553*c_1001_0^7 - 294840282445472/82610124126553*c_1001_0^6 - 201786918317446/82610124126553*c_1001_0^5 + 1334357114234862/82610124126553*c_1001_0^4 - 2083157345084503/82610124126553*c_1001_0^3 + 1087388508601948/82610124126553*c_1001_0^2 - 151776174884861/82610124126553*c_1001_0 - 168812839463382/82610124126553, c_0101_3 - 31259295918884/82610124126553*c_1001_0^7 - 236215510514200/82610124126553*c_1001_0^6 - 247602813650514/82610124126553*c_1001_0^5 + 1037115917614306/82610124126553*c_1001_0^4 - 752311192970129/82610124126553*c_1001_0^3 + 177763571445512/82610124126553*c_1001_0^2 + 202778067994037/82610124126553*c_1001_0 + 2623541765517/82610124126553, c_0101_9 - 21640883400444/82610124126553*c_1001_0^7 - 171342477952372/82610124126553*c_1001_0^6 - 253367848147414/82610124126553*c_1001_0^5 + 449970023896248/82610124126553*c_1001_0^4 - 724462749903641/82610124126553*c_1001_0^3 + 120643132532601/82610124126553*c_1001_0^2 + 4566377277769/82610124126553*c_1001_0 - 64327058527161/82610124126553, c_0110_11 + 16280645397852/82610124126553*c_1001_0^7 + 107384312237180/82610124126553*c_1001_0^6 + 2012965324754/82610124126553*c_1001_0^5 - 744270711612836/82610124126553*c_1001_0^4 + 714381254049707/82610124126553*c_1001_0^3 - 444982744979041/82610124126553*c_1001_0^2 - 12776043925992/82610124126553*c_1001_0 - 32601481967489/82610124126553, c_0110_2 + 4045474599936/82610124126553*c_1001_0^7 + 38492879053436/82610124126553*c_1001_0^6 + 100066735720244/82610124126553*c_1001_0^5 - 2629898937194/82610124126553*c_1001_0^4 - 47584413865580/82610124126553*c_1001_0^3 - 1133518287019/82610124126553*c_1001_0^2 + 85818574136825/82610124126553*c_1001_0 + 7490119918263/82610124126553, c_1001_0^8 + 84/11*c_1001_0^7 + 19/2*c_1001_0^6 - 533/22*c_1001_0^5 + 1641/44*c_1001_0^4 - 208/11*c_1001_0^3 + 351/44*c_1001_0^2 + 8/11*c_1001_0 + 1/2 ], 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_0011_7, c_0101_2, c_0101_3, c_0101_9, c_0110_11, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 15297/6517*c_1001_0^9 - 82925/6517*c_1001_0^8 + 157270/6517*c_1001_0^7 - 120903/6517*c_1001_0^6 + 37956/6517*c_1001_0^5 - 1157/686*c_1001_0^4 + 10926/6517*c_1001_0^3 - 34627/6517*c_1001_0^2 + 70691/13034*c_1001_0 - 55039/13034, c_0011_0 - 1, c_0011_10 - c_1001_0, c_0011_11 + 8/7*c_1001_0^9 - 12/7*c_1001_0^8 - 38/7*c_1001_0^7 + 74/7*c_1001_0^6 - 34/7*c_1001_0^5 + 22/7*c_1001_0^4 + 10/7*c_1001_0^3 - 13/7*c_1001_0^2 + 3/7*c_1001_0 + 11/7, c_0011_3 + 6/7*c_1001_0^9 - 44/7*c_1001_0^8 + 108/7*c_1001_0^7 - 116/7*c_1001_0^6 + 76/7*c_1001_0^5 - 43/7*c_1001_0^4 - 3/7*c_1001_0^3 - 1/7*c_1001_0^2 + 4/7*c_1001_0 - 11/7, c_0011_6 + 8/7*c_1001_0^9 - 12/7*c_1001_0^8 - 38/7*c_1001_0^7 + 74/7*c_1001_0^6 - 34/7*c_1001_0^5 + 22/7*c_1001_0^4 + 10/7*c_1001_0^3 - 13/7*c_1001_0^2 + 3/7*c_1001_0 + 11/7, c_0011_7 - 6/7*c_1001_0^9 + 44/7*c_1001_0^8 - 108/7*c_1001_0^7 + 116/7*c_1001_0^6 - 76/7*c_1001_0^5 + 43/7*c_1001_0^4 + 3/7*c_1001_0^3 + 1/7*c_1001_0^2 - 4/7*c_1001_0 + 11/7, c_0101_2 + 10/7*c_1001_0^9 - 22/7*c_1001_0^8 - 16/7*c_1001_0^7 + 54/7*c_1001_0^6 - 32/7*c_1001_0^5 + 17/7*c_1001_0^4 + 16/7*c_1001_0^3 - 4/7*c_1001_0^2 + 9/7*c_1001_0 + 19/7, c_0101_3 - 16/7*c_1001_0^9 + 52/7*c_1001_0^8 - 36/7*c_1001_0^7 - 22/7*c_1001_0^6 + 40/7*c_1001_0^5 - 44/7*c_1001_0^4 + 8/7*c_1001_0^3 - 2/7*c_1001_0^2 - 20/7*c_1001_0 - 8/7, c_0101_9 - 8/7*c_1001_0^9 + 40/7*c_1001_0^8 - 74/7*c_1001_0^7 + 66/7*c_1001_0^6 - 36/7*c_1001_0^5 + 6/7*c_1001_0^4 + 18/7*c_1001_0^3 - 15/7*c_1001_0^2 - 3/7*c_1001_0 + 3/7, c_0110_11 + 2/7*c_1001_0^9 - 24/7*c_1001_0^8 + 78/7*c_1001_0^7 - 104/7*c_1001_0^6 + 72/7*c_1001_0^5 - 33/7*c_1001_0^4 - 1/7*c_1001_0^3 + 2/7*c_1001_0^2 - 1/7*c_1001_0 - 13/7, c_0110_2 - 1, c_1001_0^10 - 4*c_1001_0^9 + 6*c_1001_0^8 - 6*c_1001_0^7 + 5*c_1001_0^6 - 3/2*c_1001_0^5 + 1/2*c_1001_0^4 + 1/2*c_1001_0^3 + 1/2*c_1001_0^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.200 Total time: 3.410 seconds, Total memory usage: 64.12MB