Magma V2.19-8 Tue Aug 20 2013 16:14:49 on localhost [Seed = 762097986] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s796 geometric_solution 5.34290880 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 -1 0 0 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.385791081550 0.509995335295 0 3 2 4 0132 0132 1230 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 0 0 0 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.596342657174 0.913089386295 3 0 4 1 3201 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596342657174 0.913089386295 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.133815580835 1.138817137923 5 5 1 2 0132 2310 0132 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 -1 0 1 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.079452096558 1.610405929488 4 5 5 4 0132 1230 3012 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 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.193033017376 0.446914949374 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 915596112744763798867605/328201339847875714921*c_0110_2^18 + 1826382057426297025452135/328201339847875714921*c_0110_2^17 + 273354369554078380528386/328201339847875714921*c_0110_2^16 + 2368502739850963138196915/328201339847875714921*c_0110_2^15 - 3454621005385176552240899/328201339847875714921*c_0110_2^14 - 1635042238121657715063570/328201339847875714921*c_0110_2^13 + 4974335985325250886212614/328201339847875714921*c_0110_2^12 - 21620443107763811088415464/328201339847875714921*c_0110_2^11 - 8006151912640768324500745/328201339847875714921*c_0110_2^10 + 15547747116191684357476443/328201339847875714921*c_0110_2^9 + 10768255458734259125135928/328201339847875714921*c_0110_2^8 - 3278956647664259276510078/328201339847875714921*c_0110_2^7 - 5583493706493736939626513/328201339847875714921*c_0110_2^6 + 1681384357647148537823092/328201339847875714921*c_0110_2^5 + 1684897108568670113920160/328201339847875714921*c_0110_2^4 - 782624115507233805086104/328201339847875714921*c_0110_2^3 - 371872084450973790428556/328201339847875714921*c_0110_2^2 + 86688213003235821476911/328201339847875714921*c_0110_2 + 33631475743550760306600/328201339847875714921, c_0011_0 - 1, c_0011_4 - 178319345134956124809618/328201339847875714921*c_0110_2^18 + 298350975291415938301086/328201339847875714921*c_0110_2^17 + 186717752130930447467247/328201339847875714921*c_0110_2^16 + 434206070186380440788768/328201339847875714921*c_0110_2^15 - 516073402509912913812593/328201339847875714921*c_0110_2^14 - 586420357851057377145679/328201339847875714921*c_0110_2^13 + 954543466679425530224603/328201339847875714921*c_0110_2^12 - 3892749480710312725287720/328201339847875714921*c_0110_2^11 - 3020374944398546309481507/328201339847875714921*c_0110_2^10 + 3012280485220786488001389/328201339847875714921*c_0110_2^9 + 3081766724021402475352686/328201339847875714921*c_0110_2^8 - 295871264437571989808832/328201339847875714921*c_0110_2^7 - 1407243888009805723228898/328201339847875714921*c_0110_2^6 + 82927767692984847216496/328201339847875714921*c_0110_2^5 + 515988329295329643805377/328201339847875714921*c_0110_2^4 - 108086136300154505502879/328201339847875714921*c_0110_2^3 - 135816486890508262292115/328201339847875714921*c_0110_2^2 + 15730822860075372508160/328201339847875714921*c_0110_2 + 12316327186744665803384/328201339847875714921, c_0101_0 + 80398312604330830281891/328201339847875714921*c_0110_2^18 - 150394102515924169710492/328201339847875714921*c_0110_2^17 - 50143591536722561054106/328201339847875714921*c_0110_2^16 - 195912789611096285605134/328201339847875714921*c_0110_2^15 + 272480654191000393842698/328201339847875714921*c_0110_2^14 + 200827974385171587157553/328201339847875714921*c_0110_2^13 - 450965814405878780852816/328201339847875714921*c_0110_2^12 + 1848405370035140084630606/328201339847875714921*c_0110_2^11 + 968044717290301390039485/328201339847875714921*c_0110_2^10 - 1437525164338920385267321/328201339847875714921*c_0110_2^9 - 1099738492716670705421684/328201339847875714921*c_0110_2^8 + 254918994047026351006117/328201339847875714921*c_0110_2^7 + 562947751092790835268857/328201339847875714921*c_0110_2^6 - 116692816617248243855777/328201339847875714921*c_0110_2^5 - 187226889443575686207441/328201339847875714921*c_0110_2^4 + 68249536565258326505996/328201339847875714921*c_0110_2^3 + 42192100392042871265442/328201339847875714921*c_0110_2^2 - 8503847295255488911028/328201339847875714921*c_0110_2 - 4020760501031002903762/328201339847875714921, c_0101_1 - 219035050187628015567/11317287580961231549*c_0110_2^18 + 2724517786316265036045/11317287580961231549*c_0110_2^17 - 5145885824556995967021/11317287580961231549*c_0110_2^16 + 1372921081695121808644/11317287580961231549*c_0110_2^15 - 6934625262180627774321/11317287580961231549*c_0110_2^14 + 9821085477265860902726/11317287580961231549*c_0110_2^13 + 2400214585956679191421/11317287580961231549*c_0110_2^12 - 18127268915085131080799/11317287580961231549*c_0110_2^11 + 56104915876037989655463/11317287580961231549*c_0110_2^10 + 7144703013353230961506/11317287580961231549*c_0110_2^9 - 37163704773320827196385/11317287580961231549*c_0110_2^8 - 14731102609042469489030/11317287580961231549*c_0110_2^7 + 10566288626944801398556/11317287580961231549*c_0110_2^6 + 10400328676321509148890/11317287580961231549*c_0110_2^5 - 6967143505678730589105/11317287580961231549*c_0110_2^4 - 2077332166881397692097/11317287580961231549*c_0110_2^3 + 2483308962853306600544/11317287580961231549*c_0110_2^2 + 57315899258186859180/11317287580961231549*c_0110_2 - 213115265798078787994/11317287580961231549, c_0101_2 + 479076958056610980/5187395720619509*c_0110_2^18 - 1570104009230214744/5187395720619509*c_0110_2^17 + 1313725126290056454/5187395720619509*c_0110_2^16 - 1550810816600386451/5187395720619509*c_0110_2^15 + 3398932812590033955/5187395720619509*c_0110_2^14 - 2038862193934944478/5187395720619509*c_0110_2^13 - 2786230774352930719/5187395720619509*c_0110_2^12 + 14955113824143822171/5187395720619509*c_0110_2^11 - 11693108389278516304/5187395720619509*c_0110_2^10 - 7757967024195097388/5187395720619509*c_0110_2^9 + 5953580945702021135/5187395720619509*c_0110_2^8 + 4730570801676895331/5187395720619509*c_0110_2^7 - 942146605327235078/5187395720619509*c_0110_2^6 - 3600531029051366293/5187395720619509*c_0110_2^5 + 1383053625297451791/5187395720619509*c_0110_2^4 + 860853657057264046/5187395720619509*c_0110_2^3 - 598450235651455967/5187395720619509*c_0110_2^2 - 24654965363281728/5187395720619509*c_0110_2 + 53967841085948697/5187395720619509, c_0110_2^19 - 7/3*c_0110_2^18 + 1/9*c_0110_2^17 - 50/27*c_0110_2^16 + 121/27*c_0110_2^15 + 34/27*c_0110_2^14 - 22/3*c_0110_2^13 + 688/27*c_0110_2^12 + 59/27*c_0110_2^11 - 241/9*c_0110_2^10 - 17/3*c_0110_2^9 + 323/27*c_0110_2^8 + 170/27*c_0110_2^7 - 146/27*c_0110_2^6 - 61/27*c_0110_2^5 + 64/27*c_0110_2^4 + 7/27*c_0110_2^3 - 14/27*c_0110_2^2 + 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB