Magma V2.19-8 Tue Aug 20 2013 23:48:49 on localhost [Seed = 863328681] Type ? for help. Type -D to quit. Loading file "L12n1041__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1041 geometric_solution 10.92656327 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 0132 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 1 0 -1 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.859442853312 0.655577251844 0 4 5 4 0132 0132 0132 1230 1 1 0 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 0 0 0 0 0 0 0 0 -1 -1 2 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.470480151633 0.506552872074 0 0 7 6 2031 0132 0132 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 -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.264442374174 0.561078430117 8 8 0 9 0132 0321 0132 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 1 -1 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.642021238340 0.430507495812 1 1 10 9 3012 0132 0132 1023 1 1 1 0 0 -1 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 0 0 0 0 1 -1 0 -2 0 0 2 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.986094202442 0.943324130196 8 11 10 1 1230 0132 0321 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 -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.274329523244 1.672246209075 10 10 2 9 1302 3012 0132 3201 1 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 0 -1 1 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.597507714120 0.929831818271 11 8 11 2 3201 0213 2103 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554505505800 0.955540770741 3 5 7 3 0132 3012 0213 0321 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 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.476221083406 0.448731039837 11 6 3 4 2031 2310 0132 1023 1 1 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 0 0 0 0 0 0 0 0 1 1 -2 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.601792676525 0.551988923810 6 6 5 4 1230 2031 0321 0132 1 1 0 1 0 1 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 0 0 0 -1 0 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.597507714120 0.929831818271 7 5 9 7 2103 0132 1302 2310 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 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.195303381919 0.553182385488 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_9'], 'c_1001_10' : d['c_0110_4'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0110_9'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : 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' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0110_9'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_4'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], '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_0011_9'], 'c_0110_10' : d['c_0011_6'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0011_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0101_2'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0110_4'])})} 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_0011_9, c_0101_10, c_0101_2, c_0110_4, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 64957502847097623310497/237580530135223685248*c_1001_2^13 - 414823003339447254107387/237580530135223685248*c_1001_2^12 - 3183870328240038232371781/712741590405671055744*c_1001_2^11 - 2396065051068879556606379/356370795202835527872*c_1001_2^10 - 5848203458917756034597009/712741590405671055744*c_1001_2^9 - 6510725193646178116714277/712741590405671055744*c_1001_2^8 - 7578462858821383966069201/712741590405671055744*c_1001_2^7 - 195657153596382954377873/14848783133451480328*c_1001_2^6 - 4760465876253411030025369/712741590405671055744*c_1001_2^5 + 884899400638581483964247/712741590405671055744*c_1001_2^4 - 6455820225102017216323913/712741590405671055744*c_1001_2^3 - 419469698194876140534139/89092698800708881968*c_1001_2^2 + 587221942640183609472817/178185397601417763936*c_1001_2 - 107789094644544261927095/44546349400354440984, c_0011_0 - 1, c_0011_10 + 201795697945867275/1195658271899248688*c_1001_2^13 + 1388509805724530259/1195658271899248688*c_1001_2^12 + 3972463320787592943/1195658271899248688*c_1001_2^11 + 842617010869163983/149457283987406086*c_1001_2^10 + 8537786148742668545/1195658271899248688*c_1001_2^9 + 9015412479838396763/1195658271899248688*c_1001_2^8 + 9324063499698158555/1195658271899248688*c_1001_2^7 + 5316970198796757693/597829135949624344*c_1001_2^6 + 6230240179584381957/1195658271899248688*c_1001_2^5 - 2095401155299137033/1195658271899248688*c_1001_2^4 + 1293181895146955787/1195658271899248688*c_1001_2^3 + 33672831022037901/16157544214854712*c_1001_2^2 - 102188362638946755/74728641993703043*c_1001_2 - 50396576600157606/74728641993703043, c_0011_11 + 25102090793598453/1195658271899248688*c_1001_2^13 + 31495542253465865/1195658271899248688*c_1001_2^12 - 670936681931376667/1195658271899248688*c_1001_2^11 - 801240331843417239/298914567974812172*c_1001_2^10 - 7272297657797115537/1195658271899248688*c_1001_2^9 - 11329128841705518599/1195658271899248688*c_1001_2^8 - 13740298792259602759/1195658271899248688*c_1001_2^7 - 7193598070492038399/597829135949624344*c_1001_2^6 - 16191925867834927021/1195658271899248688*c_1001_2^5 - 15089019205146199859/1195658271899248688*c_1001_2^4 - 5085957474206780247/1195658271899248688*c_1001_2^3 - 19023963877829759/16157544214854712*c_1001_2^2 - 344234162486654843/149457283987406086*c_1001_2 - 53556845821943605/74728641993703043, c_0011_3 + 1, c_0011_6 - 175512836019854907/1195658271899248688*c_1001_2^13 - 1230525199347471479/1195658271899248688*c_1001_2^12 - 3620259460428768451/1195658271899248688*c_1001_2^11 - 1604012568362387121/298914567974812172*c_1001_2^10 - 8533545283550159081/1195658271899248688*c_1001_2^9 - 9387493224024417623/1195658271899248688*c_1001_2^8 - 10014818907571452319/1195658271899248688*c_1001_2^7 - 5829916612605501907/597829135949624344*c_1001_2^6 - 8491498679855141365/1195658271899248688*c_1001_2^5 - 1332952625391881683/1195658271899248688*c_1001_2^4 - 2871650116201736079/1195658271899248688*c_1001_2^3 - 43708213579350395/16157544214854712*c_1001_2^2 - 72508608998066533/74728641993703043*c_1001_2 - 18497153389342250/74728641993703043, c_0011_7 - 156095095573249119/1195658271899248688*c_1001_2^13 - 1088212711572636559/1195658271899248688*c_1001_2^12 - 3220661421522970939/1195658271899248688*c_1001_2^11 - 359025296514943856/74728641993703043*c_1001_2^10 - 7467822596401884853/1195658271899248688*c_1001_2^9 - 7750866472104226599/1195658271899248688*c_1001_2^8 - 7659779394297306391/1195658271899248688*c_1001_2^7 - 4119346244485843749/597829135949624344*c_1001_2^6 - 4987519897146767385/1195658271899248688*c_1001_2^5 + 1609213476480669533/1195658271899248688*c_1001_2^4 + 908748941488769897/1195658271899248688*c_1001_2^3 - 15472765558124117/16157544214854712*c_1001_2^2 - 108888654646841251/149457283987406086*c_1001_2 + 34270657278677565/74728641993703043, c_0011_9 + 92769556770727983/1195658271899248688*c_1001_2^13 + 457295056296520331/1195658271899248688*c_1001_2^12 + 524333711994529111/1195658271899248688*c_1001_2^11 - 234932576285914587/298914567974812172*c_1001_2^10 - 3812673501916860171/1195658271899248688*c_1001_2^9 - 6928957522174259765/1195658271899248688*c_1001_2^8 - 8625717760934469533/1195658271899248688*c_1001_2^7 - 4505747558718764297/597829135949624344*c_1001_2^6 - 12295458967194183359/1195658271899248688*c_1001_2^5 - 12672430369596111609/1195658271899248688*c_1001_2^4 - 3101900836050530573/1195658271899248688*c_1001_2^3 - 15892998325362593/16157544214854712*c_1001_2^2 - 166147569769585675/74728641993703043*c_1001_2 - 103497243409787474/74728641993703043, c_0101_10 - 136873057353419385/1195658271899248688*c_1001_2^13 - 925528405995627089/1195658271899248688*c_1001_2^12 - 2702784649648299325/1195658271899248688*c_1001_2^11 - 313371514234085427/74728641993703043*c_1001_2^10 - 7290881992190488571/1195658271899248688*c_1001_2^9 - 8900229371581464457/1195658271899248688*c_1001_2^8 - 10242949951023752705/1195658271899248688*c_1001_2^7 - 5763001216852899075/597829135949624344*c_1001_2^6 - 8723992530980129831/1195658271899248688*c_1001_2^5 - 3721671346992910717/1195658271899248688*c_1001_2^4 - 3616977145473529329/1195658271899248688*c_1001_2^3 - 20963576492209723/16157544214854712*c_1001_2^2 - 24154836141572644/74728641993703043*c_1001_2 + 15708777583880024/74728641993703043, c_0101_2 - 201795697945867275/1195658271899248688*c_1001_2^13 - 1388509805724530259/1195658271899248688*c_1001_2^12 - 3972463320787592943/1195658271899248688*c_1001_2^11 - 842617010869163983/149457283987406086*c_1001_2^10 - 8537786148742668545/1195658271899248688*c_1001_2^9 - 9015412479838396763/1195658271899248688*c_1001_2^8 - 9324063499698158555/1195658271899248688*c_1001_2^7 - 5316970198796757693/597829135949624344*c_1001_2^6 - 6230240179584381957/1195658271899248688*c_1001_2^5 + 2095401155299137033/1195658271899248688*c_1001_2^4 - 1293181895146955787/1195658271899248688*c_1001_2^3 - 33672831022037901/16157544214854712*c_1001_2^2 + 27459720645243712/74728641993703043*c_1001_2 + 50396576600157606/74728641993703043, c_0110_4 - 112976119040315499/1195658271899248688*c_1001_2^13 - 753109384182633923/1195658271899248688*c_1001_2^12 - 2145713788415125655/1195658271899248688*c_1001_2^11 - 478438559043391485/149457283987406086*c_1001_2^10 - 5342489878679698961/1195658271899248688*c_1001_2^9 - 6444950925310682027/1195658271899248688*c_1001_2^8 - 7798081258794639139/1195658271899248688*c_1001_2^7 - 4708402671105739421/597829135949624344*c_1001_2^6 - 7646052562198766981/1195658271899248688*c_1001_2^5 - 3908809871175676391/1195658271899248688*c_1001_2^4 - 4403540935968339939/1195658271899248688*c_1001_2^3 - 46175003570879893/16157544214854712*c_1001_2^2 - 100795877171002449/74728641993703043*c_1001_2 + 12541627316723679/74728641993703043, c_0110_9 + 3908544811221213/74728641993703043*c_1001_2^13 + 119353953791209389/298914567974812172*c_1001_2^12 + 368636418003410699/298914567974812172*c_1001_2^11 + 647135450275604151/298914567974812172*c_1001_2^10 + 398881925608807515/149457283987406086*c_1001_2^9 + 735635574678433899/298914567974812172*c_1001_2^8 + 554184412194203295/298914567974812172*c_1001_2^7 + 560756970749881243/298914567974812172*c_1001_2^6 + 52840382353523399/74728641993703043*c_1001_2^5 - 643964311445948677/298914567974812172*c_1001_2^4 - 382972704941650965/298914567974812172*c_1001_2^3 - 1233394995764749/8078772107427356*c_1001_2^2 - 28287268172935916/74728641993703043*c_1001_2 + 31038780706065929/74728641993703043, c_1001_2^14 + 59/9*c_1001_2^13 + 53/3*c_1001_2^12 + 86/3*c_1001_2^11 + 331/9*c_1001_2^10 + 125/3*c_1001_2^9 + 145/3*c_1001_2^8 + 176/3*c_1001_2^7 + 113/3*c_1001_2^6 + 17/3*c_1001_2^5 + 283/9*c_1001_2^4 + 200/9*c_1001_2^3 - 4/9*c_1001_2^2 + 16/9*c_1001_2 + 32/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB