Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 3583265035] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1464 geometric_solution 5.28534745 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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 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.661993332347 0.468017232548 0 5 5 2 0132 0132 3201 3012 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 0 0 0 0 0 1 -1 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.588905928959 0.093775467708 4 0 1 3 0321 0132 1230 1230 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 -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.014155989089 1.404239989349 2 6 6 0 3012 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803622508101 0.367269638048 2 4 0 4 0321 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.225871413768 1.167576468618 1 1 5 5 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 -1 1 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.788363075070 0.893036180286 6 3 3 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.108375130173 0.386635348022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : 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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0011_0'], '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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 279477828052971062303364535539/823044636761338791205952040625*c_010\ 1_6^14 - 486959918950748610992549758337/823044636761338791205952040\ 625*c_0101_6^13 + 2921222963976979237158501087432/82304463676133879\ 1205952040625*c_0101_6^12 - 2427536000394448638190504108199/8230446\ 36761338791205952040625*c_0101_6^11 - 287193126714055482349354851428/12662225180943673710860800625*c_0101\ _6^10 - 1151773425874364979561442115586/265498269923012513292242593\ 75*c_0101_6^9 + 88347268935133315072892929240447/823044636761338791\ 205952040625*c_0101_6^8 + 87780874587792468067473188407327/82304463\ 6761338791205952040625*c_0101_6^7 - 3325518843471668426837040448319/63311125904718368554304003125*c_010\ 1_6^6 - 136845982973900786079539008845213/8230446367613387912059520\ 40625*c_0101_6^5 + 80444872734502749028988475729437/823044636761338\ 791205952040625*c_0101_6^4 + 35763491710713727588754191537762/82304\ 4636761338791205952040625*c_0101_6^3 - 34943113205696303927191210148/5309965398460250265844851875*c_0101_6\ ^2 - 428409839221103056388765263822/32921785470453551648238081625*c\ _0101_6 + 27629973437191610832859550895699/823044636761338791205952\ 040625, c_0011_0 - 1, c_0011_3 + 384119822478492702153/28414530560322409449337*c_0101_6^14 + 771342578988783691820/28414530560322409449337*c_0101_6^13 - 3778359787207715881163/28414530560322409449337*c_0101_6^12 + 2470642153374866747112/28414530560322409449337*c_0101_6^11 + 25961884306215266587626/28414530560322409449337*c_0101_6^10 + 55108758497314138095932/28414530560322409449337*c_0101_6^9 - 102282212811680340409078/28414530560322409449337*c_0101_6^8 - 140096508134346990651640/28414530560322409449337*c_0101_6^7 + 12503657458528370159577/28414530560322409449337*c_0101_6^6 + 135639673974575218532206/28414530560322409449337*c_0101_6^5 - 48793544156391089196559/28414530560322409449337*c_0101_6^4 - 4459120727157094434810/28414530560322409449337*c_0101_6^3 + 14852943003035543194574/28414530560322409449337*c_0101_6^2 - 25108936556035749772111/28414530560322409449337*c_0101_6 - 20859639217722309607000/28414530560322409449337, c_0101_0 - 653283700815785514450/28414530560322409449337*c_0101_6^14 - 1340822192260801720421/28414530560322409449337*c_0101_6^13 + 6459826188163338129535/28414530560322409449337*c_0101_6^12 - 3570144200127518720969/28414530560322409449337*c_0101_6^11 - 45255747022588145171808/28414530560322409449337*c_0101_6^10 - 97425609571716757203106/28414530560322409449337*c_0101_6^9 + 180155873673308088982563/28414530560322409449337*c_0101_6^8 + 268257808957952351116318/28414530560322409449337*c_0101_6^7 - 34861425524935628941143/28414530560322409449337*c_0101_6^6 - 358447089049857000216693/28414530560322409449337*c_0101_6^5 + 87301729591674344818888/28414530560322409449337*c_0101_6^4 + 163325873486410323019428/28414530560322409449337*c_0101_6^3 + 23276684446926027807313/28414530560322409449337*c_0101_6^2 + 9268358455568697875085/28414530560322409449337*c_0101_6 + 31859807705383135767575/28414530560322409449337, c_0101_1 + 30654608397264814100/28414530560322409449337*c_0101_6^14 + 24838640584687170544/28414530560322409449337*c_0101_6^13 - 371729572518917494082/28414530560322409449337*c_0101_6^12 + 546638886623645686702/28414530560322409449337*c_0101_6^11 + 1813777863731008079201/28414530560322409449337*c_0101_6^10 + 2118048575119792674965/28414530560322409449337*c_0101_6^9 - 14115982650548748454394/28414530560322409449337*c_0101_6^8 - 866335429003925054301/28414530560322409449337*c_0101_6^7 + 14437756679243779179307/28414530560322409449337*c_0101_6^6 + 11725937955496277192407/28414530560322409449337*c_0101_6^5 - 42826100337230866446336/28414530560322409449337*c_0101_6^4 + 6319594130107623736366/28414530560322409449337*c_0101_6^3 + 70392305637244509155951/28414530560322409449337*c_0101_6^2 + 9454088516762899434170/28414530560322409449337*c_0101_6 - 23396431443980821226637/28414530560322409449337, c_0101_3 - 200723964653663528908/28414530560322409449337*c_0101_6^14 - 432102537704591871916/28414530560322409449337*c_0101_6^13 + 1982401005951948118536/28414530560322409449337*c_0101_6^12 - 832614215403063679366/28414530560322409449337*c_0101_6^11 - 14396592447726429181354/28414530560322409449337*c_0101_6^10 - 30918752738512219770861/28414530560322409449337*c_0101_6^9 + 54686833421866986005999/28414530560322409449337*c_0101_6^8 + 93401948688745842373054/28414530560322409449337*c_0101_6^7 - 13786513990713512555983/28414530560322409449337*c_0101_6^6 - 120620733981031785971639/28414530560322409449337*c_0101_6^5 + 20791344318397214490689/28414530560322409449337*c_0101_6^4 + 83171617232617235756844/28414530560322409449337*c_0101_6^3 - 3509458624956334331654/28414530560322409449337*c_0101_6^2 - 50809629521683294978566/28414530560322409449337*c_0101_6 + 8611068302066818167550/28414530560322409449337, c_0101_5 + 739613618236237947334/142072652801612047246685*c_0101_6^14 + 652756661294486418508/142072652801612047246685*c_0101_6^13 - 1751550281254247916718/28414530560322409449337*c_0101_6^12 + 13523805117500867370309/142072652801612047246685*c_0101_6^11 + 43103436568330655524791/142072652801612047246685*c_0101_6^10 + 9659812888420940131194/28414530560322409449337*c_0101_6^9 - 302821181725397009736997/142072652801612047246685*c_0101_6^8 - 440796175987265718192/28414530560322409449337*c_0101_6^7 + 294318010881338806145602/142072652801612047246685*c_0101_6^6 + 68862073316006182101536/142072652801612047246685*c_0101_6^5 - 538607704278486331447003/142072652801612047246685*c_0101_6^4 + 336513518801740858083936/142072652801612047246685*c_0101_6^3 + 207347357152835385666479/142072652801612047246685*c_0101_6^2 + 52899293822578304773886/142072652801612047246685*c_0101_6 - 10139954335420540163230/28414530560322409449337, c_0101_6^15 + 2*c_0101_6^14 - 10*c_0101_6^13 + 6*c_0101_6^12 + 69*c_0101_6^11 + 145*c_0101_6^10 - 283*c_0101_6^9 - 395*c_0101_6^8 + 73*c_0101_6^7 + 529*c_0101_6^6 - 162*c_0101_6^5 - 201*c_0101_6^4 - 14*c_0101_6^3 + 44*c_0101_6^2 - 90*c_0101_6 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB