Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2328565323] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0313 geometric_solution 4.34957121 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 -1 0 1 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 -1 0 1 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 2.355848758546 0.153450331195 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 1 -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.973436498645 0.497137989246 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 -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.187147786166 0.180243359872 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 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.796676766607 1.418443074824 3 6 5 5 0132 0132 0213 2310 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 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.135765897077 0.808557595767 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 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.135765897077 0.808557595767 5 4 6 6 2310 0132 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 0 0 0 0 0 0 0 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.798026854222 1.202856716416 ==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' : negation(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' : negation(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_0101_3'], '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_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_0011_5'], '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' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 319759326282522458658223/14098610515334401372375*c_0101_6^23 - 17308373348084918356359036/14098610515334401372375*c_0101_6^21 - 19509555514699853817316781/14098610515334401372375*c_0101_6^19 - 412560721313307985625155684/14098610515334401372375*c_0101_6^17 - 654834625506700531556374766/14098610515334401372375*c_0101_6^15 + 597092943582509373682691011/14098610515334401372375*c_0101_6^13 + 1378560367072535246024817037/14098610515334401372375*c_0101_6^11 + 164055535902073050146254176/14098610515334401372375*c_0101_6^9 - 626399381384610632389380842/14098610515334401372375*c_0101_6^7 - 224340017554512219436968983/14098610515334401372375*c_0101_6^5 + 35693901074631579275086686/14098610515334401372375*c_0101_6^3 + 4353358698228410741459566/14098610515334401372375*c_0101_6, c_0011_0 - 1, c_0011_3 - 143299855332112760157/14098610515334401372375*c_0101_6^22 + 7661538339486552347499/14098610515334401372375*c_0101_6^20 + 14024703751751830192954/14098610515334401372375*c_0101_6^18 + 183608748320836616218856/14098610515334401372375*c_0101_6^16 + 414996056412079059378569/14098610515334401372375*c_0101_6^14 - 237141961852964113686649/14098610515334401372375*c_0101_6^12 - 907610389607982425159558/14098610515334401372375*c_0101_6^10 - 130820700477147119859384/14098610515334401372375*c_0101_6^8 + 440614734735452975449803/14098610515334401372375*c_0101_6^6 + 123592506152737414581372/14098610515334401372375*c_0101_6^4 - 29325462052779720354349/14098610515334401372375*c_0101_6^2 + 4221495829383724257356/14098610515334401372375, c_0011_5 - 1083197280055107603449/14098610515334401372375*c_0101_6^23 + 58760003816399378647443/14098610515334401372375*c_0101_6^21 + 59142602935459881396378/14098610515334401372375*c_0101_6^19 + 1393228610889089660496042/14098610515334401372375*c_0101_6^17 + 2051175097072875191475308/14098610515334401372375*c_0101_6^15 - 2202761994598118983145493/14098610515334401372375*c_0101_6^13 - 4464352055189563122559056/14098610515334401372375*c_0101_6^11 - 157299717921010173866013/14098610515334401372375*c_0101_6^9 + 2223610567306367503432771/14098610515334401372375*c_0101_6^7 + 579160198648985501116079/14098610515334401372375*c_0101_6^5 - 217077543599839000802768/14098610515334401372375*c_0101_6^3 - 13548736953498336776333/14098610515334401372375*c_0101_6, c_0101_0 - 7396510144983487428358/14098610515334401372375*c_0101_6^23 + 399876236663707121899231/14098610515334401372375*c_0101_6^21 + 478169248325156223487876/14098610515334401372375*c_0101_6^19 + 9559937716804030140381389/14098610515334401372375*c_0101_6^17 + 15785537386017187544646686/14098610515334401372375*c_0101_6^15 - 13108688568531286480314331/14098610515334401372375*c_0101_6^13 - 32883010563710874402315602/14098610515334401372375*c_0101_6^11 - 5204364645452328142449921/14098610515334401372375*c_0101_6^9 + 14452850965151737920587507/14098610515334401372375*c_0101_6^7 + 5685627173225408473989193/14098610515334401372375*c_0101_6^5 - 618858421352375258216256/14098610515334401372375*c_0101_6^3 - 61800561004832783085361/14098610515334401372375*c_0101_6, c_0101_1 - 421881410326139348579/14098610515334401372375*c_0101_6^22 + 22849768908140178746603/14098610515334401372375*c_0101_6^20 + 24863882338234831223363/14098610515334401372375*c_0101_6^18 + 551235129693069734292457/14098610515334401372375*c_0101_6^16 + 848368206861716780123393/14098610515334401372375*c_0101_6^14 - 635467200524630787663153/14098610515334401372375*c_0101_6^12 - 1659794056880964047796026/14098610515334401372375*c_0101_6^10 - 532973019220126459033698/14098610515334401372375*c_0101_6^8 + 553729117116208399329916/14098610515334401372375*c_0101_6^6 + 426608899324504837315184/14098610515334401372375*c_0101_6^4 + 77329527817189796986197/14098610515334401372375*c_0101_6^2 - 6520982301611192863668/14098610515334401372375, c_0101_3 - 670527960137759016989/14098610515334401372375*c_0101_6^22 + 36333489277515930730223/14098610515334401372375*c_0101_6^20 + 38767074880987749770258/14098610515334401372375*c_0101_6^18 + 866891450969075590932987/14098610515334401372375*c_0101_6^16 + 1325796613077518166402238/14098610515334401372375*c_0101_6^14 - 1233327177457276282826898/14098610515334401372375*c_0101_6^12 - 2727325886056090253419441/14098610515334401372375*c_0101_6^10 - 333005373262934952649243/14098610515334401372375*c_0101_6^8 + 1134343958749304333053931/14098610515334401372375*c_0101_6^6 + 427592735645358671122544/14098610515334401372375*c_0101_6^4 - 17807412651748590879423/14098610515334401372375*c_0101_6^2 - 330128611804047212638/14098610515334401372375, c_0101_6^24 - 54*c_0101_6^22 - 68*c_0101_6^20 - 1299*c_0101_6^18 - 2216*c_0101_6^16 + 1581*c_0101_6^14 + 4515*c_0101_6^12 + 1094*c_0101_6^10 - 1818*c_0101_6^8 - 933*c_0101_6^6 - 6*c_0101_6^4 + 13*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB