Magma V2.19-8 Wed Aug 21 2013 01:07:15 on localhost [Seed = 3035803061] Type ? for help. Type -D to quit. Loading file "L14n32998__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32998 geometric_solution 12.39202434 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 1 -1 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379182020192 0.576076667261 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134583994852 0.938185348885 4 0 6 3 1023 0132 1302 1230 1 1 1 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 0 0 0 0 1 0 -1 -1 0 0 1 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.064193974195 1.247214506103 2 8 9 0 3012 0132 0132 0132 1 1 1 1 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 0 0 0 1 0 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.640702229087 0.516349956433 5 2 0 10 0132 1023 0132 0132 1 1 1 0 0 1 0 -1 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 1 -1 0 0 0 1 -1 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422045363463 1.065448908124 4 1 8 11 0132 0132 2103 0132 1 1 0 1 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 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531553318083 0.927395473030 2 10 1 12 2031 3120 0132 0132 1 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 -1 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 0 0 0 0.930482090036 1.516493546982 11 10 9 1 0132 1023 3012 0132 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 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.329393476589 0.925967372418 5 3 9 11 2103 0132 1302 1023 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.041158824940 0.799668258005 8 7 12 3 2031 1230 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607538649913 0.701566381604 7 6 4 12 1023 3120 0132 1230 1 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 0 0 0 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.102465847253 1.038430808916 7 12 5 8 0132 2103 0132 1023 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 0.531843742604 0.765726837907 10 11 6 9 3012 2103 0132 3012 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 0.130971379673 0.684171685194 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_9']), '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_12' : 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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0110_12'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : d['c_0110_12'], 'c_1100_3' : d['c_0110_12'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_12'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0110_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_0101_9'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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'], 'c_1100_12' : negation(d['c_1001_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], '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_0101_7'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_9'], '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_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0101_9, c_0110_12, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 770121706086293775551679/6617194605997060283060*c_1001_9^13 + 72420108009203081823612/87068350078908687935*c_1001_9^12 + 34216450018652531903450429/6617194605997060283060*c_1001_9^11 + 44345964038582474550157482/1654298651499265070765*c_1001_9^10 + 4253514890022245943595419/6617194605997060283060*c_1001_9^9 - 257897866004044203912871/17413670015781737587*c_1001_9^8 + 65244127263978770976607699/3308597302998530141530*c_1001_9^7 + 8928780037320442436548789/661719460599706028306*c_1001_9^6 - 90402222351634753945696059/6617194605997060283060*c_1001_9^5 - 743806955202314518111087/348273400315634751740*c_1001_9^4 + 46595907490299493005860091/3308597302998530141530*c_1001_9^3 - 9151168888671932781519235/1323438921199412056612*c_1001_9^2 + 4811108499475703198940431/6617194605997060283060*c_1001_9 + 1743227964802083586463959/3308597302998530141530, c_0011_0 - 1, c_0011_10 + 3634151202942463522/31754339440543168541*c_1001_9^13 + 29685720407067599848/31754339440543168541*c_1001_9^12 + 191005268602548999698/31754339440543168541*c_1001_9^11 + 1025189071334967987579/31754339440543168541*c_1001_9^10 + 1021173880736266677773/31754339440543168541*c_1001_9^9 + 327173059697305143503/31754339440543168541*c_1001_9^8 + 562429273704594392995/31754339440543168541*c_1001_9^7 + 744916145819826062708/31754339440543168541*c_1001_9^6 + 241648372626029519408/31754339440543168541*c_1001_9^5 + 14736867567828990323/31754339440543168541*c_1001_9^4 + 290002538521946767227/31754339440543168541*c_1001_9^3 - 5366872722919405268/31754339440543168541*c_1001_9^2 + 17319007303261018837/31754339440543168541*c_1001_9 + 27101687433563296416/31754339440543168541, c_0011_12 - 1787008339164744715/31754339440543168541*c_1001_9^13 - 14456939964641213024/31754339440543168541*c_1001_9^12 - 91236570462218857095/31754339440543168541*c_1001_9^11 - 484052675701029518703/31754339440543168541*c_1001_9^10 - 381149130388785235972/31754339440543168541*c_1001_9^9 + 315328522503194599759/31754339440543168541*c_1001_9^8 + 178536100524310946423/31754339440543168541*c_1001_9^7 - 286777206680811365000/31754339440543168541*c_1001_9^6 + 57008180449062333245/31754339440543168541*c_1001_9^5 + 336072690137817114038/31754339440543168541*c_1001_9^4 - 20006720110187036959/31754339440543168541*c_1001_9^3 - 29239954200565157723/31754339440543168541*c_1001_9^2 + 27386467558839235512/31754339440543168541*c_1001_9 + 12238355470802454969/31754339440543168541, c_0011_3 - 32547298269434212/1024333530340102211*c_1001_9^13 - 235123362781458122/1024333530340102211*c_1001_9^12 - 1506430210913767844/1024333530340102211*c_1001_9^11 - 7968429802782148355/1024333530340102211*c_1001_9^10 - 3084888764043729125/1024333530340102211*c_1001_9^9 - 8428717776229004708/1024333530340102211*c_1001_9^8 - 20171828044722572127/1024333530340102211*c_1001_9^7 - 7425149368866076895/1024333530340102211*c_1001_9^6 + 1789895482383009367/1024333530340102211*c_1001_9^5 - 8390230982736023025/1024333530340102211*c_1001_9^4 - 8867558928636398612/1024333530340102211*c_1001_9^3 + 3747475268022437003/1024333530340102211*c_1001_9^2 - 1552042557693749522/1024333530340102211*c_1001_9 - 1953862275813759933/1024333530340102211, c_0011_6 - 761170149057439941/31754339440543168541*c_1001_9^13 - 4015993991863125366/31754339440543168541*c_1001_9^12 - 22010575906909882699/31754339440543168541*c_1001_9^11 - 99940423540503369448/31754339440543168541*c_1001_9^10 + 398978398620053667609/31754339440543168541*c_1001_9^9 + 496103631969412918286/31754339440543168541*c_1001_9^8 - 226181868405055646307/31754339440543168541*c_1001_9^7 - 214849580247597084711/31754339440543168541*c_1001_9^6 + 269632996632002603340/31754339440543168541*c_1001_9^5 + 55436931706917325529/31754339440543168541*c_1001_9^4 - 307630132242977497555/31754339440543168541*c_1001_9^3 + 34415920791038191525/31754339440543168541*c_1001_9^2 + 16711591228249284114/31754339440543168541*c_1001_9 - 29964759133067392362/31754339440543168541, c_0011_9 - 28299464610557194/1024333530340102211*c_1001_9^13 - 219016052467391138/1024333530340102211*c_1001_9^12 - 1394060872632936417/1024333530340102211*c_1001_9^11 - 7402751246638850544/1024333530340102211*c_1001_9^10 - 4912468439259164182/1024333530340102211*c_1001_9^9 - 1280610545969351150/1024333530340102211*c_1001_9^8 - 7447358737849400970/1024333530340102211*c_1001_9^7 - 5869425030540367170/1024333530340102211*c_1001_9^6 + 2663879570525303998/1024333530340102211*c_1001_9^5 + 588550882817087196/1024333530340102211*c_1001_9^4 - 3760487214608741063/1024333530340102211*c_1001_9^3 + 1904086469777081817/1024333530340102211*c_1001_9^2 + 1705098863930191038/1024333530340102211*c_1001_9 + 2042512371447124/1024333530340102211, c_0101_0 - 1, c_0101_1 - 836451604486915157/31754339440543168541*c_1001_9^13 - 5244515642362852107/31754339440543168541*c_1001_9^12 - 30904258091373698607/31754339440543168541*c_1001_9^11 - 152330122786505648169/31754339440543168541*c_1001_9^10 + 212769147660044261330/31754339440543168541*c_1001_9^9 + 364649899598068025860/31754339440543168541*c_1001_9^8 - 128591920756518063637/31754339440543168541*c_1001_9^7 - 144959023554245449155/31754339440543168541*c_1001_9^6 + 214874872917747392784/31754339440543168541*c_1001_9^5 + 21923675147893366385/31754339440543168541*c_1001_9^4 - 168948067827001981247/31754339440543168541*c_1001_9^3 + 66673273567380278127/31754339440543168541*c_1001_9^2 - 10552214848745736108/31754339440543168541*c_1001_9 - 20877012576346687883/31754339440543168541, c_0101_3 - 141736509309432937/1024333530340102211*c_1001_9^13 - 1143753135172607186/1024333530340102211*c_1001_9^12 - 7344671423114756444/1024333530340102211*c_1001_9^11 - 39329418282403400042/1024333530340102211*c_1001_9^10 - 36420110732389939179/1024333530340102211*c_1001_9^9 - 11814269536723626562/1024333530340102211*c_1001_9^8 - 24709527874939592368/1024333530340102211*c_1001_9^7 - 30929983028155018165/1024333530340102211*c_1001_9^6 - 7242843115468496975/1024333530340102211*c_1001_9^5 + 2762760600373531628/1024333530340102211*c_1001_9^4 - 8669463328627331115/1024333530340102211*c_1001_9^3 + 1269776193710224203/1024333530340102211*c_1001_9^2 + 96533254463127893/1024333530340102211*c_1001_9 + 516970397166694256/1024333530340102211, c_0101_7 - 248304148945901442/1024333530340102211*c_1001_9^13 - 1914583322226727635/1024333530340102211*c_1001_9^12 - 12113548395725428066/1024333530340102211*c_1001_9^11 - 64036538149717275377/1024333530340102211*c_1001_9^10 - 37564999866040260658/1024333530340102211*c_1001_9^9 + 9961606238564836857/1024333530340102211*c_1001_9^8 - 36464549150605289612/1024333530340102211*c_1001_9^7 - 48518896092088117466/1024333530340102211*c_1001_9^6 + 4147806936979224151/1024333530340102211*c_1001_9^5 + 10895986662605674958/1024333530340102211*c_1001_9^4 - 21421085957585045429/1024333530340102211*c_1001_9^3 + 4052770295158389465/1024333530340102211*c_1001_9^2 + 1624306419860443819/1024333530340102211*c_1001_9 - 10070417226711732/1024333530340102211, c_0101_9 + 35615062723380707/1024333530340102211*c_1001_9^13 + 333260779310137864/1024333530340102211*c_1001_9^12 + 2215961971268747812/1024333530340102211*c_1001_9^11 + 12258084059696750593/1024333530340102211*c_1001_9^10 + 21849258033508644107/1024333530340102211*c_1001_9^9 + 14529410375796741320/1024333530340102211*c_1001_9^8 + 8304210391309924338/1024333530340102211*c_1001_9^7 + 10645175774026059172/1024333530340102211*c_1001_9^6 + 8297880404928900778/1024333530340102211*c_1001_9^5 + 1740058357613886239/1024333530340102211*c_1001_9^4 + 740419019872501761/1024333530340102211*c_1001_9^3 + 146983519656230871/1024333530340102211*c_1001_9^2 - 524051970725573273/1024333530340102211*c_1001_9 + 96005523682817367/1024333530340102211, c_0110_12 - 13539398681234334/1024333530340102211*c_1001_9^13 - 131838917378958603/1024333530340102211*c_1001_9^12 - 906035057124046981/1024333530340102211*c_1001_9^11 - 5088805049347368865/1024333530340102211*c_1001_9^10 - 10726931633977544831/1024333530340102211*c_1001_9^9 - 11964757207345242194/1024333530340102211*c_1001_9^8 - 3681754663555449050/1024333530340102211*c_1001_9^7 + 3225975033307618858/1024333530340102211*c_1001_9^6 - 2037357427896558304/1024333530340102211*c_1001_9^5 - 4153814519492222951/1024333530340102211*c_1001_9^4 + 2012805087501493021/1024333530340102211*c_1001_9^3 + 2313226659857377996/1024333530340102211*c_1001_9^2 - 1285123370778098758/1024333530340102211*c_1001_9 - 404968365261794031/1024333530340102211, c_1001_9^14 + 8*c_1001_9^13 + 51*c_1001_9^12 + 272*c_1001_9^11 + 226*c_1001_9^10 + 5*c_1001_9^9 + 162*c_1001_9^8 + 255*c_1001_9^7 + 19*c_1001_9^6 - 47*c_1001_9^5 + 103*c_1001_9^4 + 15*c_1001_9^3 - 21*c_1001_9^2 + 7*c_1001_9 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.520 Total time: 0.730 seconds, Total memory usage: 32.09MB