Magma V2.19-8 Tue Aug 20 2013 16:14:29 on localhost [Seed = 3937105646] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s473 geometric_solution 4.84420034 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 1 0 -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 1.758693080626 0.376630420485 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 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.874862769736 0.882987431523 4 1 5 3 0132 0132 0132 3201 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.092642999269 0.740300732767 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 -1 0 1 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 -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.092642999269 0.740300732767 2 3 4 4 0132 3201 2031 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 -1 1 0 0 -1 1 -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.292327949578 0.576627687682 5 3 5 2 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166436140244 1.329974175631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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_3']), 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 740349178321470288/849359703899191*c_0101_4^16 + 24724177523901420984/4246798519495955*c_0101_4^15 + 124905004588467487509/8493597038991910*c_0101_4^14 + 27538559178236606771/1698719407798382*c_0101_4^13 + 4870403971058830703/8493597038991910*c_0101_4^12 - 196553065785863904983/8493597038991910*c_0101_4^11 - 62389885239803886233/1698719407798382*c_0101_4^10 - 294139785009991472303/8493597038991910*c_0101_4^9 - 103919289174491123172/4246798519495955*c_0101_4^8 - 62690947218701920968/4246798519495955*c_0101_4^7 - 77241077705512225169/8493597038991910*c_0101_4^6 - 41261920463186014419/8493597038991910*c_0101_4^5 - 3584206768008478213/1698719407798382*c_0101_4^4 - 3477708198176702048/4246798519495955*c_0101_4^3 + 59279485492299493/4246798519495955*c_0101_4^2 - 983553882620231941/8493597038991910*c_0101_4 + 123773683146587267/4246798519495955, c_0011_0 - 1, c_0011_3 - 223824661387632608/4246798519495955*c_0101_4^16 - 1461979224798919952/4246798519495955*c_0101_4^15 - 3572713461757260019/4246798519495955*c_0101_4^14 - 3710440484204713873/4246798519495955*c_0101_4^13 + 44908553010959826/849359703899191*c_0101_4^12 + 5727249112242829968/4246798519495955*c_0101_4^11 + 8601958294487728978/4246798519495955*c_0101_4^10 + 7937142020537892802/4246798519495955*c_0101_4^9 + 1113904831894489593/849359703899191*c_0101_4^8 + 669226104812386741/849359703899191*c_0101_4^7 + 2062578882226316343/4246798519495955*c_0101_4^6 + 1066869769245800724/4246798519495955*c_0101_4^5 + 461544344712836811/4246798519495955*c_0101_4^4 + 35807594570418598/849359703899191*c_0101_4^3 - 1648017686141249/849359703899191*c_0101_4^2 + 30895393833300602/4246798519495955*c_0101_4 - 7908620373844404/4246798519495955, c_0101_0 + 389286524768/4820429647555*c_0101_4^16 + 110076782422032/4820429647555*c_0101_4^15 + 729476933650239/4820429647555*c_0101_4^14 + 1849532392142243/4820429647555*c_0101_4^13 + 411412064532113/964085929511*c_0101_4^12 + 107722746289647/4820429647555*c_0101_4^11 - 2853742289323618/4820429647555*c_0101_4^10 - 4540215537690217/4820429647555*c_0101_4^9 - 864440741980350/964085929511*c_0101_4^8 - 636269811345774/964085929511*c_0101_4^7 - 2076659980003693/4820429647555*c_0101_4^6 - 1366584403585819/4820429647555*c_0101_4^5 - 770756088059026/4820429647555*c_0101_4^4 - 71148732892484/964085929511*c_0101_4^3 - 30853828519437/964085929511*c_0101_4^2 - 29931312422322/4820429647555*c_0101_4 - 22181641597501/4820429647555, c_0101_1 - 91570452805888/4820429647555*c_0101_4^16 - 148617831493376/964085929511*c_0101_4^15 - 2439888198702408/4820429647555*c_0101_4^14 - 4041220229572628/4820429647555*c_0101_4^13 - 2848877719346423/4820429647555*c_0101_4^12 + 1855471877250511/4820429647555*c_0101_4^11 + 7110304940358538/4820429647555*c_0101_4^10 + 1916902742289741/964085929511*c_0101_4^9 + 8791282721319964/4820429647555*c_0101_4^8 + 6385029793794631/4820429647555*c_0101_4^7 + 4088720435042572/4820429647555*c_0101_4^6 + 2473918636975993/4820429647555*c_0101_4^5 + 1318773561866341/4820429647555*c_0101_4^4 + 612169753742516/4820429647555*c_0101_4^3 + 226304058968154/4820429647555*c_0101_4^2 + 51170013284558/4820429647555*c_0101_4 + 26250367405417/4820429647555, c_0101_2 + 237333043840/5846242877*c_0101_4^16 + 1671435957984/5846242877*c_0101_4^15 + 4595066858516/5846242877*c_0101_4^14 + 5961475415049/5846242877*c_0101_4^13 + 1979361418302/5846242877*c_0101_4^12 - 5995548403777/5846242877*c_0101_4^11 - 12216609933250/5846242877*c_0101_4^10 - 13314802178419/5846242877*c_0101_4^9 - 10639836951782/5846242877*c_0101_4^8 - 7098000092926/5846242877*c_0101_4^7 - 4470566613303/5846242877*c_0101_4^6 - 2560811184394/5846242877*c_0101_4^5 - 1262823137041/5846242877*c_0101_4^4 - 546161648777/5846242877*c_0101_4^3 - 146200206332/5846242877*c_0101_4^2 - 57243551347/5846242877*c_0101_4 - 10694740815/5846242877, c_0101_4^17 + 13/2*c_0101_4^16 + 509/32*c_0101_4^15 + 273/16*c_0101_4^14 + 15/16*c_0101_4^13 - 729/32*c_0101_4^12 - 595/16*c_0101_4^11 - 1203/32*c_0101_4^10 - 953/32*c_0101_4^9 - 659/32*c_0101_4^8 - 443/32*c_0101_4^7 - 125/16*c_0101_4^6 - 4*c_0101_4^5 - 15/8*c_0101_4^4 - 1/2*c_0101_4^3 - 3/8*c_0101_4^2 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB