Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 2463305301] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2160 geometric_solution 5.63683783 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -2 0 2 0 0 -1 1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498810365933 0.243410901707 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 -1 -1 0 2 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881994294461 0.546728647450 1 4 5 5 0132 0132 0132 3201 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 -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.178386403049 1.324605332910 6 6 4 1 0132 3201 0132 0132 0 0 0 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 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.178386403049 1.324605332910 4 2 4 3 2310 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584175259446 0.771586769154 6 2 6 2 1302 2310 2031 0132 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 -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.659930816427 1.008872780869 3 5 3 5 0132 2031 2310 1302 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 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.659930816427 1.008872780869 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : d['1'], '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_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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 622091674151431273751/4630887415670290*c_0101_3^23 - 201054530754400108887/926177483134058*c_0101_3^22 - 11822719840597776490673/4630887415670290*c_0101_3^21 + 530601479385876805731/2315443707835145*c_0101_3^20 + 15523027397823128903027/4630887415670290*c_0101_3^19 - 184986082884062220610011/4630887415670290*c_0101_3^18 - 253717551342740286695463/4630887415670290*c_0101_3^17 + 310578389515185627480973/4630887415670290*c_0101_3^16 - 54036197288641551159847/926177483134058*c_0101_3^15 - 1818009390933888699248119/4630887415670290*c_0101_3^14 + 10010619892418576702673/87375234257930*c_0101_3^13 + 13449897358553971468857/17475046851586*c_0101_3^12 + 205948392210529073109477/4630887415670290*c_0101_3^11 - 2353721525028854881557871/4630887415670290*c_0101_3^10 + 284970374866642453236673/2315443707835145*c_0101_3^9 + 1135181839726747104504407/4630887415670290*c_0101_3^8 - 666140252838899680397389/4630887415670290*c_0101_3^7 - 43641463716886859066982/463088741567029*c_0101_3^6 + 150462675875897210657657/4630887415670290*c_0101_3^5 - 331680976519579128159/463088741567029*c_0101_3^4 - 44580860220195466467241/4630887415670290*c_0101_3^3 + 10617497840780914877777/4630887415670290*c_0101_3^2 + 4689445246382872415353/4630887415670290*c_0101_3 - 203503595801293748289/926177483134058, c_0011_0 - 1, c_0011_1 + 13225230414401/11634518543*c_0101_3^23 - 21724303479084/11634518543*c_0101_3^22 - 250560718684724/11634518543*c_0101_3^21 + 28808523570486/11634518543*c_0101_3^20 + 325636392471371/11634518543*c_0101_3^19 - 3939029946208202/11634518543*c_0101_3^18 - 5284982632434289/11634518543*c_0101_3^17 + 6681434156999800/11634518543*c_0101_3^16 - 5970274038952699/11634518543*c_0101_3^15 - 38362711545608325/11634518543*c_0101_3^14 + 12144114486707207/11634518543*c_0101_3^13 + 74945264022083771/11634518543*c_0101_3^12 + 2830115493656554/11634518543*c_0101_3^11 - 49207314573704563/11634518543*c_0101_3^10 + 12993495464496770/11634518543*c_0101_3^9 + 23269466876347989/11634518543*c_0101_3^8 - 14308823895664508/11634518543*c_0101_3^7 - 8795095295141429/11634518543*c_0101_3^6 + 3161948988801473/11634518543*c_0101_3^5 - 143560784344984/11634518543*c_0101_3^4 - 903029388022522/11634518543*c_0101_3^3 + 225334999149813/11634518543*c_0101_3^2 + 93144406149199/11634518543*c_0101_3 - 20490232648744/11634518543, c_0011_3 - 2436318492042356397/463088741567029*c_0101_3^23 + 3963278944075760046/463088741567029*c_0101_3^22 + 46242640219013172023/463088741567029*c_0101_3^21 - 4620062734350624967/463088741567029*c_0101_3^20 - 60452687769349500011/463088741567029*c_0101_3^19 + 724935997476606932649/463088741567029*c_0101_3^18 + 985512895897553292757/463088741567029*c_0101_3^17 - 1221953669961449621136/463088741567029*c_0101_3^16 + 1075259319184014475428/463088741567029*c_0101_3^15 + 7098111665778219716872/463088741567029*c_0101_3^14 - 40411718590962616729/8737523425793*c_0101_3^13 - 262166234582669266199/8737523425793*c_0101_3^12 - 692356577338525251128/463088741567029*c_0101_3^11 + 9151827341579029479687/463088741567029*c_0101_3^10 - 2296800078663873842761/463088741567029*c_0101_3^9 - 4378758641239088629721/463088741567029*c_0101_3^8 + 2618433083975552165608/463088741567029*c_0101_3^7 + 1672184004534317785706/463088741567029*c_0101_3^6 - 585461616185751581836/463088741567029*c_0101_3^5 + 18659827386949592911/463088741567029*c_0101_3^4 + 171072875377282529552/463088741567029*c_0101_3^3 - 41471202625075530029/463088741567029*c_0101_3^2 - 17853373451872582311/463088741567029*c_0101_3 + 3885335373938143808/463088741567029, c_0011_5 + 2436318492042356397/463088741567029*c_0101_3^23 - 3963278944075760046/463088741567029*c_0101_3^22 - 46242640219013172023/463088741567029*c_0101_3^21 + 4620062734350624967/463088741567029*c_0101_3^20 + 60452687769349500011/463088741567029*c_0101_3^19 - 724935997476606932649/463088741567029*c_0101_3^18 - 985512895897553292757/463088741567029*c_0101_3^17 + 1221953669961449621136/463088741567029*c_0101_3^16 - 1075259319184014475428/463088741567029*c_0101_3^15 - 7098111665778219716872/463088741567029*c_0101_3^14 + 40411718590962616729/8737523425793*c_0101_3^13 + 262166234582669266199/8737523425793*c_0101_3^12 + 692356577338525251128/463088741567029*c_0101_3^11 - 9151827341579029479687/463088741567029*c_0101_3^10 + 2296800078663873842761/463088741567029*c_0101_3^9 + 4378758641239088629721/463088741567029*c_0101_3^8 - 2618433083975552165608/463088741567029*c_0101_3^7 - 1672184004534317785706/463088741567029*c_0101_3^6 + 585461616185751581836/463088741567029*c_0101_3^5 - 18659827386949592911/463088741567029*c_0101_3^4 - 171072875377282529552/463088741567029*c_0101_3^3 + 41471202625075530029/463088741567029*c_0101_3^2 + 17853373451872582311/463088741567029*c_0101_3 - 3885335373938143808/463088741567029, c_0101_0 + 492706615360748956/463088741567029*c_0101_3^23 - 800600903724102879/463088741567029*c_0101_3^22 - 9353367801476858751/463088741567029*c_0101_3^21 + 916818865430626546/463088741567029*c_0101_3^20 + 12229340838361037114/463088741567029*c_0101_3^19 - 146579198516530975933/463088741567029*c_0101_3^18 - 199584338726137061499/463088741567029*c_0101_3^17 + 246769751426731724666/463088741567029*c_0101_3^16 - 216875347477281651719/463088741567029*c_0101_3^15 - 1435913581217980799093/463088741567029*c_0101_3^14 + 8119358064860941663/8737523425793*c_0101_3^13 + 53044928764362111295/8737523425793*c_0101_3^12 + 145622402431296990074/463088741567029*c_0101_3^11 - 1851947898957038413823/463088741567029*c_0101_3^10 + 460482390457029810933/463088741567029*c_0101_3^9 + 887722991798596303310/463088741567029*c_0101_3^8 - 528025940805210112436/463088741567029*c_0101_3^7 - 339943517562998905600/463088741567029*c_0101_3^6 + 118214433056985773438/463088741567029*c_0101_3^5 - 3371430239790258295/463088741567029*c_0101_3^4 - 34754845647635046329/463088741567029*c_0101_3^3 + 8364970031918130282/463088741567029*c_0101_3^2 + 3642729795054268680/463088741567029*c_0101_3 - 790183135348806280/463088741567029, c_0101_1 - 36725578384341/11634518543*c_0101_3^23 + 60225926354281/11634518543*c_0101_3^22 + 696009944811623/11634518543*c_0101_3^21 - 78193442283489/11634518543*c_0101_3^20 - 905480119279863/11634518543*c_0101_3^19 + 10936456831192654/11634518543*c_0101_3^18 + 14707389940161079/11634518543*c_0101_3^17 - 18530350747043358/11634518543*c_0101_3^16 + 16513065044854865/11634518543*c_0101_3^15 + 106611804040145624/11634518543*c_0101_3^14 - 33469969764566372/11634518543*c_0101_3^13 - 208355911937809449/11634518543*c_0101_3^12 - 8313359069446241/11634518543*c_0101_3^11 + 136887363034961785/11634518543*c_0101_3^10 - 35823531782567730/11634518543*c_0101_3^9 - 64870644863735348/11634518543*c_0101_3^8 + 39691447911401627/11634518543*c_0101_3^7 + 24564162586966641/11634518543*c_0101_3^6 - 8791207398800422/11634518543*c_0101_3^5 + 377500701038186/11634518543*c_0101_3^4 + 2520478462132373/11634518543*c_0101_3^3 - 625858457732644/11634518543*c_0101_3^2 - 260548586853850/11634518543*c_0101_3 + 57227445551628/11634518543, c_0101_3^24 - c_0101_3^23 - 20*c_0101_3^22 - 10*c_0101_3^21 + 26*c_0101_3^20 - 282*c_0101_3^19 - 591*c_0101_3^18 + 248*c_0101_3^17 - 127*c_0101_3^16 - 3190*c_0101_3^15 - 947*c_0101_3^14 + 6254*c_0101_3^13 + 3859*c_0101_3^12 - 3578*c_0101_3^11 - 1412*c_0101_3^10 + 2388*c_0101_3^9 + 52*c_0101_3^8 - 1360*c_0101_3^7 - 190*c_0101_3^6 + 143*c_0101_3^5 - 75*c_0101_3^4 - 27*c_0101_3^3 + 18*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB