Magma V2.19-8 Tue Aug 20 2013 23:42:09 on localhost [Seed = 879907169] Type ? for help. Type -D to quit. Loading file "L13a3002__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a3002 geometric_solution 9.60098541 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 0 0 1 2 1230 3012 0132 0132 1 1 1 1 0 1 -1 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 -4 3 1 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815545378110 0.988609805844 3 2 4 0 0132 3012 0132 0132 1 1 1 1 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 0 0 0 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224989164508 0.859381684283 1 3 0 5 1230 3201 0132 0132 1 1 1 1 0 0 0 0 -1 0 0 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 0 -1 1 4 0 0 -4 -1 0 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224989164508 0.859381684283 1 6 2 7 0132 0132 2310 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 -3 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.177293638051 0.300003127456 8 9 6 1 0132 0132 1023 0132 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 -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.201455120028 0.491865880972 7 10 2 10 3120 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 4 -4 -1 3 0 -2 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267810126218 0.736996017840 9 3 4 10 2103 0132 1023 2103 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.907843860810 0.559188884159 8 8 3 5 2103 1302 0132 3120 1 1 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 0 0 0 0 0 -3 0 3 3 0 -3 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.678415197131 0.682868360559 4 10 7 7 0132 3201 2103 2031 0 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 -1 1 0 0 0 -3 3 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.678415197131 0.682868360559 9 4 6 9 3012 0132 2103 1230 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 1.286925448101 1.741018260640 5 5 8 6 3012 0132 2310 2103 1 1 1 0 0 0 0 0 0 0 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 -1 0 1 0 4 -4 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678415197131 0.682868360559 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0011_1'], 'c_1001_8' : d['c_0011_7'], 'c_1010_10' : negation(d['c_1001_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), '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_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' : negation(d['c_0011_4']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : negation(d['c_0011_1']), 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0110_10'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0011_4']), 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0101_6'], 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0011_10']), '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' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 42915119560610083179500129392803505/1535927080061044080173243326403\ 299*c_1001_3^15 - 411827363708088806166078321006206988/153592708006\ 1044080173243326403299*c_1001_3^14 + 517358991721031416839710766737907948/153592708006104408017324332640\ 3299*c_1001_3^13 + 3933115848162012185766812419653491169/1535927080\ 061044080173243326403299*c_1001_3^12 - 13131388293354269916167443882610412071/1535927080061044080173243326\ 403299*c_1001_3^11 + 25509051229365304407206981869055370065/1535927\ 080061044080173243326403299*c_1001_3^10 - 55540590772931568296006565644387978066/1535927080061044080173243326\ 403299*c_1001_3^9 + 37028917839542046462208733780886143017/15359270\ 80061044080173243326403299*c_1001_3^8 - 64297285066425607350821853988853738139/1535927080061044080173243326\ 403299*c_1001_3^7 + 56749893986259623324371846144141091459/15359270\ 80061044080173243326403299*c_1001_3^6 - 16745620269684847547324506547281117366/1535927080061044080173243326\ 403299*c_1001_3^5 + 58066317685125437140635143619207748512/15359270\ 80061044080173243326403299*c_1001_3^4 + 5441652281107153965027391926911284371/15359270800610440801732433264\ 03299*c_1001_3^3 + 28558069893881728873057630883626908629/153592708\ 0061044080173243326403299*c_1001_3^2 - 10219095962865657165394529111688380199/1535927080061044080173243326\ 403299*c_1001_3 + 5813142169716670397239448986849712982/15359270800\ 61044080173243326403299, c_0011_0 - 1, c_0011_1 - 5898244843423575956612951/862687973559292719642441167*c_1001\ _3^15 + 50737966343569643296122418/862687973559292719642441167*c_10\ 01_3^14 - 21762874150051778766865789/862687973559292719642441167*c_\ 1001_3^13 - 555530773177385389376795324/862687973559292719642441167\ *c_1001_3^12 + 1272570116407519428934873762/86268797355929271964244\ 1167*c_1001_3^11 - 2354836994584897026448861952/8626879735592927196\ 42441167*c_1001_3^10 + 5248519257779813939181185036/862687973559292\ 719642441167*c_1001_3^9 + 328315420266385297087977782/8626879735592\ 92719642441167*c_1001_3^8 + 9196990028593798244681828522/8626879735\ 59292719642441167*c_1001_3^7 + 3472223528360497428248677454/8626879\ 73559292719642441167*c_1001_3^6 + 8347571973905905870575546696/8626\ 87973559292719642441167*c_1001_3^5 + 2844608284397409311592089288/862687973559292719642441167*c_1001_3^4 + 4608436775751404151410003636/862687973559292719642441167*c_1001_3\ ^3 + 411438018039552568635136746/862687973559292719642441167*c_1001\ _3^2 + 1544080107808891217146816041/862687973559292719642441167*c_1\ 001_3 - 5766492029996293558246878/862687973559292719642441167, c_0011_10 + 1, c_0011_4 - 8230369920534339315697440/862687973559292719642441167*c_1001\ _3^15 + 59354929581847573115736162/862687973559292719642441167*c_10\ 01_3^14 + 65533322016625154786827685/862687973559292719642441167*c_\ 1001_3^13 - 793276594478019035641431878/862687973559292719642441167\ *c_1001_3^12 + 672358417986331472337208809/862687973559292719642441\ 167*c_1001_3^11 - 1070656752185417371307707412/86268797355929271964\ 2441167*c_1001_3^10 + 3489590335374191733699077387/8626879735592927\ 19642441167*c_1001_3^9 + 9439200776483798322310269268/8626879735592\ 92719642441167*c_1001_3^8 + 16403235488694997033505603650/862687973\ 559292719642441167*c_1001_3^7 + 21246913705326757496703868360/86268\ 7973559292719642441167*c_1001_3^6 + 20474833328302170348421810494/862687973559292719642441167*c_1001_3^\ 5 + 15418099155816847027926544956/862687973559292719642441167*c_100\ 1_3^4 + 7474479580536767721528699289/862687973559292719642441167*c_\ 1001_3^3 + 2125919087669239219642382232/862687973559292719642441167\ *c_1001_3^2 + 77635007293310319153944297/86268797355929271964244116\ 7*c_1001_3 - 104620472327047855507690156/86268797355929271964244116\ 7, c_0011_7 + 397969337748172123702970/862687973559292719642441167*c_1001_\ 3^15 - 5118917243901246122854194/862687973559292719642441167*c_1001\ _3^14 + 9410276165179200151865707/862687973559292719642441167*c_100\ 1_3^13 + 86640204482282961452183154/862687973559292719642441167*c_1\ 001_3^12 - 254621899045191546857863924/862687973559292719642441167*\ c_1001_3^11 - 110536092388591054501269424/8626879735592927196424411\ 67*c_1001_3^10 + 231401295996657775123312658/8626879735592927196424\ 41167*c_1001_3^9 - 762945016680703839612010745/86268797355929271964\ 2441167*c_1001_3^8 + 4728483500522673642219125748/86268797355929271\ 9642441167*c_1001_3^7 + 4534948210894394389069646702/86268797355929\ 2719642441167*c_1001_3^6 + 10288857742912322112866126552/8626879735\ 59292719642441167*c_1001_3^5 + 8506478235691309774313409191/8626879\ 73559292719642441167*c_1001_3^4 + 7723817907793429797997024357/8626\ 87973559292719642441167*c_1001_3^3 + 3562718406428622448467995674/862687973559292719642441167*c_1001_3^2 + 1160891818919435062983828778/862687973559292719642441167*c_1001_3 - 214286291392315448128731212/862687973559292719642441167, c_0101_0 - 4791115085311490767576908/862687973559292719642441167*c_1001\ _3^15 + 36618573630511575725299537/862687973559292719642441167*c_10\ 01_3^14 + 23594500506638535907931812/862687973559292719642441167*c_\ 1001_3^13 - 479519148908571505757447720/862687973559292719642441167\ *c_1001_3^12 + 576658107078702530528535316/862687973559292719642441\ 167*c_1001_3^11 - 751718012205555816718404530/862687973559292719642\ 441167*c_1001_3^10 + 2403274350113004002857579500/86268797355929271\ 9642441167*c_1001_3^9 + 4352040004266937382235638688/86268797355929\ 2719642441167*c_1001_3^8 + 7421873953682104954122467256/86268797355\ 9292719642441167*c_1001_3^7 + 6913838671878386989948939509/86268797\ 3559292719642441167*c_1001_3^6 + 5793838274821475885347954760/86268\ 7973559292719642441167*c_1001_3^5 + 2189658463779200291085316028/862687973559292719642441167*c_1001_3^4 + 892903756726282801587616764/862687973559292719642441167*c_1001_3^\ 3 - 313357452318814190151299864/862687973559292719642441167*c_1001_\ 3^2 + 83423847130519191405497172/862687973559292719642441167*c_1001\ _3 + 752150732293359736113353178/862687973559292719642441167, c_0101_1 + c_1001_3, c_0101_4 - 1482794563821764595135012/862687973559292719642441167*c_1001\ _3^15 + 13109159151938314211290279/862687973559292719642441167*c_10\ 01_3^14 - 8748542037512482478211734/862687973559292719642441167*c_1\ 001_3^13 - 136257357660150974740459632/862687973559292719642441167*\ c_1001_3^12 + 352900621463279319827579952/8626879735592927196424411\ 67*c_1001_3^11 - 700291260289064648486374682/8626879735592927196424\ 41167*c_1001_3^10 + 1518434873628216175951997710/862687973559292719\ 642441167*c_1001_3^9 - 215555531435145511601938419/8626879735592927\ 19642441167*c_1001_3^8 + 2304905256540807934915018012/8626879735592\ 92719642441167*c_1001_3^7 + 561082340550557925651427255/86268797355\ 9292719642441167*c_1001_3^6 + 1603636665804330191509450588/86268797\ 3559292719642441167*c_1001_3^5 - 829823257249837010128313571/862687\ 973559292719642441167*c_1001_3^4 + 156203920904146164966749858/862687973559292719642441167*c_1001_3^3 - 1431847258052546555265426250/862687973559292719642441167*c_1001_3^2 + 19365161836834599933396318/862687973559292719642441167*c_1001_3 - 361099298296478457396161966/862687973559292719642441167, c_0101_6 - 11601923918774599283146148/862687973559292719642441167*c_100\ 1_3^15 + 91400443358290981180831695/862687973559292719642441167*c_1\ 001_3^14 + 27883254176366058480022214/862687973559292719642441167*c\ _1001_3^13 - 1104761403858889601292078560/8626879735592927196424411\ 67*c_1001_3^12 + 1661836781499569850746189232/862687973559292719642\ 441167*c_1001_3^11 - 2963602563089383945066540373/86268797355929271\ 9642441167*c_1001_3^10 + 7809716958945248731990374850/8626879735592\ 92719642441167*c_1001_3^9 + 6507697124126441753440082099/8626879735\ 59292719642441167*c_1001_3^8 + 21887456562563229689524790386/862687\ 973559292719642441167*c_1001_3^7 + 15788995378619557904105888923/862687973559292719642441167*c_1001_3^\ 6 + 21745174924556331473266930608/862687973559292719642441167*c_100\ 1_3^5 + 9745119638561213808216231758/862687973559292719642441167*c_\ 1001_3^4 + 6765455257724892290004117262/862687973559292719642441167\ *c_1001_3^3 - 712997477884131005807704759/8626879735592927196424411\ 67*c_1001_3^2 + 374087656161900950062113488/86268797355929271964244\ 1167*c_1001_3 - 547000224683602157172203753/86268797355929271964244\ 1167, c_0110_10 - 1482794563821764595135012/862687973559292719642441167*c_100\ 1_3^15 + 13109159151938314211290279/862687973559292719642441167*c_1\ 001_3^14 - 8748542037512482478211734/862687973559292719642441167*c_\ 1001_3^13 - 136257357660150974740459632/862687973559292719642441167\ *c_1001_3^12 + 352900621463279319827579952/862687973559292719642441\ 167*c_1001_3^11 - 700291260289064648486374682/862687973559292719642\ 441167*c_1001_3^10 + 1518434873628216175951997710/86268797355929271\ 9642441167*c_1001_3^9 - 215555531435145511601938419/862687973559292\ 719642441167*c_1001_3^8 + 2304905256540807934915018012/862687973559\ 292719642441167*c_1001_3^7 + 561082340550557925651427255/8626879735\ 59292719642441167*c_1001_3^6 + 1603636665804330191509450588/8626879\ 73559292719642441167*c_1001_3^5 - 829823257249837010128313571/86268\ 7973559292719642441167*c_1001_3^4 + 156203920904146164966749858/862687973559292719642441167*c_1001_3^3 - 1431847258052546555265426250/862687973559292719642441167*c_1001_3^2 + 19365161836834599933396318/862687973559292719642441167*c_1001_3 - 361099298296478457396161966/862687973559292719642441167, c_1001_3^16 - 8*c_1001_3^15 - c_1001_3^14 + 92*c_1001_3^13 - 156*c_1001_3^12 + 318*c_1001_3^11 - 773*c_1001_3^10 - 392*c_1001_3^9 - 2037*c_1001_3^8 - 1510*c_1001_3^7 - 2221*c_1001_3^6 - 1200*c_1001_3^5 - 1006*c_1001_3^4 - 180*c_1001_3^3 - 195*c_1001_3^2 - 10*c_1001_3 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB