Magma V2.19-8 Tue Aug 20 2013 23:57:27 on localhost [Seed = 678314227] Type ? for help. Type -D to quit. Loading file "L14n32827__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32827 geometric_solution 10.53115022 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 -1 1 -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 -1 3 -2 5 0 -1 -4 0 2 0 -2 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446216520377 0.725154310953 0 5 7 6 0132 0132 0132 0132 0 1 1 0 0 0 1 -1 1 0 -1 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 0 -3 3 -5 0 5 0 -4 4 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068844016677 0.819028192361 6 0 9 8 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -5 0 0 5 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327056758049 0.826326117568 8 10 11 0 0132 0132 0132 0132 0 1 1 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 3 0 -3 0 0 -1 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701390268198 0.653555889995 7 9 0 5 0132 3120 0132 1302 0 1 0 0 0 0 -1 1 0 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 2 -2 0 0 4 -4 0 0 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.241285373099 0.666829400518 6 1 4 11 3201 0132 2031 0321 0 0 0 1 0 0 0 0 1 0 -1 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 0 0 0 -2 0 2 0 -3 3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440602265084 0.407526946413 2 7 1 5 0132 3201 0132 2310 0 1 0 1 0 0 1 -1 0 0 0 0 1 0 0 -1 -1 1 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 -2 0 0 2 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847016985267 0.792021312141 4 10 6 1 0132 0321 2310 0132 0 1 0 0 0 1 0 -1 0 0 -1 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 -3 0 3 0 0 5 -5 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.787140899686 0.442660217044 3 9 2 10 0132 3201 0132 2310 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 0 0 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 0.503566523111 0.555963337160 11 4 8 2 2103 3120 2310 0132 0 1 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 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.226609294928 0.854963136884 8 3 11 7 3201 0132 3201 0321 0 0 0 1 0 1 0 -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 -3 0 3 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.574782043858 1.755623658024 10 5 9 3 2310 0321 2103 0132 0 1 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 4 0 -5 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.383343034861 0.387856512855 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_1'], 's_3_11' : 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' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : negation(d['c_0101_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_0011_4']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_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' : d['c_0101_11'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2351340057448203861716192228/205382549167280951148369*c_1001_1^11 + 18182939532958354925724597839/205382549167280951148369*c_1001_1^10 + 44366583483802794676629546686/205382549167280951148369*c_1001_1^9 + 42158444902558506481698745457/205382549167280951148369*c_1001_1^8 + 79434698266675172460451385737/821530196669123804593476*c_1001_1^7 - 22879119742146883532501432929/91281132963235978288164*c_1001_1^6 - 106410728660117715378283664075/410765098334561902296738*c_1001_1^5 - 191545627439431581467248954039/821530196669123804593476*c_1001_1^4 + 12656508691606533505429951949/821530196669123804593476*c_1001_1^3 + 455940542428430708428510076275/821530196669123804593476*c_1001_1^2 - 26096367267424825021405941331/273843398889707934864492*c_1001_1 + 103791721769791668464720473309/205382549167280951148369, c_0011_0 - 1, c_0011_10 - 3385523242443/460661239527094*c_1001_1^11 - 93531401831601/1842644958108376*c_1001_1^10 - 173405291744505/1842644958108376*c_1001_1^9 - 24342388414031/460661239527094*c_1001_1^8 - 248668334074021/1842644958108376*c_1001_1^7 - 68625507507321/460661239527094*c_1001_1^6 - 127233978419943/460661239527094*c_1001_1^5 - 342840766802703/1842644958108376*c_1001_1^4 + 769435036028109/1842644958108376*c_1001_1^3 - 703506453787301/1842644958108376*c_1001_1^2 + 537988525446029/1842644958108376*c_1001_1 - 865243044765559/1842644958108376, c_0011_11 + 7984134582333/460661239527094*c_1001_1^11 + 309547840461471/1842644958108376*c_1001_1^10 + 1059779967933073/1842644958108376*c_1001_1^9 + 373463254991283/460661239527094*c_1001_1^8 + 612174603562451/1842644958108376*c_1001_1^7 - 377956911740769/921322479054188*c_1001_1^6 - 888886909049719/921322479054188*c_1001_1^5 - 1920429796318429/1842644958108376*c_1001_1^4 + 97615346341465/1842644958108376*c_1001_1^3 + 1798085859390861/1842644958108376*c_1001_1^2 + 1843347029264213/1842644958108376*c_1001_1 - 209279883007065/1842644958108376, c_0011_4 - 9462301326373/460661239527094*c_1001_1^11 - 276260780912159/1842644958108376*c_1001_1^10 - 574278732327335/1842644958108376*c_1001_1^9 - 35984830952600/230330619763547*c_1001_1^8 + 138820454583353/1842644958108376*c_1001_1^7 + 157330371449001/230330619763547*c_1001_1^6 + 244440680932245/460661239527094*c_1001_1^5 - 105314596928053/1842644958108376*c_1001_1^4 - 689669017022373/1842644958108376*c_1001_1^3 - 763930802139227/1842644958108376*c_1001_1^2 + 177751048482191/1842644958108376*c_1001_1 - 107250115905861/1842644958108376, c_0011_9 + 35633954495/27097719972182*c_1001_1^11 + 4800120129981/108390879888728*c_1001_1^10 + 27697812839737/108390879888728*c_1001_1^9 + 11190538178873/27097719972182*c_1001_1^8 + 5637433571713/108390879888728*c_1001_1^7 - 1193799133482/13548859986091*c_1001_1^6 - 13771643969301/13548859986091*c_1001_1^5 - 74262112679321/108390879888728*c_1001_1^4 + 87727243335183/108390879888728*c_1001_1^3 + 34241985361069/108390879888728*c_1001_1^2 + 98130802195919/108390879888728*c_1001_1 - 19033428004377/108390879888728, c_0101_0 - 1, c_0101_1 + 5542855756513/230330619763547*c_1001_1^11 + 151071623772171/921322479054188*c_1001_1^10 + 257936849081741/921322479054188*c_1001_1^9 - 4052258427915/230330619763547*c_1001_1^8 - 242510739727069/921322479054188*c_1001_1^7 - 282573871581363/460661239527094*c_1001_1^6 + 102933000569717/460661239527094*c_1001_1^5 - 91918463124133/921322479054188*c_1001_1^4 + 109975015191425/921322479054188*c_1001_1^3 + 299685437645049/921322479054188*c_1001_1^2 - 892948547499355/921322479054188*c_1001_1 + 593627567612903/921322479054188, c_0101_10 + 1371271292241/460661239527094*c_1001_1^11 + 40465799647723/1842644958108376*c_1001_1^10 + 90185883731193/1842644958108376*c_1001_1^9 + 11868222306009/460661239527094*c_1001_1^8 - 118054905526569/1842644958108376*c_1001_1^7 - 166978231831915/921322479054188*c_1001_1^6 + 28697213425435/921322479054188*c_1001_1^5 + 825985225962707/1842644958108376*c_1001_1^4 + 1909333025831165/1842644958108376*c_1001_1^3 + 262065966521797/1842644958108376*c_1001_1^2 - 211034133777151/1842644958108376*c_1001_1 - 559311302497009/1842644958108376, c_0101_11 + 11735640755729/460661239527094*c_1001_1^11 + 346569526388459/1842644958108376*c_1001_1^10 + 755365383967017/1842644958108376*c_1001_1^9 + 126120187489199/460661239527094*c_1001_1^8 - 15634808666457/1842644958108376*c_1001_1^7 - 740216596419415/921322479054188*c_1001_1^6 - 505898004158705/921322479054188*c_1001_1^5 - 652298544718485/1842644958108376*c_1001_1^4 + 162575612725373/1842644958108376*c_1001_1^3 + 3344770138762637/1842644958108376*c_1001_1^2 - 784054915565055/1842644958108376*c_1001_1 + 1728684773469847/1842644958108376, c_0101_2 - 518529645527/460661239527094*c_1001_1^11 + 3849495631995/1842644958108376*c_1001_1^10 + 155938494895695/1842644958108376*c_1001_1^9 + 78222533475561/230330619763547*c_1001_1^8 + 900640858553803/1842644958108376*c_1001_1^7 + 117998648098599/460661239527094*c_1001_1^6 - 63276824504756/230330619763547*c_1001_1^5 - 1580869893451283/1842644958108376*c_1001_1^4 - 648392662539431/1842644958108376*c_1001_1^3 + 514434264210259/1842644958108376*c_1001_1^2 + 725086920157621/1842644958108376*c_1001_1 + 1053579274416805/1842644958108376, c_0101_7 + 9327111279907/460661239527094*c_1001_1^11 + 260648775705065/1842644958108376*c_1001_1^10 + 491480738316997/1842644958108376*c_1001_1^9 + 28948715070600/230330619763547*c_1001_1^8 + 353736481498105/1842644958108376*c_1001_1^7 + 2125172209783/460661239527094*c_1001_1^6 + 4934024100366/230330619763547*c_1001_1^5 - 1045951704248153/1842644958108376*c_1001_1^4 - 608091381198013/1842644958108376*c_1001_1^3 + 1015756896959553/1842644958108376*c_1001_1^2 - 310350178129633/1842644958108376*c_1001_1 + 2829964059908215/1842644958108376, c_1001_1^12 + 31/4*c_1001_1^11 + 19*c_1001_1^10 + 73/4*c_1001_1^9 + 35/4*c_1001_1^8 - 87/4*c_1001_1^7 - 23*c_1001_1^6 - 83/4*c_1001_1^5 + c_1001_1^4 + 97/2*c_1001_1^3 - 15/2*c_1001_1^2 + 44*c_1001_1 + 3/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB