Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 290491701] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s283 geometric_solution 4.45297642 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 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.331850742837 0.213142967837 2 0 3 0 0132 2310 0132 0132 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 0 0 1 -1 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.534813243427 1.157068126084 1 4 3 3 0132 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.228250606856 0.722787923600 2 2 4 1 3201 0213 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -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 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.228250606856 0.722787923600 3 2 5 5 2310 0132 2310 0132 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 1.673930593627 2.138948289310 5 4 4 5 3201 3201 0132 2310 0 0 0 0 0 -1 0 1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.545474124957 0.265771194815 ==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_5'], 'c_1100_4' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 460360754688430024/19012109474554083*c_0101_4^15 - 172977248689149464/6337369824851361*c_0101_4^14 - 2381814915538902104/19012109474554083*c_0101_4^13 - 1706035612718214922/19012109474554083*c_0101_4^12 - 1680173075017890464/19012109474554083*c_0101_4^11 - 2248801428988317362/6337369824851361*c_0101_4^10 + 20228644223824881118/19012109474554083*c_0101_4^9 - 19766850871666008970/19012109474554083*c_0101_4^8 + 20550212765845090520/19012109474554083*c_0101_4^7 + 29857134046484306605/19012109474554083*c_0101_4^6 - 1722280135499284778/19012109474554083*c_0101_4^5 - 513609742897891738/19012109474554083*c_0101_4^4 + 3061205490516331261/2112456608283787*c_0101_4^3 + 23927337281510207552/19012109474554083*c_0101_4^2 - 4373457392651653807/2112456608283787*c_0101_4 + 9544727285455451333/19012109474554083, c_0011_0 - 1, c_0011_1 + 388330971117499/6337369824851361*c_0101_4^15 + 510113994763324/6337369824851361*c_0101_4^14 + 2043951667668286/6337369824851361*c_0101_4^13 + 1686653853173062/6337369824851361*c_0101_4^12 + 468733638165933/2112456608283787*c_0101_4^11 + 5577993694450858/6337369824851361*c_0101_4^10 - 15990675016173035/6337369824851361*c_0101_4^9 + 13360324612582600/6337369824851361*c_0101_4^8 - 12509294215597285/6337369824851361*c_0101_4^7 - 26698796143257499/6337369824851361*c_0101_4^6 - 5673476714983358/6337369824851361*c_0101_4^5 + 2804629206318496/6337369824851361*c_0101_4^4 - 19538560171307240/6337369824851361*c_0101_4^3 - 8789041633763281/2112456608283787*c_0101_4^2 + 25009286684291081/6337369824851361*c_0101_4 + 1632019731904679/6337369824851361, c_0011_3 - 512020483246445/19012109474554083*c_0101_4^15 - 118430881332025/2112456608283787*c_0101_4^14 - 3277525514884855/19012109474554083*c_0101_4^13 - 4562091232093772/19012109474554083*c_0101_4^12 - 4399565924898232/19012109474554083*c_0101_4^11 - 1166047519629621/2112456608283787*c_0101_4^10 + 12941962875320945/19012109474554083*c_0101_4^9 - 4479833926105175/19012109474554083*c_0101_4^8 + 2814374930063026/19012109474554083*c_0101_4^7 + 51136491441623255/19012109474554083*c_0101_4^6 + 40979261793758435/19012109474554083*c_0101_4^5 + 7878785583106381/19012109474554083*c_0101_4^4 + 12423073416183820/6337369824851361*c_0101_4^3 + 66838480568519320/19012109474554083*c_0101_4^2 - 1969129543039570/6337369824851361*c_0101_4 - 14520735918426173/19012109474554083, c_0011_5 + 1701106811428432/19012109474554083*c_0101_4^15 + 296886472298365/2112456608283787*c_0101_4^14 + 9734530280410424/19012109474554083*c_0101_4^13 + 10066591459772101/19012109474554083*c_0101_4^12 + 8970733619872463/19012109474554083*c_0101_4^11 + 2981887826624679/2112456608283787*c_0101_4^10 - 64378401067260382/19012109474554083*c_0101_4^9 + 42156581905934098/19012109474554083*c_0101_4^8 - 47057072486636120/19012109474554083*c_0101_4^7 - 128337728108594383/19012109474554083*c_0101_4^6 - 42612899525577496/19012109474554083*c_0101_4^5 - 6047236093532612/19012109474554083*c_0101_4^4 - 28804245741930380/6337369824851361*c_0101_4^3 - 130237813692598526/19012109474554083*c_0101_4^2 + 28639272820672487/6337369824851361*c_0101_4 + 5331196757734960/19012109474554083, c_0101_1 - 2501275344159163/19012109474554083*c_0101_4^15 - 1130908509817463/6337369824851361*c_0101_4^14 - 13768185561068345/19012109474554083*c_0101_4^13 - 12421859426729731/19012109474554083*c_0101_4^12 - 12160070439070004/19012109474554083*c_0101_4^11 - 13056912752130932/6337369824851361*c_0101_4^10 + 101171634934389094/19012109474554083*c_0101_4^9 - 84140712788151175/19012109474554083*c_0101_4^8 + 95548151950628093/19012109474554083*c_0101_4^7 + 178395029754778450/19012109474554083*c_0101_4^6 + 36224895224220865/19012109474554083*c_0101_4^5 - 24295886959594/19012109474554083*c_0101_4^4 + 17046312428752853/2112456608283787*c_0101_4^3 + 171471127781191370/19012109474554083*c_0101_4^2 - 19395359931594030/2112456608283787*c_0101_4 + 14749675680583061/19012109474554083, c_0101_4^16 + c_0101_4^15 + 5*c_0101_4^14 + 3*c_0101_4^13 + 3*c_0101_4^12 + 14*c_0101_4^11 - 46*c_0101_4^10 + 48*c_0101_4^9 - 49*c_0101_4^8 - 60*c_0101_4^7 + 13*c_0101_4^6 + 3*c_0101_4^5 - 59*c_0101_4^4 - 44*c_0101_4^3 + 94*c_0101_4^2 - 29*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB