Magma V2.19-8 Tue Aug 20 2013 16:14:40 on localhost [Seed = 559988031] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s658 geometric_solution 5.15101486 oriented_manifold CS_known 0.0000000000000000 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.626267735990 0.560655534523 0 2 3 0 3201 0132 0132 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 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.686382619278 0.522713125345 4 1 3 5 0132 0132 1302 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 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.525630495212 0.511374129742 2 5 4 1 2031 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525630495212 0.511374129742 2 4 4 3 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523442718650 1.096291168561 3 5 2 5 1023 1302 0132 2031 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 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.590628752777 0.482946151728 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], '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_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], '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' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 57636572476036/2989239319273*c_0110_5^16 + 305110072894385/2989239319273*c_0110_5^15 + 39876450246125/2989239319273*c_0110_5^14 - 592551307773082/2989239319273*c_0110_5^13 - 1045388782328577/2989239319273*c_0110_5^12 - 186707332420083/2989239319273*c_0110_5^11 + 386063563919876/2989239319273*c_0110_5^10 + 124377473893244/2989239319273*c_0110_5^9 + 90048523526195/2989239319273*c_0110_5^8 + 989101541282674/2989239319273*c_0110_5^7 - 910216822873632/2989239319273*c_0110_5^6 + 268373610016652/2989239319273*c_0110_5^5 + 1028537167300699/2989239319273*c_0110_5^4 - 943316104593621/2989239319273*c_0110_5^3 + 709435438440976/2989239319273*c_0110_5^2 - 619970561917019/2989239319273*c_0110_5 + 107028172132137/2989239319273, c_0011_0 - 1, c_0011_1 - 2639418363394/2989239319273*c_0110_5^16 + 14165159557613/2989239319273*c_0110_5^15 + 899826926447/2989239319273*c_0110_5^14 - 27752595465010/2989239319273*c_0110_5^13 - 46067188942483/2989239319273*c_0110_5^12 - 3942353490683/2989239319273*c_0110_5^11 + 19866113005058/2989239319273*c_0110_5^10 + 4688837539782/2989239319273*c_0110_5^9 + 3931140397700/2989239319273*c_0110_5^8 + 46152215025854/2989239319273*c_0110_5^7 - 45274918496203/2989239319273*c_0110_5^6 + 12452947804971/2989239319273*c_0110_5^5 + 47572560756725/2989239319273*c_0110_5^4 - 47047208402671/2989239319273*c_0110_5^3 + 30931486381005/2989239319273*c_0110_5^2 - 29111597150552/2989239319273*c_0110_5 + 7175690798252/2989239319273, c_0011_3 - 406691616357/2989239319273*c_0110_5^16 + 1614549712593/2989239319273*c_0110_5^15 + 3044545392286/2989239319273*c_0110_5^14 - 3516380711819/2989239319273*c_0110_5^13 - 12219453421803/2989239319273*c_0110_5^12 - 10620700580068/2989239319273*c_0110_5^11 - 1764725261917/2989239319273*c_0110_5^10 - 833683614666/2989239319273*c_0110_5^9 - 3556792308578/2989239319273*c_0110_5^8 + 6193163885641/2989239319273*c_0110_5^7 + 2719147594516/2989239319273*c_0110_5^6 - 4825841707867/2989239319273*c_0110_5^5 + 11716501354231/2989239319273*c_0110_5^4 + 4569520914365/2989239319273*c_0110_5^3 - 4946785026360/2989239319273*c_0110_5^2 + 4493277589158/2989239319273*c_0110_5 - 2691079478128/2989239319273, c_0101_0 - 334858790838/2989239319273*c_0110_5^16 + 2446308942367/2989239319273*c_0110_5^15 - 2808712251087/2989239319273*c_0110_5^14 - 6547694321375/2989239319273*c_0110_5^13 - 411259671402/2989239319273*c_0110_5^12 + 17124773193742/2989239319273*c_0110_5^11 + 15779772585191/2989239319273*c_0110_5^10 - 1273313996487/2989239319273*c_0110_5^9 - 6915791723337/2989239319273*c_0110_5^8 + 2699096159018/2989239319273*c_0110_5^7 - 15341813357200/2989239319273*c_0110_5^6 + 3444443381023/2989239319273*c_0110_5^5 + 7812339807963/2989239319273*c_0110_5^4 - 14819911472862/2989239319273*c_0110_5^3 + 5274379966422/2989239319273*c_0110_5^2 - 8395541548490/2989239319273*c_0110_5 + 5546966750033/2989239319273, c_0101_4 - 717731458083/2989239319273*c_0110_5^16 + 3824598838745/2989239319273*c_0110_5^15 + 3449287635/2989239319273*c_0110_5^14 - 5713223185117/2989239319273*c_0110_5^13 - 11415649550596/2989239319273*c_0110_5^12 - 5130636134467/2989239319273*c_0110_5^11 - 3076162276679/2989239319273*c_0110_5^10 - 4427565448998/2989239319273*c_0110_5^9 - 224206801378/2989239319273*c_0110_5^8 + 11584459958371/2989239319273*c_0110_5^7 - 11380328063706/2989239319273*c_0110_5^6 + 10123704819672/2989239319273*c_0110_5^5 + 8674394360699/2989239319273*c_0110_5^4 - 14692437488933/2989239319273*c_0110_5^3 + 17870066681336/2989239319273*c_0110_5^2 - 10997269459493/2989239319273*c_0110_5 + 3308597244991/2989239319273, c_0110_5^17 - 6*c_0110_5^16 + 3*c_0110_5^15 + 11*c_0110_5^14 + 11*c_0110_5^13 - 10*c_0110_5^12 - 10*c_0110_5^11 + 2*c_0110_5^10 - 16*c_0110_5^8 + 28*c_0110_5^7 - 15*c_0110_5^6 - 15*c_0110_5^5 + 29*c_0110_5^4 - 23*c_0110_5^3 + 19*c_0110_5^2 - 9*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB