Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 2917937532] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1123 geometric_solution 4.98966086 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 -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 -1 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.741531040125 0.444615485282 0 3 4 2 0132 3012 1230 3012 0 0 0 0 0 0 0 0 1 0 0 -1 0 -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 -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.977238486027 1.681034983505 3 0 1 3 1230 0132 1230 3012 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 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 0 0 0 0 0 0 0.504026595763 0.297381288010 1 2 2 0 1230 3012 1230 0132 0 0 0 0 0 0 -1 1 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 1 -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.483062080249 0.889230970563 5 5 0 1 0132 2310 0132 3012 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 0.727296997993 1.103813949704 4 6 6 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.274021468117 0.224166920410 6 5 5 6 3201 0132 1023 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 0 0 0 0 0 0 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.411815164943 0.467746860407 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_5'])})} 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_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 9649665501858075341071118275790752/11373187974316775018480170561196\ 55*c_0101_6^29 - 25761024376193890585666211979627040/75821253162111\ 833456534470407977*c_0101_6^27 - 2259440799195846446585748525788054\ 396/379106265810559167282672352039885*c_0101_6^25 - 107242680906048017239605325601699916497/227463759486335500369603411\ 2239310*c_0101_6^23 - 951554571956879729316463221868432713973/45492\ 75189726710007392068224478620*c_0101_6^21 - 263045024599362742602735983698010078561/454927518972671000739206822\ 447862*c_0101_6^19 - 4788103464499764519882284846180368181263/45492\ 75189726710007392068224478620*c_0101_6^17 - 492651042686892454268119248868865251898/379106265810559167282672352\ 039885*c_0101_6^15 - 1259235896333282328365464979478273689713/11373\ 18797431677501848017056119655*c_0101_6^13 - 2996638385912869109401875144970289433167/45492751897267100073920682\ 24478620*c_0101_6^11 - 624336461857469444859767557671052773877/2274\ 637594863355003696034112239310*c_0101_6^9 - 59825292781889345416379117166921870873/7582125316211183345653447040\ 79770*c_0101_6^7 - 33993792216345128820890333454351538051/227463759\ 4863355003696034112239310*c_0101_6^5 - 628451909949829640606479799652460242/379106265810559167282672352039\ 885*c_0101_6^3 - 177044340092893436391463698360209249/2274637594863\ 355003696034112239310*c_0101_6, c_0011_0 - 1, c_0011_3 - 4109042399736731604198788992843248/7582125316211183345653447\ 0407977*c_0101_6^29 - 159199850114705306899074801184842524/75821253\ 162111833456534470407977*c_0101_6^27 - 2680264250097800067487163305134925863/75821253162111833456534470407\ 977*c_0101_6^25 - 19384069037926795181574858787544193003/7582125316\ 2111833456534470407977*c_0101_6^23 - 76699286933842500358199653270976524894/7582125316211183345653447040\ 7977*c_0101_6^21 - 184534999421988762513418280399882683498/75821253\ 162111833456534470407977*c_0101_6^19 - 285712501314167409000905929947306546509/758212531621118334565344704\ 07977*c_0101_6^17 - 293503519598410903037692904718038841201/7582125\ 3162111833456534470407977*c_0101_6^15 - 204582326719738352386296269731434006970/758212531621118334565344704\ 07977*c_0101_6^13 - 97967564407534612671568975401342944804/75821253\ 162111833456534470407977*c_0101_6^11 - 32002687357501766243737959934535662062/7582125316211183345653447040\ 7977*c_0101_6^9 - 6851471898200388781292624629037979592/75821253162\ 111833456534470407977*c_0101_6^7 - 855753906474068227237597489715444572/758212531621118334565344704079\ 77*c_0101_6^5 - 41889391235827961347838530080066842/758212531621118\ 33456534470407977*c_0101_6^3 + 865023486067831863054757108332466/75\ 821253162111833456534470407977*c_0101_6, c_0011_4 + 243511874361236273160477145747456/75821253162111833456534470\ 407977*c_0101_6^29 + 9312166334895396480697938927082800/75821253162\ 111833456534470407977*c_0101_6^27 + 154168091758879682867890337830451148/758212531621118334565344704079\ 77*c_0101_6^25 + 1071647662991972673972164818552584419/758212531621\ 11833456534470407977*c_0101_6^23 + 4013535368618183366235621818204028041/75821253162111833456534470407\ 977*c_0101_6^21 + 8970774403910942344305989080138664385/75821253162\ 111833456534470407977*c_0101_6^19 + 12644815526752376201487700550642330100/7582125316211183345653447040\ 7977*c_0101_6^17 + 11619869992727938208997247327296002015/758212531\ 62111833456534470407977*c_0101_6^15 + 7275031107623627555681763407804289392/75821253162111833456534470407\ 977*c_0101_6^13 + 3271885372134611259685291027577769597/75821253162\ 111833456534470407977*c_0101_6^11 + 1100642704066431983011515194215834376/75821253162111833456534470407\ 977*c_0101_6^9 + 276614659113299141061620241875364083/7582125316211\ 1833456534470407977*c_0101_6^7 + 4730154712524835353611723355143992\ 0/75821253162111833456534470407977*c_0101_6^5 + 4456523233087363994147180889647175/75821253162111833456534470407977\ *c_0101_6^3 + 10136625908682362699597195383518/75821253162111833456\ 534470407977*c_0101_6, c_0101_1 + 1733548930048839857430553262197600/7582125316211183345653447\ 0407977*c_0101_6^29 + 67082908389478637080883614370273752/758212531\ 62111833456534470407977*c_0101_6^27 + 1127677328793822843207775572495619558/75821253162111833456534470407\ 977*c_0101_6^25 + 8127169680814276097800912558244529446/75821253162\ 111833456534470407977*c_0101_6^23 + 32013386989838924026491307321317419843/7582125316211183345653447040\ 7977*c_0101_6^21 + 76600145149935682628276537096733889755/758212531\ 62111833456534470407977*c_0101_6^19 + 117860123208740192158350405773712615021/758212531621118334565344704\ 07977*c_0101_6^17 + 120279459127523712769830555767500340556/7582125\ 3162111833456534470407977*c_0101_6^15 + 83323921567199920882685703148902189271/7582125316211183345653447040\ 7977*c_0101_6^13 + 39657274942965034741352348958277327012/758212531\ 62111833456534470407977*c_0101_6^11 + 12843819709190430825018392745909445975/7582125316211183345653447040\ 7977*c_0101_6^9 + 2706472568340587867090227561152401796/75821253162\ 111833456534470407977*c_0101_6^7 + 324686316473967027555460168802724367/758212531621118334565344704079\ 77*c_0101_6^5 + 12465890245976333494836323372908130/758212531621118\ 33456534470407977*c_0101_6^3 - 977738334028699245687302602455983/75\ 821253162111833456534470407977*c_0101_6, c_0101_2 - 133992132448333758555830645465568/75821253162111833456534470\ 407977*c_0101_6^28 - 4963387845970422774865470862414072/75821253162\ 111833456534470407977*c_0101_6^26 - 78641729869301721953968900866878126/7582125316211183345653447040797\ 7*c_0101_6^24 - 486208031071737679859570217768659894/75821253162111\ 833456534470407977*c_0101_6^22 - 1472479444310920813091300114971986\ 323/75821253162111833456534470407977*c_0101_6^20 - 2091501953569827449218000261056333149/75821253162111833456534470407\ 977*c_0101_6^18 - 331677741729111059771042025228126288/758212531621\ 11833456534470407977*c_0101_6^16 + 3422852586691151913570133482191754475/75821253162111833456534470407\ 977*c_0101_6^14 + 5492026580396554663376766612521667387/75821253162\ 111833456534470407977*c_0101_6^12 + 4303789352852660276480028699024724082/75821253162111833456534470407\ 977*c_0101_6^10 + 2012398372447717546794510627255589401/75821253162\ 111833456534470407977*c_0101_6^8 + 577693811938817362624600344205085548/758212531621118334565344704079\ 77*c_0101_6^6 + 95585693863716833476777728677996816/758212531621118\ 33456534470407977*c_0101_6^4 + 6547851443931731141556571674321338/7\ 5821253162111833456534470407977*c_0101_6^2 - 127455613647283349240125383439343/75821253162111833456534470407977, c_0101_5 - 534801563974518330631730246598672/75821253162111833456534470\ 407977*c_0101_6^29 - 20506580027590046880386844171675460/7582125316\ 2111833456534470407977*c_0101_6^27 - 340646125345254016808652080172541521/758212531621118334565344704079\ 77*c_0101_6^25 - 2386636934034891342119739573616938363/758212531621\ 11833456534470407977*c_0101_6^23 - 9026576917486729990290195145880647290/75821253162111833456534470407\ 977*c_0101_6^21 - 20394361540797331014616482264323496786/7582125316\ 2111833456534470407977*c_0101_6^19 - 28977312427887461947801802794664765180/7582125316211183345653447040\ 7977*c_0101_6^17 - 26496929731812240714740257965658876764/758212531\ 62111833456534470407977*c_0101_6^15 - 15884247359076431486228583225400416789/7582125316211183345653447040\ 7977*c_0101_6^13 - 6290812198785319754051427510815035200/7582125316\ 2111833456534470407977*c_0101_6^11 - 1607320781804158928806900705882302636/75821253162111833456534470407\ 977*c_0101_6^9 - 243891326969797030535302434718337702/7582125316211\ 1833456534470407977*c_0101_6^7 - 1619053583523433417171196148954673\ 5/75821253162111833456534470407977*c_0101_6^5 - 155218059393133065783173125606688/75821253162111833456534470407977*\ c_0101_6^3 - 218333940262622290053057765163659/75821253162111833456\ 534470407977*c_0101_6, c_0101_6^30 + 157/4*c_0101_6^28 + 10749/16*c_0101_6^26 + 40355/8*c_0101_6^24 + 336005/16*c_0101_6^22 + 215937/4*c_0101_6^20 + 90861*c_0101_6^18 + 1655695/16*c_0101_6^16 + 163055/2*c_0101_6^14 + 90117/2*c_0101_6^12 + 139985/8*c_0101_6^10 + 4685*c_0101_6^8 + 6541/8*c_0101_6^6 + 80*c_0101_6^4 + 5/2*c_0101_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB