Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 4189611487] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s110 geometric_solution 3.98110862 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559652334733 0.069492313304 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.680655550697 0.149009546074 1 3 1 4 0132 0132 1023 0132 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 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.295037822842 1.076856656627 4 2 4 5 3201 0132 2310 0132 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 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.016895971954 1.711552994398 5 3 2 3 1023 3201 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 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 -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.016895971954 1.711552994398 5 4 3 5 3012 1023 0132 1230 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 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.488855029218 0.302307243416 ==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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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_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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 509686028983220929/5296408867202321*c_0101_3^14 + 8310060247252488383/10592817734404642*c_0101_3^13 + 7520133986175425787/5296408867202321*c_0101_3^12 - 27735777028187087333/10592817734404642*c_0101_3^11 - 33364287558272418861/10592817734404642*c_0101_3^10 - 34147652116486343069/5296408867202321*c_0101_3^9 - 33658288942028594735/10592817734404642*c_0101_3^8 + 152241510689163398889/10592817734404642*c_0101_3^7 - 19716786881632771593/5296408867202321*c_0101_3^6 + 2438695597127605506/481491715200211*c_0101_3^5 + 33581680758854571297/10592817734404642*c_0101_3^4 - 61876496957605165225/10592817734404642*c_0101_3^3 + 13896843339725590993/10592817734404642*c_0101_3^2 - 26169465119272462043/10592817734404642*c_0101_3 + 7220735721510920497/10592817734404642, c_0011_0 - 1, c_0011_1 - 77230944382997/481491715200211*c_0101_3^14 + 1137682797844321/962983430400422*c_0101_3^13 + 1559934566174256/481491715200211*c_0101_3^12 - 1331440527330791/962983430400422*c_0101_3^11 - 5104531401198481/962983430400422*c_0101_3^10 - 7756283597287960/481491715200211*c_0101_3^9 - 19661499641467599/962983430400422*c_0101_3^8 + 3591756724534411/962983430400422*c_0101_3^7 - 3249448001002919/481491715200211*c_0101_3^6 + 4864994963055102/481491715200211*c_0101_3^5 + 12288584009427347/962983430400422*c_0101_3^4 - 170705318665287/962983430400422*c_0101_3^3 + 5453431973031799/962983430400422*c_0101_3^2 - 1100085857341675/962983430400422*c_0101_3 + 159856608017571/962983430400422, c_0011_4 - 17107712442041/481491715200211*c_0101_3^14 + 289649854711379/962983430400422*c_0101_3^13 + 214238429123174/481491715200211*c_0101_3^12 - 1164871531135529/962983430400422*c_0101_3^11 - 1084696663671921/962983430400422*c_0101_3^10 - 1011978737155523/481491715200211*c_0101_3^9 - 134668228542647/962983430400422*c_0101_3^8 + 6965551201254661/962983430400422*c_0101_3^7 - 296512167906037/481491715200211*c_0101_3^6 + 1638866790915359/481491715200211*c_0101_3^5 + 1249263183080569/962983430400422*c_0101_3^4 - 4618104461394283/962983430400422*c_0101_3^3 - 188536709505079/962983430400422*c_0101_3^2 - 1470216760131413/962983430400422*c_0101_3 - 172438299236851/962983430400422, c_0101_0 - 103003956566599/1925966860800844*c_0101_3^14 + 719706364857993/1925966860800844*c_0101_3^13 + 2408888319328869/1925966860800844*c_0101_3^12 - 191197757020293/962983430400422*c_0101_3^11 - 4812795032864797/1925966860800844*c_0101_3^10 - 11263325527026229/1925966860800844*c_0101_3^9 - 7060263048012509/962983430400422*c_0101_3^8 + 1701184427817969/1925966860800844*c_0101_3^7 + 368570231302252/481491715200211*c_0101_3^6 + 505359753147913/1925966860800844*c_0101_3^5 + 1239743327896881/481491715200211*c_0101_3^4 + 1127865012018929/481491715200211*c_0101_3^3 - 77735086636829/481491715200211*c_0101_3^2 + 39123968833332/481491715200211*c_0101_3 + 1454592670603553/1925966860800844, c_0101_1 - 144258440635861/1925966860800844*c_0101_3^14 + 1009356278918895/1925966860800844*c_0101_3^13 + 3389081140549675/1925966860800844*c_0101_3^12 - 390903489442617/962983430400422*c_0101_3^11 - 7010839497702103/1925966860800844*c_0101_3^10 - 15128523849432007/1925966860800844*c_0101_3^9 - 9673645420543967/962983430400422*c_0101_3^8 + 4640717558699867/1925966860800844*c_0101_3^7 + 656375149357157/481491715200211*c_0101_3^6 - 1897182488261333/1925966860800844*c_0101_3^5 + 2544411465025767/481491715200211*c_0101_3^4 + 920346518294342/481491715200211*c_0101_3^3 + 398977484235970/481491715200211*c_0101_3^2 + 164958745677541/481491715200211*c_0101_3 + 694915419593611/1925966860800844, c_0101_3^15 - 8*c_0101_3^14 - 16*c_0101_3^13 + 25*c_0101_3^12 + 37*c_0101_3^11 + 72*c_0101_3^10 + 43*c_0101_3^9 - 145*c_0101_3^8 + 15*c_0101_3^7 - 47*c_0101_3^6 - 41*c_0101_3^5 + 56*c_0101_3^4 - 4*c_0101_3^3 + 24*c_0101_3^2 - 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB