Magma V2.19-8 Tue Aug 20 2013 23:57:31 on localhost [Seed = 3819277108] Type ? for help. Type -D to quit. Loading file "L14n32858__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32858 geometric_solution 10.81871490 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 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 0 -1 0 1 -3 0 0 3 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.492919489043 0.473920429964 0 4 6 5 0132 2103 0132 0132 1 0 0 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 1 0 -1 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 0 0 0 1.115332389540 1.086975342156 7 0 8 3 0132 0132 0132 3012 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 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 1.052621236599 0.983786002931 9 9 2 0 0132 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135950770008 1.232224150300 6 1 0 10 0132 2103 0132 0132 0 0 1 1 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 0 0 -1 1 0 0 -3 3 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007998557075 0.866142200242 8 11 1 7 2031 0132 0132 2103 1 0 1 0 0 1 -1 0 1 0 -1 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 -2 1 1 -3 0 3 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274094976946 1.149549359859 4 11 8 1 0132 0213 2103 0132 1 0 1 1 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 -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.541709761007 0.590449705898 2 8 10 5 0132 3120 2031 2103 1 0 1 0 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 -1 -1 2 0 0 0 0 1 0 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.056736683545 0.759228729902 6 7 5 2 2103 3120 1302 0132 0 0 1 1 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 -4 3 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.308688193547 1.079554312684 3 9 3 9 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.668994080994 0.599243634570 11 11 4 7 0213 2310 0132 1302 0 0 1 1 0 0 0 0 0 0 1 -1 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 1 -1 0 -1 0 -3 4 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586446353829 0.795502708253 10 5 6 10 0213 0132 0213 3201 1 1 0 1 0 -1 0 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 2 0 -2 1 0 -1 0 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514465435833 0.989614409876 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0110_10'], 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : d['c_0110_10'], '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_10'], 'c_0101_10' : d['c_0011_11'], '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_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_3'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0101_0'], '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' : 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' : 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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], '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' : negation(d['c_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_10'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_8, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_10, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 126259783330794505982097/8481860268634401338158*c_1001_10^16 + 81965368457687530621911/1384793513246432871536*c_1001_10^15 - 1838144668723112356661/1384793513246432871536*c_1001_10^14 - 11097391716466524343054609/33927441074537605352632*c_1001_10^13 - 19672274146851234679184709/67854882149075210705264*c_1001_10^12 + 37692240442909287194593933/67854882149075210705264*c_1001_10^11 + 47460929319006794720631023/67854882149075210705264*c_1001_10^10 + 1466074354476548240673800/4240930134317200669079*c_1001_10^9 + 34735363388327931248421245/9693554592725030100752*c_1001_10^8 + 204079284243549713180984565/33927441074537605352632*c_1001_10^7 - 118239744497480703071132609/67854882149075210705264*c_1001_10^6 - 396146985165639441196727473/33927441074537605352632*c_1001_10^5 - 542713096674594168984911185/67854882149075210705264*c_1001_10^4 + 176363296350607214793698455/67854882149075210705264*c_1001_10^3 + 397306386129850997889002587/67854882149075210705264*c_1001_10^2 + 10792547473712993699907884/4240930134317200669079*c_1001_10 + 66654127319401170503225853/67854882149075210705264, c_0011_0 - 1, c_0011_10 - 690713539671596683/103437320349200016319*c_1001_10^16 - 202299763491539939/14776760049885716617*c_1001_10^15 + 758857682045944107/14776760049885716617*c_1001_10^14 + 14853366324475916038/103437320349200016319*c_1001_10^13 - 16265976834180002614/103437320349200016319*c_1001_10^12 - 50865171140691092281/103437320349200016319*c_1001_10^11 + 21911160594535891556/103437320349200016319*c_1001_10^10 + 47814369106657457896/103437320349200016319*c_1001_10^9 - 21623367608574552342/14776760049885716617*c_1001_10^8 + 36350692345500998085/103437320349200016319*c_1001_10^7 + 623585650129318094480/103437320349200016319*c_1001_10^6 + 334052478884924662546/103437320349200016319*c_1001_10^5 - 707426326257202473385/103437320349200016319*c_1001_10^4 - 690220092648271376655/103437320349200016319*c_1001_10^3 + 97967454659355852709/103437320349200016319*c_1001_10^2 + 380003799482295070225/103437320349200016319*c_1001_10 + 50531134886736388268/103437320349200016319, c_0011_11 + 1996819577472358326/103437320349200016319*c_1001_10^16 + 1269876785448424135/14776760049885716617*c_1001_10^15 + 477424395365286595/14776760049885716617*c_1001_10^14 - 45179709758864223181/103437320349200016319*c_1001_10^13 - 59831522927177238248/103437320349200016319*c_1001_10^12 + 63498885726933475097/103437320349200016319*c_1001_10^11 + 136399055259612993080/103437320349200016319*c_1001_10^10 + 75037909588288285896/103437320349200016319*c_1001_10^9 + 9897183193692730873/2110965721412245231*c_1001_10^8 + 1033547290020237115012/103437320349200016319*c_1001_10^7 + 86120536088780756719/103437320349200016319*c_1001_10^6 - 1798729768715917573353/103437320349200016319*c_1001_10^5 - 1739114404330466802540/103437320349200016319*c_1001_10^4 + 167969488066789779434/103437320349200016319*c_1001_10^3 + 1176611747874655624113/103437320349200016319*c_1001_10^2 + 511402656889320910037/103437320349200016319*c_1001_10 + 86825688851323779123/103437320349200016319, c_0011_3 - 6945010115734645159/960489403242571580105*c_1001_10^16 - 22875218541068977152/960489403242571580105*c_1001_10^15 + 9407128425850930792/960489403242571580105*c_1001_10^14 + 127194871716780947776/960489403242571580105*c_1001_10^13 + 82536499436459809764/960489403242571580105*c_1001_10^12 - 23840503165743650691/137212771891795940015*c_1001_10^11 - 53160379088450156452/192097880648514316021*c_1001_10^10 - 385155941589221685971/960489403242571580105*c_1001_10^9 - 1390565894514889805123/960489403242571580105*c_1001_10^8 - 1716233027956063312537/960489403242571580105*c_1001_10^7 + 460692857697984427823/960489403242571580105*c_1001_10^6 + 4571476874983175223587/960489403242571580105*c_1001_10^5 + 4847697029225199378594/960489403242571580105*c_1001_10^4 - 647552354966977560497/960489403242571580105*c_1001_10^3 - 863512182860106862081/192097880648514316021*c_1001_10^2 - 2916429403215134433852/960489403242571580105*c_1001_10 - 158350506028515864317/137212771891795940015, c_0011_8 - 3589392305393490650/103437320349200016319*c_1001_10^16 - 1949600944305250669/14776760049885716617*c_1001_10^15 + 459958865890991799/14776760049885716617*c_1001_10^14 + 79928207461070210947/103437320349200016319*c_1001_10^13 + 53948984732541018599/103437320349200016319*c_1001_10^12 - 154915772408564360810/103437320349200016319*c_1001_10^11 - 141602134394028787596/103437320349200016319*c_1001_10^10 - 30951998801736284211/103437320349200016319*c_1001_10^9 - 121596687572505125789/14776760049885716617*c_1001_10^8 - 1300970467708003931180/103437320349200016319*c_1001_10^7 + 758707416553291833574/103437320349200016319*c_1001_10^6 + 2765658606011622525835/103437320349200016319*c_1001_10^5 + 1197187459444358390163/103437320349200016319*c_1001_10^4 - 1240067136755718166454/103437320349200016319*c_1001_10^3 - 1234613065314540899413/103437320349200016319*c_1001_10^2 - 80443995412756894441/103437320349200016319*c_1001_10 - 34297734387115032529/103437320349200016319, c_0101_0 - 1, c_0101_1 - 2261731228573214763/103437320349200016319*c_1001_10^16 - 1067986746484462996/14776760049885716617*c_1001_10^15 + 865686982992923057/14776760049885716617*c_1001_10^14 + 49010281921981872136/103437320349200016319*c_1001_10^13 + 11077708973958339162/103437320349200016319*c_1001_10^12 - 111027741265347288007/103437320349200016319*c_1001_10^11 - 48400528846858112898/103437320349200016319*c_1001_10^10 + 16030139955636850142/103437320349200016319*c_1001_10^9 - 73327570990732021447/14776760049885716617*c_1001_10^8 - 565380380039915769095/103437320349200016319*c_1001_10^7 + 848259776299897176347/103437320349200016319*c_1001_10^6 + 1562093544402260580903/103437320349200016319*c_1001_10^5 + 24958035112225060345/103437320349200016319*c_1001_10^4 - 1110093476541154399151/103437320349200016319*c_1001_10^3 - 480295645079256453178/103437320349200016319*c_1001_10^2 + 175674941052580078073/103437320349200016319*c_1001_10 + 48269403658163173505/103437320349200016319, c_0101_2 - 2261731228573214763/103437320349200016319*c_1001_10^16 - 1067986746484462996/14776760049885716617*c_1001_10^15 + 865686982992923057/14776760049885716617*c_1001_10^14 + 49010281921981872136/103437320349200016319*c_1001_10^13 + 11077708973958339162/103437320349200016319*c_1001_10^12 - 111027741265347288007/103437320349200016319*c_1001_10^11 - 48400528846858112898/103437320349200016319*c_1001_10^10 + 16030139955636850142/103437320349200016319*c_1001_10^9 - 73327570990732021447/14776760049885716617*c_1001_10^8 - 565380380039915769095/103437320349200016319*c_1001_10^7 + 848259776299897176347/103437320349200016319*c_1001_10^6 + 1562093544402260580903/103437320349200016319*c_1001_10^5 + 24958035112225060345/103437320349200016319*c_1001_10^4 - 1110093476541154399151/103437320349200016319*c_1001_10^3 - 480295645079256453178/103437320349200016319*c_1001_10^2 + 175674941052580078073/103437320349200016319*c_1001_10 + 48269403658163173505/103437320349200016319, c_0101_3 - 175433416376696709057/6723425822698001060735*c_1001_10^16 - 95356633786388943588/960489403242571580105*c_1001_10^15 + 14373004191831061968/960489403242571580105*c_1001_10^14 + 3706667255191509986308/6723425822698001060735*c_1001_10^13 + 2727651498831668292697/6723425822698001060735*c_1001_10^12 - 6376226491646234280816/6723425822698001060735*c_1001_10^11 - 1255719887827499150150/1344685164539600212147*c_1001_10^10 - 3817713419996770719823/6723425822698001060735*c_1001_10^9 - 6204997832210994209307/960489403242571580105*c_1001_10^8 - 64563071043435978279326/6723425822698001060735*c_1001_10^7 + 24395348770430664768244/6723425822698001060735*c_1001_10^6 + 116875579220228072786951/6723425822698001060735*c_1001_10^5 + 71467521970363933842382/6723425822698001060735*c_1001_10^4 - 17946428085305238041331/6723425822698001060735*c_1001_10^3 - 8234710163809002496838/1344685164539600212147*c_1001_10^2 - 23318885090506497209131/6723425822698001060735*c_1001_10 - 11884766879418186981222/6723425822698001060735, c_0101_7 + 41837149616180982783/6723425822698001060735*c_1001_10^16 + 27916048921072552777/960489403242571580105*c_1001_10^15 + 14503737291957377668/960489403242571580105*c_1001_10^14 - 953079877469335001182/6723425822698001060735*c_1001_10^13 - 1445910575682340730513/6723425822698001060735*c_1001_10^12 + 1105795523829894931639/6723425822698001060735*c_1001_10^11 + 618835784716436383912/1344685164539600212147*c_1001_10^10 + 2452681321351010821947/6723425822698001060735*c_1001_10^9 + 1550636984190784058603/960489403242571580105*c_1001_10^8 + 22709773018436217778004/6723425822698001060735*c_1001_10^7 + 4117923627667972663134/6723425822698001060735*c_1001_10^6 - 38149409038462801690384/6723425822698001060735*c_1001_10^5 - 48670528311229311165088/6723425822698001060735*c_1001_10^4 - 10055384811002974767041/6723425822698001060735*c_1001_10^3 + 5447506225211491769659/1344685164539600212147*c_1001_10^2 + 29334237870025145955484/6723425822698001060735*c_1001_10 + 12238541182893477542823/6723425822698001060735, c_0110_10 - 266691216851535827/103437320349200016319*c_1001_10^16 - 151348516769996184/14776760049885716617*c_1001_10^15 + 53687476155665521/14776760049885716617*c_1001_10^14 + 7539564856489903693/103437320349200016319*c_1001_10^13 + 6069873805020190811/103437320349200016319*c_1001_10^12 - 18269627098377429883/103437320349200016319*c_1001_10^11 - 23796395489411142697/103437320349200016319*c_1001_10^10 + 6694073726354503623/103437320349200016319*c_1001_10^9 - 5996878194928131687/14776760049885716617*c_1001_10^8 - 102139387511928058002/103437320349200016319*c_1001_10^7 + 129545392602239395886/103437320349200016319*c_1001_10^6 + 415194185450891442662/103437320349200016319*c_1001_10^5 + 171422899434041367514/103437320349200016319*c_1001_10^4 - 327756934030990019609/103437320349200016319*c_1001_10^3 - 300311243785975056485/103437320349200016319*c_1001_10^2 - 10001793111549476063/103437320349200016319*c_1001_10 + 104512718712261015105/103437320349200016319, c_1001_10^17 + 4*c_1001_10^16 - 22*c_1001_10^14 - 20*c_1001_10^13 + 37*c_1001_10^12 + 48*c_1001_10^11 + 24*c_1001_10^10 + 241*c_1001_10^9 + 410*c_1001_10^8 - 109*c_1001_10^7 - 790*c_1001_10^6 - 554*c_1001_10^5 + 167*c_1001_10^4 + 398*c_1001_10^3 + 178*c_1001_10^2 + 69*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB