Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 812755987] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s355 geometric_solution 4.56564342 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 1.485229480927 0.415681760913 0 2 3 0 3201 0132 0132 0132 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 1 -1 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.900126666039 0.387385104653 3 1 3 4 2103 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677131580030 0.661452738207 2 4 2 1 2031 1023 2103 0132 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 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.677131580030 0.661452738207 3 5 2 5 1023 0132 0132 1023 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 -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.670539691131 0.731629828886 5 4 5 4 2031 0132 1302 1023 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.529878338059 0.147046658595 ==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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0110_5'], 'c_1001_4' : d['c_0110_4'], 'c_1001_1' : d['c_0110_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], '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_3, c_0101_0, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 5799214079080/415338004233*c_0110_5^14 + 14819545210444/415338004233*c_0110_5^13 + 16931509367315/415338004233*c_0110_5^12 + 56874450152299/415338004233*c_0110_5^11 - 42157565497928/415338004233*c_0110_5^10 - 378632011915649/415338004233*c_0110_5^9 - 317246926687129/415338004233*c_0110_5^8 + 2674215550104/46148667137*c_0110_5^7 - 161118854272984/415338004233*c_0110_5^6 - 450040094143595/415338004233*c_0110_5^5 - 49383191960437/138446001411*c_0110_5^4 + 79836612608671/138446001411*c_0110_5^3 + 111713438589157/415338004233*c_0110_5^2 - 48521656353679/415338004233*c_0110_5 - 20395741196411/415338004233, c_0011_0 - 1, c_0011_1 + 22854235444/46148667137*c_0110_5^14 + 52089404761/46148667137*c_0110_5^13 + 51663785688/46148667137*c_0110_5^12 + 209179238505/46148667137*c_0110_5^11 - 225480172212/46148667137*c_0110_5^10 - 1434587794185/46148667137*c_0110_5^9 - 840280894698/46148667137*c_0110_5^8 + 347853785837/46148667137*c_0110_5^7 - 707679150591/46148667137*c_0110_5^6 - 1575592519748/46148667137*c_0110_5^5 - 176418100285/46148667137*c_0110_5^4 + 1005799254369/46148667137*c_0110_5^3 + 132659279490/46148667137*c_0110_5^2 - 280346880358/46148667137*c_0110_5 - 31899385817/46148667137, c_0011_3 + 21879733353/46148667137*c_0110_5^14 + 61724639843/46148667137*c_0110_5^13 + 77803765829/46148667137*c_0110_5^12 + 230784783044/46148667137*c_0110_5^11 - 100268368096/46148667137*c_0110_5^10 - 1475705531816/46148667137*c_0110_5^9 - 1552410954128/46148667137*c_0110_5^8 - 176654067367/46148667137*c_0110_5^7 - 650175985869/46148667137*c_0110_5^6 - 1937215913241/46148667137*c_0110_5^5 - 995738318249/46148667137*c_0110_5^4 + 763357966322/46148667137*c_0110_5^3 + 573051194897/46148667137*c_0110_5^2 - 140942353545/46148667137*c_0110_5 - 74258539761/46148667137, c_0101_0 - 61280941297/46148667137*c_0110_5^14 - 155372813471/46148667137*c_0110_5^13 - 176179319364/46148667137*c_0110_5^12 - 601020443051/46148667137*c_0110_5^11 + 451651484960/46148667137*c_0110_5^10 + 3983897385181/46148667137*c_0110_5^9 + 3253115745139/46148667137*c_0110_5^8 - 260577231116/46148667137*c_0110_5^7 + 1871910445374/46148667137*c_0110_5^6 + 4763391537644/46148667137*c_0110_5^5 + 1435259899201/46148667137*c_0110_5^4 - 2429630572763/46148667137*c_0110_5^3 - 1013263897436/46148667137*c_0110_5^2 + 494843430202/46148667137*c_0110_5 + 156851423013/46148667137, c_0110_4 - 38336350367/46148667137*c_0110_5^14 - 96005313949/46148667137*c_0110_5^13 - 113665048034/46148667137*c_0110_5^12 - 382622977100/46148667137*c_0110_5^11 + 283287451899/46148667137*c_0110_5^10 + 2426767301360/46148667137*c_0110_5^9 + 2055922170590/46148667137*c_0110_5^8 + 78193120931/46148667137*c_0110_5^7 + 1249145488920/46148667137*c_0110_5^6 + 2953472819585/46148667137*c_0110_5^5 + 1055708522223/46148667137*c_0110_5^4 - 1299592096845/46148667137*c_0110_5^3 - 589558515770/46148667137*c_0110_5^2 + 225477836993/46148667137*c_0110_5 + 84992188031/46148667137, c_0110_5^15 + 3*c_0110_5^14 + 4*c_0110_5^13 + 11*c_0110_5^12 - 3*c_0110_5^11 - 69*c_0110_5^10 - 83*c_0110_5^9 - 17*c_0110_5^8 - 25*c_0110_5^7 - 91*c_0110_5^6 - 58*c_0110_5^5 + 33*c_0110_5^4 + 37*c_0110_5^3 - 2*c_0110_5^2 - 7*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB