Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 2631729227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1558 geometric_solution 5.34426289 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.656985145796 0.189951649312 0 2 2 0 3201 0132 1023 0132 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 -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 1.413400845222 0.583622513772 3 1 1 4 0132 0132 1023 0132 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 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.203520242737 0.461933509719 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 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.033768781416 1.002588970740 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -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 0 1 -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.033768781416 1.002588970740 5 4 3 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962050360660 1.030275265403 6 6 4 3 1302 2031 3201 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 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.485293832008 0.481705674938 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 91706856227388979/1122973631669226*c_0101_3^16 + 469958880130417283/2245947263338452*c_0101_3^15 + 2498283194199242333/2245947263338452*c_0101_3^14 + 1497806215760539597/2245947263338452*c_0101_3^13 - 2034751075902400538/561486815834613*c_0101_3^12 - 1304913060445847695/187162271944871*c_0101_3^11 - 101257660502110437/374324543889742*c_0101_3^10 + 1839398671922986522/187162271944871*c_0101_3^9 - 1809083731893527267/374324543889742*c_0101_3^8 - 24972262259173150505/2245947263338452*c_0101_3^7 - 3150381390815790091/374324543889742*c_0101_3^6 - 4824982067639441912/561486815834613*c_0101_3^5 - 10112494280870128037/2245947263338452*c_0101_3^4 - 789505381913957595/748649087779484*c_0101_3^3 + 223935826812974949/374324543889742*c_0101_3^2 + 183563292164297959/374324543889742*c_0101_3 + 310591813777084069/2245947263338452, c_0011_0 - 1, c_0011_1 + 524164610113677/374324543889742*c_0101_3^16 - 646986627877484/187162271944871*c_0101_3^15 - 3635243796881230/187162271944871*c_0101_3^14 - 2470882881397215/187162271944871*c_0101_3^13 + 11475502548925940/187162271944871*c_0101_3^12 + 23511132742798177/187162271944871*c_0101_3^11 + 2816760248287677/187162271944871*c_0101_3^10 - 31826468922565771/187162271944871*c_0101_3^9 + 25008617620426571/374324543889742*c_0101_3^8 + 75556130953929389/374324543889742*c_0101_3^7 + 30517604950883066/187162271944871*c_0101_3^6 + 29079981227305193/187162271944871*c_0101_3^5 + 33417134094583309/374324543889742*c_0101_3^4 + 9473461613136877/374324543889742*c_0101_3^3 - 1540932219521857/187162271944871*c_0101_3^2 - 1654226193037013/187162271944871*c_0101_3 - 428064134422665/187162271944871, c_0011_4 + 1384937991955221/748649087779484*c_0011_6*c_0101_3^16 - 825800045677148/187162271944871*c_0011_6*c_0101_3^15 - 9775826105950075/374324543889742*c_0011_6*c_0101_3^14 - 14550075378999791/748649087779484*c_0011_6*c_0101_3^13 + 15100554703462514/187162271944871*c_0011_6*c_0101_3^12 + 65079460933124669/374324543889742*c_0011_6*c_0101_3^11 + 11495100860157875/374324543889742*c_0011_6*c_0101_3^10 - 43246351668313674/187162271944871*c_0011_6*c_0101_3^9 + 49470417134765455/748649087779484*c_0011_6*c_0101_3^8 + 211583712698264421/748649087779484*c_0011_6*c_0101_3^7 + 88746616095474561/374324543889742*c_0011_6*c_0101_3^6 + 157572050385670889/748649087779484*c_0011_6*c_0101_3^5 + 23367357667302201/187162271944871*c_0011_6*c_0101_3^4 + 21554281208079597/748649087779484*c_0011_6*c_0101_3^3 - 3274366307216804/187162271944871*c_0011_6*c_0101_3^2 - 11346672910018213/748649087779484*c_0011_6*c_0101_3 - 3101038809003831/748649087779484*c_0011_6, c_0011_6^2 - 315960307859701/374324543889742*c_0101_3^16 + 817842030904367/374324543889742*c_0101_3^15 + 2180575794520116/187162271944871*c_0101_3^14 + 2234599234708949/374324543889742*c_0101_3^13 - 7544827368136869/187162271944871*c_0101_3^12 - 13386209949523278/187162271944871*c_0101_3^11 + 1758303089821769/187162271944871*c_0101_3^10 + 21624306490735867/187162271944871*c_0101_3^9 - 22702369406005215/374324543889742*c_0101_3^8 - 26164199986204273/187162271944871*c_0101_3^7 - 21903541899863857/374324543889742*c_0101_3^6 - 22608929912893263/374324543889742*c_0101_3^5 - 7747991874643249/187162271944871*c_0101_3^4 + 769952118582394/187162271944871*c_0101_3^3 + 3886372580535509/374324543889742*c_0101_3^2 + 716969036900077/374324543889742*c_0101_3 - 115906435590431/374324543889742, c_0101_0 + 165602356147854/187162271944871*c_0101_3^16 - 1959267929718555/748649087779484*c_0101_3^15 - 8274846965446553/748649087779484*c_0101_3^14 - 2014663312392623/748649087779484*c_0101_3^13 + 7605448289862394/187162271944871*c_0101_3^12 + 11004527447891441/187162271944871*c_0101_3^11 - 8380782147409531/374324543889742*c_0101_3^10 - 18226916202522741/187162271944871*c_0101_3^9 + 18061063448235395/187162271944871*c_0101_3^8 + 64187771516199455/748649087779484*c_0101_3^7 + 17268349349989203/374324543889742*c_0101_3^6 + 28414004981739593/374324543889742*c_0101_3^5 + 19537578645768273/748649087779484*c_0101_3^4 + 684801039689755/748649087779484*c_0101_3^3 - 900375202965215/374324543889742*c_0101_3^2 - 278165490784806/187162271944871*c_0101_3 - 58165934291467/748649087779484, c_0101_2 + 228420872911041/374324543889742*c_0101_3^16 - 629805749645327/374324543889742*c_0101_3^15 - 2957633781264927/374324543889742*c_0101_3^14 - 1371335117351749/374324543889742*c_0101_3^13 + 4996884281569212/187162271944871*c_0101_3^12 + 8666066453714562/187162271944871*c_0101_3^11 - 622680917473644/187162271944871*c_0101_3^10 - 12363084913510676/187162271944871*c_0101_3^9 + 18261556384680207/374324543889742*c_0101_3^8 + 11911768682423481/187162271944871*c_0101_3^7 + 10489548953924286/187162271944871*c_0101_3^6 + 12021584138217295/187162271944871*c_0101_3^5 + 5691140059445993/187162271944871*c_0101_3^4 + 1518210528109279/187162271944871*c_0101_3^3 - 347251552783706/187162271944871*c_0101_3^2 - 423821340889970/187162271944871*c_0101_3 - 281997025829571/374324543889742, c_0101_3^17 - 2*c_0101_3^16 - 15*c_0101_3^15 - 16*c_0101_3^14 + 39*c_0101_3^13 + 110*c_0101_3^12 + 54*c_0101_3^11 - 114*c_0101_3^10 - 9*c_0101_3^9 + 163*c_0101_3^8 + 185*c_0101_3^7 + 169*c_0101_3^6 + 120*c_0101_3^5 + 50*c_0101_3^4 + 3*c_0101_3^3 - 9*c_0101_3^2 - 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB