Magma V2.19-8 Wed Aug 21 2013 00:51:29 on localhost [Seed = 54859377] Type ? for help. Type -D to quit. Loading file "L11n115__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n115 geometric_solution 12.49006602 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 1 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 0 -1 1 0 0 1 -1 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642189602605 0.716252900303 0 5 6 2 0132 0132 0132 3120 0 1 1 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 0 0 0 0 0 0 0 8 -1 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479122849679 0.556457833800 1 0 3 5 3120 0132 3120 2310 0 1 1 0 0 -1 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 0 0 0 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876060009209 0.629904531208 5 7 2 0 2310 0132 3120 0132 0 1 1 0 0 0 0 0 0 0 0 0 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 0 1 1 0 0 -1 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306060334609 0.773971263246 8 9 0 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 1 -1 0 -1 0 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.935069303992 1.283007704061 2 1 3 10 3201 0132 3201 0132 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 0 0 0 0 0 0 0 7 0 0 -7 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.896582640338 0.957827452323 8 11 4 1 3120 0132 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329236729976 0.603879226784 8 3 10 9 1023 0132 3201 2103 0 1 0 1 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 1 0 -1 0 0 0 0 1 0 0 -1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722192385866 0.633295183972 4 7 12 6 0132 1023 0132 3120 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 0 0 0 1 0 -1 0 1 -1 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564427928708 0.581531912472 10 4 12 7 3201 0132 3012 2103 0 1 0 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 -1 0 1 1 0 -1 0 0 -1 0 1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496503000217 0.962229955713 7 11 5 9 2310 0213 0132 2310 0 1 1 0 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 0 0 0 0 0 0 0 0 0 7 -7 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.516832003942 0.448638837590 12 6 10 12 2103 0132 0213 3120 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 0 0 0 0 0 0 0 1 0 -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.665288339876 0.955236956864 11 9 11 8 3120 1230 2103 0132 1 1 1 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 1 -1 0 0 0 -1 1 1 7 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326704288563 0.932384639021 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_0_11' : 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_0011_10'], '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_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' : 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_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_11'], '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'], 'c_1100_12' : negation(d['c_0101_6']), '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), '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_6'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), '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_7'], 'c_0101_8' : d['c_0101_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 977989634662/46385744379*c_1001_2^9 + 41402618355119/92771488758*c_1001_2^8 - 83895021571602/15461914793*c_1001_2^7 + 220258630470980/46385744379*c_1001_2^6 + 614367015445031/92771488758*c_1001_2^5 - 144739408875626/15461914793*c_1001_2^4 + 1091913532079/15461914793*c_1001_2^3 + 25097043467270/3568134183*c_1001_2^2 - 263356400046835/46385744379*c_1001_2 + 137570065861879/92771488758, c_0011_0 - 1, c_0011_10 - 15625/902*c_1001_2^9 + 165257/451*c_1001_2^8 - 4016929/902*c_1001_2^7 + 3472933/902*c_1001_2^6 + 4824379/902*c_1001_2^5 - 6911591/902*c_1001_2^4 + 55225/451*c_1001_2^3 + 2589712/451*c_1001_2^2 - 2105435/451*c_1001_2 + 1129497/902, c_0011_11 + 106417800/5796703*c_1001_2^9 - 13489059247/34780218*c_1001_2^8 + 665846033/141383*c_1001_2^7 - 22958776821/5796703*c_1001_2^6 - 98960131883/17390109*c_1001_2^5 + 92190828201/11593406*c_1001_2^4 - 388196213/11593406*c_1001_2^3 - 69810220617/11593406*c_1001_2^2 + 83993416156/17390109*c_1001_2 - 22209491080/17390109, c_0011_12 + 41433212/17390109*c_1001_2^9 - 581510419/11593406*c_1001_2^8 + 3522439807/5796703*c_1001_2^7 - 8212389817/17390109*c_1001_2^6 - 4280568249/5796703*c_1001_2^5 + 11329869739/11593406*c_1001_2^4 + 241406911/11593406*c_1001_2^3 - 26395435733/34780218*c_1001_2^2 + 10258927942/17390109*c_1001_2 - 879900290/5796703, c_0011_3 - 4496267/34780218*c_1001_2^9 + 31435053/11593406*c_1001_2^8 - 189964646/5796703*c_1001_2^7 + 405178751/17390109*c_1001_2^6 + 226585262/5796703*c_1001_2^5 - 585784245/11593406*c_1001_2^4 - 25630887/11593406*c_1001_2^3 + 671661536/17390109*c_1001_2^2 - 538178012/17390109*c_1001_2 + 99765917/11593406, c_0101_0 - 1, c_0101_1 - 4496267/34780218*c_1001_2^9 + 31435053/11593406*c_1001_2^8 - 189964646/5796703*c_1001_2^7 + 405178751/17390109*c_1001_2^6 + 226585262/5796703*c_1001_2^5 - 585784245/11593406*c_1001_2^4 - 25630887/11593406*c_1001_2^3 + 671661536/17390109*c_1001_2^2 - 538178012/17390109*c_1001_2 + 99765917/11593406, c_0101_10 - 79957/17390109*c_1001_2^9 + 1700830/17390109*c_1001_2^8 - 6932660/5796703*c_1001_2^7 + 21075029/17390109*c_1001_2^6 + 24455357/34780218*c_1001_2^5 - 21357265/11593406*c_1001_2^4 + 9436527/11593406*c_1001_2^3 + 6564655/34780218*c_1001_2^2 - 17342473/17390109*c_1001_2 + 39967657/34780218, c_0101_2 - 79957/17390109*c_1001_2^9 + 1700830/17390109*c_1001_2^8 - 6932660/5796703*c_1001_2^7 + 21075029/17390109*c_1001_2^6 + 24455357/34780218*c_1001_2^5 - 21357265/11593406*c_1001_2^4 + 9436527/11593406*c_1001_2^3 + 6564655/34780218*c_1001_2^2 - 17342473/17390109*c_1001_2 + 39967657/34780218, c_0101_6 - 99455140/17390109*c_1001_2^9 + 2097115429/17390109*c_1001_2^8 - 8477677234/5796703*c_1001_2^7 + 20506337792/17390109*c_1001_2^6 + 30884414404/17390109*c_1001_2^5 - 13925399944/5796703*c_1001_2^4 - 143517298/5796703*c_1001_2^3 + 32087970587/17390109*c_1001_2^2 - 25323208714/17390109*c_1001_2 + 6586322453/17390109, c_0101_7 + 15625/902*c_1001_2^9 - 165257/451*c_1001_2^8 + 4016929/902*c_1001_2^7 - 3472933/902*c_1001_2^6 - 4824379/902*c_1001_2^5 + 6911591/902*c_1001_2^4 - 55225/451*c_1001_2^3 - 2589712/451*c_1001_2^2 + 2105435/451*c_1001_2 - 1129497/902, c_1001_1 - 1445451/11593406*c_1001_2^9 + 90903499/34780218*c_1001_2^8 - 183031986/5796703*c_1001_2^7 + 128034574/5796703*c_1001_2^6 + 1335056215/34780218*c_1001_2^5 - 282213490/5796703*c_1001_2^4 - 17533707/5796703*c_1001_2^3 + 445586139/11593406*c_1001_2^2 - 520835539/17390109*c_1001_2 + 129665047/17390109, c_1001_2^10 - 22*c_1001_2^9 + 275*c_1001_2^8 - 440*c_1001_2^7 - 121*c_1001_2^6 + 704*c_1001_2^5 - 381*c_1001_2^4 - 326*c_1001_2^3 + 550*c_1001_2^2 - 300*c_1001_2 + 61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.330 seconds, Total memory usage: 32.09MB