Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 2682127257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s583 geometric_solution 5.04858018 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 0132 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 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.451031599372 0.331306276414 3 2 4 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559894084973 1.057833040997 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 1 -1 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 -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.559894084973 1.057833040997 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811014308742 1.100759826772 5 2 5 1 0132 2310 1023 0132 0 0 0 0 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 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.725509393521 1.773701697197 4 5 4 5 0132 1302 1023 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417706877100 0.180542895269 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : 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_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 888299483172265051276300724/20948351374446257640577423*c_0101_4^18 + 5230315439669631986232598885/41896702748892515281154846*c_0101_4^17 - 23244619702820413981480991147/20948351374446257640577423*c_0101_4\ ^16 - 2288502605102820342569261589/891419207423245005982018*c_0101_\ 4^15 + 105637574911719382616317393515/41896702748892515281154846*c_\ 0101_4^14 + 81569336574150339712971490725/2094835137444625764057742\ 3*c_0101_4^13 - 161928417951693582600824756105/20948351374446257640\ 577423*c_0101_4^12 + 53277632757698147444412611839/4189670274889251\ 5281154846*c_0101_4^11 + 969486656460525397061084823505/41896702748\ 892515281154846*c_0101_4^10 + 155038106486294306168361783301/418967\ 02748892515281154846*c_0101_4^9 - 336854189511466432623571152934/20\ 948351374446257640577423*c_0101_4^8 - 25016441065503537882935354472/20948351374446257640577423*c_0101_4^7 - 143577530996482981282693160605/41896702748892515281154846*c_0101_\ 4^6 - 230236250884913349906434117710/20948351374446257640577423*c_0\ 101_4^5 - 220100364416999537215314606657/41896702748892515281154846\ *c_0101_4^4 + 646143313365474319207023140/2094835137444625764057742\ 3*c_0101_4^3 + 5810638073902915380524557743/20948351374446257640577\ 423*c_0101_4^2 - 24150753230668467179328900948/20948351374446257640\ 577423*c_0101_4 + 33117514863232028971158182489/4189670274889251528\ 1154846, c_0011_0 - 1, c_0011_1 - 633016302826974602740175/20948351374446257640577423*c_0101_4\ ^18 - 2314454406111820060319309/20948351374446257640577423*c_0101_4\ ^17 + 15133779473442339500711593/20948351374446257640577423*c_0101_\ 4^16 + 1060089551541838388718582/445709603711622502991009*c_0101_4^\ 15 - 7495425549034267044338521/20948351374446257640577423*c_0101_4^\ 14 - 78755261580155265069700929/20948351374446257640577423*c_0101_4\ ^13 + 63626422364358080666108557/20948351374446257640577423*c_0101_\ 4^12 + 54083341096204796614543747/20948351374446257640577423*c_0101\ _4^11 - 321652151437743762667050564/20948351374446257640577423*c_01\ 01_4^10 - 316292505361631752314145626/20948351374446257640577423*c_\ 0101_4^9 + 116840547208044409109900613/20948351374446257640577423*c\ _0101_4^8 + 236784227947369347507463858/20948351374446257640577423*\ c_0101_4^7 + 128434509246629794571521028/20948351374446257640577423\ *c_0101_4^6 + 109854379054415512653026379/2094835137444625764057742\ 3*c_0101_4^5 + 202897757858261293330949993/209483513744462576405774\ 23*c_0101_4^4 + 121955350526318127990422299/20948351374446257640577\ 423*c_0101_4^3 - 25419490331116190307576820/20948351374446257640577\ 423*c_0101_4^2 + 6167842488064090829215790/209483513744462576405774\ 23*c_0101_4 + 2689475382293989853812047/20948351374446257640577423, c_0011_4 - 1513564301549396985956070/20948351374446257640577423*c_0101_\ 4^18 - 4947056714996489632530415/20948351374446257640577423*c_0101_\ 4^17 + 38318618798091162135266611/20948351374446257640577423*c_0101\ _4^16 + 2231548192147336266061720/445709603711622502991009*c_0101_4\ ^15 - 64301734706906868938367375/20948351374446257640577423*c_0101_\ 4^14 - 175297229545474310111508125/20948351374446257640577423*c_010\ 1_4^13 + 235988845567155413628429817/20948351374446257640577423*c_0\ 101_4^12 + 42890600015604360053516288/20948351374446257640577423*c_\ 0101_4^11 - 851236820749701141039480092/20948351374446257640577423*\ c_0101_4^10 - 376900987508707332371155423/2094835137444625764057742\ 3*c_0101_4^9 + 562157378120711823698825695/209483513744462576405774\ 23*c_0101_4^8 + 249686262928005773147607024/20948351374446257640577\ 423*c_0101_4^7 + 181706864415381632147395264/2094835137444625764057\ 7423*c_0101_4^6 + 411686979176617631075883082/209483513744462576405\ 77423*c_0101_4^5 + 241564874297129070435913144/20948351374446257640\ 577423*c_0101_4^4 + 31547799738717263087810535/20948351374446257640\ 577423*c_0101_4^3 - 29867145228725472063361584/20948351374446257640\ 577423*c_0101_4^2 + 26019453468197837930817433/20948351374446257640\ 577423*c_0101_4 - 18412981261195231569966789/2094835137444625764057\ 7423, c_0101_1 - 1240576118965124684620469/20948351374446257640577423*c_0101_\ 4^18 - 3595656658928149993385420/20948351374446257640577423*c_0101_\ 4^17 + 32663862021410941195099639/20948351374446257640577423*c_0101\ _4^16 + 1571994554554213201678341/445709603711622502991009*c_0101_4\ ^15 - 77595307255895077334470159/20948351374446257640577423*c_0101_\ 4^14 - 116697444977199954941200411/20948351374446257640577423*c_010\ 1_4^13 + 222854274409856880437509484/20948351374446257640577423*c_0\ 101_4^12 - 34930665601471568491651204/20948351374446257640577423*c_\ 0101_4^11 - 663787013943546027841616242/20948351374446257640577423*\ c_0101_4^10 - 108481172948287764438024792/2094835137444625764057742\ 3*c_0101_4^9 + 496823179017015816316039019/209483513744462576405774\ 23*c_0101_4^8 + 112493997742914586610042126/20948351374446257640577\ 423*c_0101_4^7 + 98553606933176485698846211/20948351374446257640577\ 423*c_0101_4^6 + 244293126179465229550374472/2094835137444625764057\ 7423*c_0101_4^5 + 144376425368573883772443915/209483513744462576405\ 77423*c_0101_4^4 - 34704866124666598242936188/209483513744462576405\ 77423*c_0101_4^3 - 62616770781298160842717571/209483513744462576405\ 77423*c_0101_4^2 + 22998299791968749094098609/209483513744462576405\ 77423*c_0101_4 - 18425764645598014470772162/20948351374446257640577\ 423, c_0101_2 + 837610348613050641864511/20948351374446257640577423*c_0101_4\ ^18 + 2096101631540461875405359/20948351374446257640577423*c_0101_4\ ^17 - 23517724631542600042044313/20948351374446257640577423*c_0101_\ 4^16 - 908275894719602641748877/445709603711622502991009*c_0101_4^1\ 5 + 85206744177436705812004467/20948351374446257640577423*c_0101_4^\ 14 + 90089072930899789046814211/20948351374446257640577423*c_0101_4\ ^13 - 210183956838065623061137405/20948351374446257640577423*c_0101\ _4^12 + 31173723221999677020602021/20948351374446257640577423*c_010\ 1_4^11 + 527487070153726993461302311/20948351374446257640577423*c_0\ 101_4^10 - 107945866001334540245673634/20948351374446257640577423*c\ _0101_4^9 - 632983315403258721293811119/20948351374446257640577423*\ c_0101_4^8 - 14513633767689387549807835/20948351374446257640577423*\ c_0101_4^7 + 146234591075058922398369199/20948351374446257640577423\ *c_0101_4^6 - 64816275663147579910924096/20948351374446257640577423\ *c_0101_4^5 + 32670054591299904970289321/20948351374446257640577423\ *c_0101_4^4 + 107690563912854893672317390/2094835137444625764057742\ 3*c_0101_4^3 + 76973951184046002043852420/2094835137444625764057742\ 3*c_0101_4^2 - 7128687734972664791371025/20948351374446257640577423\ *c_0101_4 + 4065748110715770577865978/20948351374446257640577423, c_0101_4^19 + 3*c_0101_4^18 - 26*c_0101_4^17 - 62*c_0101_4^16 + 56*c_0101_4^15 + 95*c_0101_4^14 - 177*c_0101_4^13 + 20*c_0101_4^12 + 547*c_0101_4^11 + 118*c_0101_4^10 - 373*c_0101_4^9 - 49*c_0101_4^8 - 83*c_0101_4^7 - 264*c_0101_4^6 - 139*c_0101_4^5 - 7*c_0101_4^4 + 6*c_0101_4^3 - 27*c_0101_4^2 + 17*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB