Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 1343343956] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3339 geometric_solution 6.48020186 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 -1 2 -1 0 0 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 -1 0 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.655558808616 0.680593214912 0 5 4 4 0132 0132 1302 3201 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781658912375 1.520182291433 3 0 5 6 2310 0132 3120 0132 0 0 0 0 0 1 -1 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 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.579819857840 0.649514693258 5 6 2 0 3120 1023 3201 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 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.579819857840 0.649514693258 1 1 0 5 2031 2310 0132 2310 0 0 0 0 0 1 -2 1 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 0 0 -1 1 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 0.781658912375 1.520182291433 4 1 2 3 3201 0132 3120 3120 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 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.352555262705 0.362375559404 3 6 2 6 1023 1302 0132 2031 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 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.577597336465 0.516123772962 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0110_6'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} 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_4, c_0101_0, c_0101_2, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 32119061701500/510005467*c_1001_2^16 - 134242728766595/510005467*c_1001_2^15 - 406123115680622/510005467*c_1001_2^14 - 548934736577028/510005467*c_1001_2^13 + 1257941764940158/510005467*c_1001_2^12 + 4345830663909233/510005467*c_1001_2^11 + 2356795939643937/510005467*c_1001_2^10 - 5563546488843719/510005467*c_1001_2^9 - 8082884789603846/510005467*c_1001_2^8 - 447065399480787/510005467*c_1001_2^7 + 6058431715191374/510005467*c_1001_2^6 + 217281854375671/26842393*c_1001_2^5 - 285394064190855/510005467*c_1001_2^4 - 1563820676203842/510005467*c_1001_2^3 - 42241886320775/26842393*c_1001_2^2 - 179071880981343/510005467*c_1001_2 - 15515707542349/510005467, c_0011_0 - 1, c_0011_3 + 37594023020/26842393*c_1001_2^16 + 150571363732/26842393*c_1001_2^15 + 450499916662/26842393*c_1001_2^14 + 569179919200/26842393*c_1001_2^13 - 1556243031400/26842393*c_1001_2^12 - 4798280151578/26842393*c_1001_2^11 - 1984368422608/26842393*c_1001_2^10 + 6696953556052/26842393*c_1001_2^9 + 8262405169535/26842393*c_1001_2^8 - 662936511652/26842393*c_1001_2^7 - 6738191359700/26842393*c_1001_2^6 - 3741283809931/26842393*c_1001_2^5 + 762631320582/26842393*c_1001_2^4 + 1616303468939/26842393*c_1001_2^3 + 703842439944/26842393*c_1001_2^2 + 133944795617/26842393*c_1001_2 + 9455222468/26842393, c_0011_4 - 46542736360/26842393*c_1001_2^16 - 189914993056/26842393*c_1001_2^15 - 571154425354/26842393*c_1001_2^14 - 744329065558/26842393*c_1001_2^13 + 1880462334318/26842393*c_1001_2^12 + 6093217587988/26842393*c_1001_2^11 + 2877020060680/26842393*c_1001_2^10 - 8177968392216/26842393*c_1001_2^9 - 10870418532997/26842393*c_1001_2^8 + 161552951373/26842393*c_1001_2^7 + 8514110007343/26842393*c_1001_2^6 + 5228224781890/26842393*c_1001_2^5 - 696266641084/26842393*c_1001_2^4 - 2113023433365/26842393*c_1001_2^3 - 1002943002543/26842393*c_1001_2^2 - 209300351920/26842393*c_1001_2 - 16827351876/26842393, c_0101_0 - c_1001_2, c_0101_2 - 238274815145/26842393*c_1001_2^16 - 1008294407352/26842393*c_1001_2^15 - 3060584043024/26842393*c_1001_2^14 - 4213112405538/26842393*c_1001_2^13 + 9167487791836/26842393*c_1001_2^12 + 32782913175938/26842393*c_1001_2^11 + 18984914240375/26842393*c_1001_2^10 - 40873898423582/26842393*c_1001_2^9 - 62268595164702/26842393*c_1001_2^8 - 5666991051472/26842393*c_1001_2^7 + 45594893195757/26842393*c_1001_2^6 + 32769875582948/26842393*c_1001_2^5 - 1259680572878/26842393*c_1001_2^4 - 12020735426120/26842393*c_1001_2^3 - 6418767573376/26842393*c_1001_2^2 - 1476456640456/26842393*c_1001_2 - 131833125844/26842393, c_0110_6 + 292305888520/26842393*c_1001_2^16 + 1223975782912/26842393*c_1001_2^15 + 3703804700565/26842393*c_1001_2^14 + 5018088018390/26842393*c_1001_2^13 - 11427752280986/26842393*c_1001_2^12 - 39659311572848/26842393*c_1001_2^11 - 21678683372387/26842393*c_1001_2^10 + 50661836848812/26842393*c_1001_2^9 + 73980354852144/26842393*c_1001_2^8 + 4317995663692/26842393*c_1001_2^7 - 55379441289385/26842393*c_1001_2^6 - 37867099374525/26842393*c_1001_2^5 + 2577538054524/26842393*c_1001_2^4 + 14325884953029/26842393*c_1001_2^3 + 7348179650661/26842393*c_1001_2^2 + 1635337363036/26842393*c_1001_2 + 141053832518/26842393, c_1001_2^17 + 23/5*c_1001_2^16 + 72/5*c_1001_2^15 + 112/5*c_1001_2^14 - 32*c_1001_2^13 - 759/5*c_1001_2^12 - 651/5*c_1001_2^11 + 713/5*c_1001_2^10 + 1623/5*c_1001_2^9 + 597/5*c_1001_2^8 - 916/5*c_1001_2^7 - 1039/5*c_1001_2^6 - 224/5*c_1001_2^5 + 263/5*c_1001_2^4 + 227/5*c_1001_2^3 + 16*c_1001_2^2 + 14/5*c_1001_2 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB