Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2244221257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0367 geometric_solution 4.41906708 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 2.298994205287 0.174590184571 0 2 2 0 0132 0132 3201 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 -1 0 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 -1.030824547064 0.711770096814 1 1 3 3 2310 0132 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 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 0.117219365167 0.250307798936 4 2 5 2 0132 2310 0132 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.660735647684 1.645547714498 3 5 5 6 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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.180388726611 0.793338995139 6 4 4 3 1023 3201 2310 0132 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 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.180388726611 0.793338995139 6 5 4 6 3201 1023 0132 2310 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 -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.272520635096 1.198529702290 ==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_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' : 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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 5149615304858/755895423779*c_0101_3^13 - 57416400035081/755895423779*c_0101_3^12 + 235224401840962/755895423779*c_0101_3^11 - 468162708495627/755895423779*c_0101_3^10 + 791683336937682/755895423779*c_0101_3^9 - 1760211473097491/755895423779*c_0101_3^8 + 1581432428689326/755895423779*c_0101_3^7 + 1962416270124507/755895423779*c_0101_3^6 - 2319059614483086/755895423779*c_0101_3^5 - 796231358327322/755895423779*c_0101_3^4 - 595782670176888/755895423779*c_0101_3^3 + 58850027251783/755895423779*c_0101_3^2 - 60873229248132/755895423779*c_0101_3 - 54825624375759/755895423779, c_0011_0 - 1, c_0011_3 + 28470337351/755895423779*c_0101_3^13 - 309986811871/755895423779*c_0101_3^12 + 1239459969332/755895423779*c_0101_3^11 - 2427776926986/755895423779*c_0101_3^10 + 4159344315620/755895423779*c_0101_3^9 - 9148500643176/755895423779*c_0101_3^8 + 7789858701035/755895423779*c_0101_3^7 + 10348440763180/755895423779*c_0101_3^6 - 11756649069497/755895423779*c_0101_3^5 - 4582817109985/755895423779*c_0101_3^4 - 2090529312810/755895423779*c_0101_3^3 + 1003877710128/755895423779*c_0101_3^2 + 64427619262/755895423779*c_0101_3 + 363500537934/755895423779, c_0011_5 + 34261208329/755895423779*c_0101_3^13 - 372236798745/755895423779*c_0101_3^12 + 1419829953464/755895423779*c_0101_3^11 - 2356434861052/755895423779*c_0101_3^10 + 3500616114479/755895423779*c_0101_3^9 - 9031456938500/755895423779*c_0101_3^8 + 4373372672540/755895423779*c_0101_3^7 + 21475621053920/755895423779*c_0101_3^6 - 9880018489082/755895423779*c_0101_3^5 - 17845326289058/755895423779*c_0101_3^4 - 7010793709655/755895423779*c_0101_3^3 - 897625530354/755895423779*c_0101_3^2 + 611112676994/755895423779*c_0101_3 - 241732216737/755895423779, c_0101_0 + 135095531993/755895423779*c_0101_3^13 - 1430030025271/755895423779*c_0101_3^12 + 5349613803290/755895423779*c_0101_3^11 - 9075514139815/755895423779*c_0101_3^10 + 14783318095949/755895423779*c_0101_3^9 - 36098435500249/755895423779*c_0101_3^8 + 18577574007263/755895423779*c_0101_3^7 + 68481459426473/755895423779*c_0101_3^6 - 28875669342200/755895423779*c_0101_3^5 - 47231015743722/755895423779*c_0101_3^4 - 33638355178327/755895423779*c_0101_3^3 - 9669326442106/755895423779*c_0101_3^2 + 16780583915/755895423779*c_0101_3 - 107095837086/755895423779, c_0101_1 - 73512748791/755895423779*c_0101_3^13 + 835284792132/755895423779*c_0101_3^12 - 3517537170736/755895423779*c_0101_3^11 + 7268885383453/755895423779*c_0101_3^10 - 12339359735681/755895423779*c_0101_3^9 + 26930785570695/755895423779*c_0101_3^8 - 26579679830144/755895423779*c_0101_3^7 - 25685905119188/755895423779*c_0101_3^6 + 39202630855177/755895423779*c_0101_3^5 + 7239810542798/755895423779*c_0101_3^4 + 4909636514870/755895423779*c_0101_3^3 - 2070891551028/755895423779*c_0101_3^2 + 941838850524/755895423779*c_0101_3 + 420489968792/755895423779, c_0101_2 + 30384373182/755895423779*c_0101_3^13 - 322103043281/755895423779*c_0101_3^12 + 1207556878704/755895423779*c_0101_3^11 - 2075712993271/755895423779*c_0101_3^10 + 3523212820290/755895423779*c_0101_3^9 - 8661255775806/755895423779*c_0101_3^8 + 4987344732973/755895423779*c_0101_3^7 + 13650198924895/755895423779*c_0101_3^6 - 3504711302804/755895423779*c_0101_3^5 - 10061969350853/755895423779*c_0101_3^4 - 11117975334068/755895423779*c_0101_3^3 - 1981465718637/755895423779*c_0101_3^2 - 430816950189/755895423779*c_0101_3 + 44451848679/755895423779, c_0101_3^14 - 11*c_0101_3^13 + 44*c_0101_3^12 - 84*c_0101_3^11 + 140*c_0101_3^10 - 319*c_0101_3^9 + 256*c_0101_3^8 + 428*c_0101_3^7 - 390*c_0101_3^6 - 226*c_0101_3^5 - 153*c_0101_3^4 - c_0101_3^3 + 5*c_0101_3^2 - 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB