Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 21011934] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1472 geometric_solution 5.28931294 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 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 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.465829305061 0.556826516724 0 0 1 1 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 0 0 0 0 0 0 0 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.658336491586 0.172002374883 3 0 0 4 0132 0132 1023 0132 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 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.151730806316 0.494633636245 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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.573152972209 1.160981744212 6 3 2 5 2310 0321 0132 2310 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 1 -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.573152972209 1.160981744212 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421673631649 0.343102924718 6 6 4 3 1230 3012 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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.877648240480 1.040353200058 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 2*c_0101_5 + 3, c_0011_0 - 1, c_0011_4 + c_0101_5, c_0011_6 + 1, c_0101_0 + c_0101_5, c_0101_1 - 1, c_0101_5^2 - c_0101_5 - 1, c_0110_5 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 10467036674158220052456066955/8096861503769805821320327*c_0110_5^29 - 113694403794103015133629997693/8096861503769805821320327*c_0110_5\ ^28 - 486319969451344759328494381669/8096861503769805821320327*c_01\ 10_5^27 - 487139403382877728995538109583/8096861503769805821320327*\ c_0110_5^26 + 2244295502904473059269693857567/809686150376980582132\ 0327*c_0110_5^25 + 8189321542994698603276727511146/8096861503769805\ 821320327*c_0110_5^24 + 11351635415602993061129173382533/8096861503\ 769805821320327*c_0110_5^23 - 278810038736180249775315351497/809686\ 1503769805821320327*c_0110_5^22 - 33976824626174500380466122894263/\ 8096861503769805821320327*c_0110_5^21 - 68435503891373040539957248574803/8096861503769805821320327*c_0110_5\ ^20 - 65981921790689306189064565696912/8096861503769805821320327*c_\ 0110_5^19 - 1141593087772411755371601710147/80968615037698058213203\ 27*c_0110_5^18 + 106139122148222963813517748630874/8096861503769805\ 821320327*c_0110_5^17 + 185163871363757372809575605052873/809686150\ 3769805821320327*c_0110_5^16 + 177474179734442078707720740350090/80\ 96861503769805821320327*c_0110_5^15 + 75542372164457126261413900418833/8096861503769805821320327*c_0110_5\ ^14 - 63519073786807842674792940313448/8096861503769805821320327*c_\ 0110_5^13 - 163819386202510167905616756892774/809686150376980582132\ 0327*c_0110_5^12 - 186465965950144818016293772503297/80968615037698\ 05821320327*c_0110_5^11 - 141241160251600002495175193714936/8096861\ 503769805821320327*c_0110_5^10 - 71380062337767693796064797488900/8\ 096861503769805821320327*c_0110_5^9 - 14305989395210805888260836619760/8096861503769805821320327*c_0110_5\ ^8 + 14544253571455226903337931683382/8096861503769805821320327*c_0\ 110_5^7 + 19978984916527739986260053884888/809686150376980582132032\ 7*c_0110_5^6 + 14576919110706787098892108212038/8096861503769805821\ 320327*c_0110_5^5 + 7577598185233381391147435565597/809686150376980\ 5821320327*c_0110_5^4 + 3016737621434075033575649471786/80968615037\ 69805821320327*c_0110_5^3 + 898938239194607141101126487481/80968615\ 03769805821320327*c_0110_5^2 + 189925286880041273960206716774/80968\ 61503769805821320327*c_0110_5 + 24739704022048343708849200759/80968\ 61503769805821320327, c_0011_0 - 1, c_0011_4 - 2442526866900053608223442121/8096861503769805821320327*c_011\ 0_5^29 + 24842244680892281338349054237/8096861503769805821320327*c_\ 0110_5^28 + 130867799651040375032895102279/809686150376980582132032\ 7*c_0110_5^27 + 201698230778665502121274657906/80968615037698058213\ 20327*c_0110_5^26 - 391442249771705922446121821440/8096861503769805\ 821320327*c_0110_5^25 - 2181096671869916116999506313327/80968615037\ 69805821320327*c_0110_5^24 - 4104970660465302749851677379571/809686\ 1503769805821320327*c_0110_5^23 - 2666313779346509828154851950710/8\ 096861503769805821320327*c_0110_5^22 + 6135737352387527772744664674291/8096861503769805821320327*c_0110_5^\ 21 + 20017152372058650823693996960365/8096861503769805821320327*c_0\ 110_5^20 + 28702688679868462088559537734349/80968615037698058213203\ 27*c_0110_5^19 + 19600125797315854267483276310245/80968615037698058\ 21320327*c_0110_5^18 - 11204786031631172159781153293392/80968615037\ 69805821320327*c_0110_5^17 - 50208356228247581753155314769487/80968\ 61503769805821320327*c_0110_5^16 - 74942310700053642136533212803601/8096861503769805821320327*c_0110_5\ ^15 - 68595616913355995735661670797041/8096861503769805821320327*c_\ 0110_5^14 - 32463029450682118162150361434524/8096861503769805821320\ 327*c_0110_5^13 + 15363973745750035547819681474896/8096861503769805\ 821320327*c_0110_5^12 + 53613975472837296410278989318600/8096861503\ 769805821320327*c_0110_5^11 + 69734410820004633317673084766616/8096\ 861503769805821320327*c_0110_5^10 + 64701609903943784899884301574530/8096861503769805821320327*c_0110_5\ ^9 + 47815884782707274197657073271016/8096861503769805821320327*c_0\ 110_5^8 + 29189257060387819036683538607326/809686150376980582132032\ 7*c_0110_5^7 + 14915682585830785611270305729497/8096861503769805821\ 320327*c_0110_5^6 + 6358919848519816926616965897096/809686150376980\ 5821320327*c_0110_5^5 + 2238379588767737114786960262180/80968615037\ 69805821320327*c_0110_5^4 + 631754140525069176091933994732/80968615\ 03769805821320327*c_0110_5^3 + 135843254457363632475855230088/80968\ 61503769805821320327*c_0110_5^2 + 20210222473232044973197555548/809\ 6861503769805821320327*c_0110_5 + 1417229195902117570677934489/8096\ 861503769805821320327, c_0011_6 - 983541117237986700987968168/8096861503769805821320327*c_0110\ _5^29 + 8516995019147960894168378156/8096861503769805821320327*c_01\ 10_5^28 + 67984209904841428092660053002/8096861503769805821320327*c\ _0110_5^27 + 159189990796762459550655494732/80968615037698058213203\ 27*c_0110_5^26 - 44660783337433282175563728637/80968615037698058213\ 20327*c_0110_5^25 - 1134564694802968573420723666390/809686150376980\ 5821320327*c_0110_5^24 - 2959748746534559349744537904878/8096861503\ 769805821320327*c_0110_5^23 - 3408335759705311073925236555066/80968\ 61503769805821320327*c_0110_5^22 + 1205100503549944600986640107888/8096861503769805821320327*c_0110_5^\ 21 + 12113755990409960141925549149990/8096861503769805821320327*c_0\ 110_5^20 + 23387092221104779201257775775829/80968615037698058213203\ 27*c_0110_5^19 + 23732877083949175387260983683141/80968615037698058\ 21320327*c_0110_5^18 + 4726567864674684661996601611672/809686150376\ 9805821320327*c_0110_5^17 - 29293553380210074313591542195704/809686\ 1503769805821320327*c_0110_5^16 - 60385070072756070844432115304959/\ 8096861503769805821320327*c_0110_5^15 - 69048111225495109243875486681388/8096861503769805821320327*c_0110_5\ ^14 - 47737789213397027144984705843992/8096861503769805821320327*c_\ 0110_5^13 - 6504268644686448608202456154569/80968615037698058213203\ 27*c_0110_5^12 + 34817365882724205230002466023047/80968615037698058\ 21320327*c_0110_5^11 + 59837342471062987691342971506992/80968615037\ 69805821320327*c_0110_5^10 + 63567508237667177229870400784412/80968\ 61503769805821320327*c_0110_5^9 + 51839317615098801357037972625906/\ 8096861503769805821320327*c_0110_5^8 + 34435742342070389113872663210040/8096861503769805821320327*c_0110_5\ ^7 + 19031677024017332282128842572493/8096861503769805821320327*c_0\ 110_5^6 + 8790778268312660291447037907328/8096861503769805821320327\ *c_0110_5^5 + 3362090195242046683369447760251/809686150376980582132\ 0327*c_0110_5^4 + 1045488783297158342315554057165/80968615037698058\ 21320327*c_0110_5^3 + 252721122936573266903311775323/80968615037698\ 05821320327*c_0110_5^2 + 43926867839906246950421107167/809686150376\ 9805821320327*c_0110_5 + 4465721290219139036457703129/8096861503769\ 805821320327, c_0101_0 + 3058044546619690492369535318/8096861503769805821320327*c_011\ 0_5^29 - 28262445546632959711532264420/8096861503769805821320327*c_\ 0110_5^28 - 192810675786879148960629497801/809686150376980582132032\ 7*c_0110_5^27 - 404165192012786332461971287965/80968615037698058213\ 20327*c_0110_5^26 + 262450450699792024794173455161/8096861503769805\ 821320327*c_0110_5^25 + 3208282037955410846861652574713/80968615037\ 69805821320327*c_0110_5^24 + 7689651170357928645987060127219/809686\ 1503769805821320327*c_0110_5^23 + 7997415755386549296456227337122/8\ 096861503769805821320327*c_0110_5^22 - 4988770276467859758217670758860/8096861503769805821320327*c_0110_5^\ 21 - 32810522012476803407388891775493/8096861503769805821320327*c_0\ 110_5^20 - 59343992968302910120151496728269/80968615037698058213203\ 27*c_0110_5^19 - 56428325796898665235485180667833/80968615037698058\ 21320327*c_0110_5^18 - 5178411483557678448137761824155/809686150376\ 9805821320327*c_0110_5^17 + 80140252062105682556978486078823/809686\ 1503769805821320327*c_0110_5^16 + 153917084634718512444003596670500\ /8096861503769805821320327*c_0110_5^15 + 169195265709516107867025815450082/8096861503769805821320327*c_0110_\ 5^14 + 110916751164941068428573273342494/8096861503769805821320327*\ c_0110_5^13 + 6942863456434756314022087388457/809686150376980582132\ 0327*c_0110_5^12 - 93364475365946364819385129656571/809686150376980\ 5821320327*c_0110_5^11 - 151098599113645134207849452530154/80968615\ 03769805821320327*c_0110_5^10 - 156466574903748714553350543475211/8\ 096861503769805821320327*c_0110_5^9 - 125295868725674490146823541507008/8096861503769805821320327*c_0110_\ 5^8 - 81916908162622663877928299166630/8096861503769805821320327*c_\ 0110_5^7 - 44580194263143145288431187540229/80968615037698058213203\ 27*c_0110_5^6 - 20252636220914215659543286031037/809686150376980582\ 1320327*c_0110_5^5 - 7608202302979088765581824078626/80968615037698\ 05821320327*c_0110_5^4 - 2315293281360612370054798570731/8096861503\ 769805821320327*c_0110_5^3 - 545526396633097121967213915183/8096861\ 503769805821320327*c_0110_5^2 - 91710610547440946447275141880/80968\ 61503769805821320327*c_0110_5 - 8781994343292409035003418398/809686\ 1503769805821320327, c_0101_1 + 360427173945058019022300035/8096861503769805821320327*c_0110\ _5^29 - 3929488261806313285465029084/8096861503769805821320327*c_01\ 10_5^28 - 16524444562892702206142283927/8096861503769805821320327*c\ _0110_5^27 - 16595281306771751452193738723/809686150376980582132032\ 7*c_0110_5^26 + 72786674332402839851429620554/809686150376980582132\ 0327*c_0110_5^25 + 265467306662926995710211266490/80968615037698058\ 21320327*c_0110_5^24 + 380627856337639536921454514798/8096861503769\ 805821320327*c_0110_5^23 + 66715391674080217055900932179/8096861503\ 769805821320327*c_0110_5^22 - 923373278275952824925808978599/809686\ 1503769805821320327*c_0110_5^21 - 2038111404101995545689990076276/8\ 096861503769805821320327*c_0110_5^20 - 2323832977356427870941802639619/8096861503769805821320327*c_0110_5^\ 19 - 1027925609332033342049836255839/8096861503769805821320327*c_01\ 10_5^18 + 1734936743281423718292238959833/8096861503769805821320327\ *c_0110_5^17 + 4555601876016219817383328017157/80968615037698058213\ 20327*c_0110_5^16 + 6046250442886964800259339664876/809686150376980\ 5821320327*c_0110_5^15 + 5346283177697510712907581858667/8096861503\ 769805821320327*c_0110_5^14 + 2702243790931370854030048443596/80968\ 61503769805821320327*c_0110_5^13 - 775066850249085691769091146335/8096861503769805821320327*c_0110_5^1\ 2 - 3894921035082670885513270058784/8096861503769805821320327*c_011\ 0_5^11 - 5698364021018217386328706520211/8096861503769805821320327*\ c_0110_5^10 - 5957490418312576569721201329260/809686150376980582132\ 0327*c_0110_5^9 - 5001446639781659315142610404224/80968615037698058\ 21320327*c_0110_5^8 - 3488178595657684812808140471416/8096861503769\ 805821320327*c_0110_5^7 - 2043188141364444451932575524398/809686150\ 3769805821320327*c_0110_5^6 - 995602743194016834051573652405/809686\ 1503769805821320327*c_0110_5^5 - 399147921998026907155968531617/809\ 6861503769805821320327*c_0110_5^4 - 127025219332328136187359287459/8096861503769805821320327*c_0110_5^3 - 30404660686797480016612732307/8096861503769805821320327*c_0110_5^\ 2 - 4937812917036159430635531918/8096861503769805821320327*c_0110_5 - 334829475866211035492038116/8096861503769805821320327, c_0101_5 + 239579142608286665765271826/8096861503769805821320327*c_0110\ _5^29 - 2798721273384051872141880982/8096861503769805821320327*c_01\ 10_5^28 - 9142682660912510479504480603/8096861503769805821320327*c_\ 0110_5^27 - 487927039347545493905523023/8096861503769805821320327*c\ _0110_5^26 + 67516391220630542453657754178/809686150376980582132032\ 7*c_0110_5^25 + 153889418406267272667253939584/80968615037698058213\ 20327*c_0110_5^24 + 79109916247880033449531604080/80968615037698058\ 21320327*c_0110_5^23 - 334498420403014755832389082812/8096861503769\ 805821320327*c_0110_5^22 - 958958952269765496649568824746/809686150\ 3769805821320327*c_0110_5^21 - 1001056477061430451550239258594/8096\ 861503769805821320327*c_0110_5^20 + 155608984510026880889248298536/8096861503769805821320327*c_0110_5^1\ 9 + 2189810398140512651927466257781/8096861503769805821320327*c_011\ 0_5^18 + 3677015171071729102554388281424/8096861503769805821320327*\ c_0110_5^17 + 2879488096312797312705982084570/809686150376980582132\ 0327*c_0110_5^16 - 247262778908061574051905681794/80968615037698058\ 21320327*c_0110_5^15 - 4037583390435289615600688247218/809686150376\ 9805821320327*c_0110_5^14 - 6115680712384017536183864643910/8096861\ 503769805821320327*c_0110_5^13 - 5235384777015763409021410974102/80\ 96861503769805821320327*c_0110_5^12 - 2162210804837815860467294054789/8096861503769805821320327*c_0110_5^\ 11 + 1297761617098984682781655097290/8096861503769805821320327*c_01\ 10_5^10 + 3504001345866577380914086024406/8096861503769805821320327\ *c_0110_5^9 + 3984905786360870653929222872381/809686150376980582132\ 0327*c_0110_5^8 + 3230950765200870281935391247531/80968615037698058\ 21320327*c_0110_5^7 + 2057332261371343634311868291727/8096861503769\ 805821320327*c_0110_5^6 + 1064388931132540713955837821035/809686150\ 3769805821320327*c_0110_5^5 + 446871132575383336113384743624/809686\ 1503769805821320327*c_0110_5^4 + 151215120032764113567889976974/809\ 6861503769805821320327*c_0110_5^3 + 39527679578241167155307452765/8096861503769805821320327*c_0110_5^2 + 7418581958895074400532726720/8096861503769805821320327*c_0110_5 + 842060805716472556404456323/8096861503769805821320327, c_0110_5^30 - 10*c_0110_5^29 - 55*c_0110_5^28 - 95*c_0110_5^27 + 130*c_0110_5^26 + 898*c_0110_5^25 + 1889*c_0110_5^24 + 1648*c_0110_5^23 - 1858*c_0110_5^22 - 8392*c_0110_5^21 - 14005*c_0110_5^20 - 12424*c_0110_5^19 + 78*c_0110_5^18 + 19575*c_0110_5^17 + 36096*c_0110_5^16 + 39383*c_0110_5^15 + 26312*c_0110_5^14 + 2827*c_0110_5^13 - 20530*c_0110_5^12 - 34920*c_0110_5^11 - 37662*c_0110_5^10 - 31567*c_0110_5^9 - 21821*c_0110_5^8 - 12730*c_0110_5^7 - 6306*c_0110_5^6 - 2650*c_0110_5^5 - 932*c_0110_5^4 - 269*c_0110_5^3 - 61*c_0110_5^2 - 10*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB