Magma V2.19-8 Tue Aug 20 2013 23:39:19 on localhost [Seed = 1562065165] Type ? for help. Type -D to quit. Loading file "K13n2492__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2492 geometric_solution 10.06704669 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 -10 10 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327137015428 1.459829253611 0 5 7 6 0132 0132 0132 0132 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 -10 0 10 0 0 1 -1 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552705355214 0.618355992084 8 0 5 7 0132 0132 1230 1230 0 0 0 0 0 0 0 0 -1 0 1 0 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 1 0 -1 11 0 -11 0 0 10 0 -10 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594471775209 0.746846315756 8 9 10 0 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 10 0 0 -10 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180296778943 0.601542091665 5 8 0 10 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -10 -1 11 0 0 0 0 -11 11 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420877871700 1.323469418516 4 1 9 2 0132 0132 1023 3012 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 -11 0 0 11 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507495211450 0.739374790965 8 9 1 7 3120 2310 0132 3201 0 0 0 0 0 0 1 -1 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 0 -10 10 -11 0 1 10 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.355253312924 0.737597400555 2 6 10 1 3012 2310 2103 0132 0 0 0 0 0 -1 1 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 11 -11 0 1 0 0 -1 0 -10 0 10 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453177122100 0.567733495822 2 4 3 6 0132 0132 2103 3120 0 0 0 0 0 -1 1 0 1 0 0 -1 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 10 -10 0 -11 0 0 11 0 11 0 -11 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388387623196 0.555654487298 10 3 5 6 1230 0132 1023 3201 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 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516638954357 0.898591462362 7 9 4 3 2103 3012 0132 0132 0 0 0 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 11 -11 0 0 0 0 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180058392918 0.744990173477 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_3'], 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 'c_1100_10' : d['c_1100_0'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(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' : 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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(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_10' : d['c_0011_7'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], '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_9'], 'c_0101_8' : d['c_0011_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], '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_0011_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} 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_10, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 763814229142795/25767301112322*c_1100_0^11 - 3120765868330345/12883650556161*c_1100_0^10 + 6200899922408559/8589100370774*c_1100_0^9 - 2690498000862979/2342481919302*c_1100_0^8 + 1205582794716169/1840521508023*c_1100_0^7 + 164560377180945/4294550185387*c_1100_0^6 + 30968346390811551/8589100370774*c_1100_0^5 + 2489896390519937/1227014338682*c_1100_0^4 + 20825742300507779/12883650556161*c_1100_0^3 - 11938465239542/72788986193*c_1100_0^2 - 390653002169127/8589100370774*c_1100_0 + 147225351634987/12883650556161, c_0011_0 - 1, c_0011_10 - 127775054/832438493*c_1100_0^11 + 1098605231/832438493*c_1100_0^10 - 3405035084/832438493*c_1100_0^9 + 4925615094/832438493*c_1100_0^8 - 329355170/832438493*c_1100_0^7 - 7497760819/832438493*c_1100_0^6 - 8432293889/832438493*c_1100_0^5 - 2062998047/832438493*c_1100_0^4 + 10371459171/832438493*c_1100_0^3 + 84566789/14109127*c_1100_0^2 + 1576779293/832438493*c_1100_0 - 794070759/832438493, c_0011_3 - 66909027/832438493*c_1100_0^11 + 418151993/832438493*c_1100_0^10 - 480812561/832438493*c_1100_0^9 - 1341048496/832438493*c_1100_0^8 + 5846578874/832438493*c_1100_0^7 - 6279821213/832438493*c_1100_0^6 - 7727117282/832438493*c_1100_0^5 - 17008887480/832438493*c_1100_0^4 - 3199077842/832438493*c_1100_0^3 - 857107/14109127*c_1100_0^2 + 2416975333/832438493*c_1100_0 - 51878543/832438493, c_0011_6 - 16583354/832438493*c_1100_0^11 + 170702599/832438493*c_1100_0^10 - 614437999/832438493*c_1100_0^9 + 857937350/832438493*c_1100_0^8 + 202011902/832438493*c_1100_0^7 - 2114694926/832438493*c_1100_0^6 - 1305598491/832438493*c_1100_0^5 + 6016023381/832438493*c_1100_0^4 + 7938224181/832438493*c_1100_0^3 + 107186306/14109127*c_1100_0^2 + 206969557/832438493*c_1100_0 - 304345980/832438493, c_0011_7 + 264341031/832438493*c_1100_0^11 - 2143786793/832438493*c_1100_0^10 + 6241300938/832438493*c_1100_0^9 - 9247750430/832438493*c_1100_0^8 + 3025571638/832438493*c_1100_0^7 + 4998760192/832438493*c_1100_0^6 + 28277922987/832438493*c_1100_0^5 + 19904886446/832438493*c_1100_0^4 + 11167278838/832438493*c_1100_0^3 + 29548396/14109127*c_1100_0^2 + 414013507/832438493*c_1100_0 + 123953661/832438493, c_0101_0 - 107624451/832438493*c_1100_0^11 + 1010038211/832438493*c_1100_0^10 - 3710188798/832438493*c_1100_0^9 + 7485804585/832438493*c_1100_0^8 - 7541634996/832438493*c_1100_0^7 + 1896277741/832438493*c_1100_0^6 - 9666803681/832438493*c_1100_0^5 + 4180747681/832438493*c_1100_0^4 + 1934477477/832438493*c_1100_0^3 + 60234189/14109127*c_1100_0^2 + 1181657869/832438493*c_1100_0 + 142805538/832438493, c_0101_1 + 59567301/832438493*c_1100_0^11 - 370735752/832438493*c_1100_0^10 + 509144404/832438493*c_1100_0^9 + 464820960/832438493*c_1100_0^8 - 3024859236/832438493*c_1100_0^7 + 2428811434/832438493*c_1100_0^6 + 7398653475/832438493*c_1100_0^5 + 18414056683/832438493*c_1100_0^4 + 11947918590/832438493*c_1100_0^3 + 95716386/14109127*c_1100_0^2 - 612848077/832438493*c_1100_0 - 167593704/832438493, c_0101_10 + 134342651/832438493*c_1100_0^11 - 1045867527/832438493*c_1100_0^10 + 2854520812/832438493*c_1100_0^9 - 4055346685/832438493*c_1100_0^8 + 1623780451/832438493*c_1100_0^7 - 539705039/832438493*c_1100_0^6 + 19193403305/832438493*c_1100_0^5 + 14228923008/832438493*c_1100_0^4 + 10010137118/832438493*c_1100_0^3 - 26958822/14109127*c_1100_0^2 - 1753326256/832438493*c_1100_0 - 118880458/832438493, c_0101_2 - 264341031/832438493*c_1100_0^11 + 2143786793/832438493*c_1100_0^10 - 6241300938/832438493*c_1100_0^9 + 9247750430/832438493*c_1100_0^8 - 3025571638/832438493*c_1100_0^7 - 4998760192/832438493*c_1100_0^6 - 28277922987/832438493*c_1100_0^5 - 19904886446/832438493*c_1100_0^4 - 11167278838/832438493*c_1100_0^3 - 29548396/14109127*c_1100_0^2 - 1246452000/832438493*c_1100_0 - 123953661/832438493, c_0101_9 + 120168922/832438493*c_1100_0^11 - 999466264/832438493*c_1100_0^10 + 3072302700/832438493*c_1100_0^9 - 5051974713/832438493*c_1100_0^8 + 2919916984/832438493*c_1100_0^7 + 1385680764/832438493*c_1100_0^6 + 11244929649/832438493*c_1100_0^5 + 9345971703/832438493*c_1100_0^4 + 5386354751/832438493*c_1100_0^3 + 41543219/14109127*c_1100_0^2 - 222248208/832438493*c_1100_0 + 241967102/832438493, c_1100_0^12 - 8*c_1100_0^11 + 23*c_1100_0^10 - 35*c_1100_0^9 + 17*c_1100_0^8 + 2*c_1100_0^7 + 125*c_1100_0^6 + 88*c_1100_0^5 + 72*c_1100_0^4 + c_1100_0^3 - 2*c_1100_0^2 - 2*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB