Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2800171587] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0784 geometric_solution 4.72419307 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 1 0 -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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.250217799351 0.113856865387 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.348034580322 0.328923429624 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 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.462684045272 0.746981253853 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.145394777485 0.636952758429 3 5 2 3 2310 1023 0132 3201 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 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.145394777485 0.636952758429 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.956169101240 1.332654079284 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 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 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473878342139 0.439995870380 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_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_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2296649362014469256259908/30987075660821722817189*c_0101_6^21 - 76678033398910099141780986/30987075660821722817189*c_0101_6^19 + 1939978695664063253096941981/61974151321643445634378*c_0101_6^17 - 11486695522917930585255350529/61974151321643445634378*c_0101_6^15 + 15590481847129657755174190260/30987075660821722817189*c_0101_6^13 - 14809669531066499058568049291/30987075660821722817189*c_0101_6^11 + 1582708763468475226617025047/30987075660821722817189*c_0101_6^9 - 8615975678264140590362538030/30987075660821722817189*c_0101_6^7 + 1812039943912389086984824857/30987075660821722817189*c_0101_6^5 - 251719256704092858626315651/61974151321643445634378*c_0101_6^3 + 1250767207801854460369984/30987075660821722817189*c_0101_6, c_0011_0 - 1, c_0011_4 + 2271230811311072848504/30987075660821722817189*c_0101_6^20 - 76384617595355391478364/30987075660821722817189*c_0101_6^18 + 977752578680358632573851/30987075660821722817189*c_0101_6^16 - 5912989983576201619907065/30987075660821722817189*c_0101_6^14 + 16790047544227134874238692/30987075660821722817189*c_0101_6^12 - 18318081596006244577493464/30987075660821722817189*c_0101_6^10 + 4884864708444057624887458/30987075660821722817189*c_0101_6^8 - 8659282272757856822059095/30987075660821722817189*c_0101_6^6 + 3827955978853209198809466/30987075660821722817189*c_0101_6^4 - 380460759386325539402352/30987075660821722817189*c_0101_6^2 + 20820500243591711204611/30987075660821722817189, c_0101_0 + 204737658311852812766528/30987075660821722817189*c_0101_6^21 - 6836701013857390627908912/30987075660821722817189*c_0101_6^19 + 86508016491834549600641640/30987075660821722817189*c_0101_6^17 - 512446025556741680036880830/30987075660821722817189*c_0101_6^15 + 1392257658356129881274862277/30987075660821722817189*c_0101_6^13 - 1325450650047916052931383717/30987075660821722817189*c_0101_6^11 + 141758112283943575207897939/30987075660821722817189*c_0101_6^9 - 763044907159242956582741487/30987075660821722817189*c_0101_6^7 + 165852314150780942353390941/30987075660821722817189*c_0101_6^5 - 8239642520341020039198353/30987075660821722817189*c_0101_6^3 - 171484581700355029720587/30987075660821722817189*c_0101_6, c_0101_1 + 111083451474915638678856/30987075660821722817189*c_0101_6^21 - 3709736912828853022664644/30987075660821722817189*c_0101_6^19 + 46948991454709299734083517/30987075660821722817189*c_0101_6^17 - 278196537111062364674967735/30987075660821722817189*c_0101_6^15 + 756340801388885402450472272/30987075660821722817189*c_0101_6^13 - 721691499181879193768879262/30987075660821722817189*c_0101_6^11 + 79201813455577178959380189/30987075660821722817189*c_0101_6^9 - 413985230760011155070719203/30987075660821722817189*c_0101_6^7 + 91305304124726971911990609/30987075660821722817189*c_0101_6^5 - 4778238443336996024379977/30987075660821722817189*c_0101_6^3 - 156659983553182358639851/30987075660821722817189*c_0101_6, c_0101_2 + 42212417710683189024752/30987075660821722817189*c_0101_6^21 - 1413143425546134254739192/30987075660821722817189*c_0101_6^19 + 17955004182631600403611894/30987075660821722817189*c_0101_6^17 - 107157856212947027242526290/30987075660821722817189*c_0101_6^15 + 295928820133506614992246692/30987075660821722817189*c_0101_6^13 - 297237752166743540878759949/30987075660821722817189*c_0101_6^11 + 51530828358093969319176823/30987075660821722817189*c_0101_6^9 - 159060861598711164883225493/30987075660821722817189*c_0101_6^7 + 47422580532621862678183710/30987075660821722817189*c_0101_6^5 - 4138060488282725656649106/30987075660821722817189*c_0101_6^3 - 12341720251773095771118/30987075660821722817189*c_0101_6, c_0101_3 + 69329498709409492330384/30987075660821722817189*c_0101_6^21 - 2322919207687788207094664/30987075660821722817189*c_0101_6^19 + 29555349685960300628743714/30987075660821722817189*c_0101_6^17 - 176833697388309413922971514/30987075660821722817189*c_0101_6^15 + 491012025285845770170923169/30987075660821722817189*c_0101_6^13 - 501807369934578750066491170/30987075660821722817189*c_0101_6^11 + 97937868522281764914433040/30987075660821722817189*c_0101_6^9 - 263156394544278400911003160/30987075660821722817189*c_0101_6^7 + 85384383761454633132156476/30987075660821722817189*c_0101_6^5 - 8670683611275722999798759/30987075660821722817189*c_0101_6^3 + 271593106128410588900283/30987075660821722817189*c_0101_6, c_0101_6^22 - 67/2*c_0101_6^20 + 3409/8*c_0101_6^18 - 5097/2*c_0101_6^16 + 7071*c_0101_6^14 - 57721/8*c_0101_6^12 + 1416*c_0101_6^10 - 15311/4*c_0101_6^8 + 4855/4*c_0101_6^6 - 1141/8*c_0101_6^4 + 55/8*c_0101_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB