Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 307465782] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s282 geometric_solution 4.45296907 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 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.177461203458 0.196380103386 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825847486997 1.858401608328 2 0 0 2 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.560520277892 0.680197753558 5 4 1 4 0132 2031 0132 3012 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 0 0 0.584171543291 0.631442828113 3 5 3 1 1302 3201 1230 0132 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 1 0 -1 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.584171543291 0.631442828113 3 5 4 5 0132 2310 2310 3201 0 0 0 0 0 -1 1 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 1 -1 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.210553858271 0.853328290467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 699744243172542685430896613675865/10131066927894208280220197557312*\ c_0101_5^18 - 15397223785340674403924475263116097/10131066927894208\ 280220197557312*c_0101_5^17 + 33783924684192062673067306805388447/2\ 532766731973552070055049389328*c_0101_5^16 - 276908269052977344787277902264251693/506553346394710414011009877865\ 6*c_0101_5^15 + 427070945608932166482612561245386085/50655334639471\ 04140110098778656*c_0101_5^14 + 14226921885578558991811479917146170\ 9/10131066927894208280220197557312*c_0101_5^13 + 440757420139603497350841426682899393/506553346394710414011009877865\ 6*c_0101_5^12 - 2204461578364231949223751281650804683/1013106692789\ 4208280220197557312*c_0101_5^11 - 105347314880936647843269322418580\ 88767/10131066927894208280220197557312*c_0101_5^10 - 8869866991737058334261111720416508629/10131066927894208280220197557\ 312*c_0101_5^9 - 320467791564370433798904287532639495/5065533463947\ 104140110098778656*c_0101_5^8 + 30218304605711301377734928617819913\ /75604977073837375225523862368*c_0101_5^7 + 1448537122917165671966138810053991975/50655334639471041401100987786\ 56*c_0101_5^6 + 61622398708936927794874728686536005/253276673197355\ 2070055049389328*c_0101_5^5 - 486988083354656040706881249993202471/\ 10131066927894208280220197557312*c_0101_5^4 - 26547778771361861583263317929653885/1266383365986776035027524694664\ *c_0101_5^3 - 11773871705779646423680431628518537/10131066927894208\ 280220197557312*c_0101_5^2 + 16463943653197082523924816974705667/10\ 131066927894208280220197557312*c_0101_5 + 2948663771047594690517079501569235/10131066927894208280220197557312\ , c_0011_0 - 1, c_0011_3 - 733751813836115996554461448595/63319168299338801751376234733\ 2*c_0101_5^18 + 16008087569671398864885913819683/633191682993388017\ 513762347332*c_0101_5^17 - 34669749033639062202805347047490/1582979\ 20748347004378440586833*c_0101_5^16 + 277080258725162665527346078995775/316595841496694008756881173666*c_\ 0101_5^15 - 393122280194361758652436444927125/316595841496694008756\ 881173666*c_0101_5^14 - 322575070025605694303936239683691/633191682\ 993388017513762347332*c_0101_5^13 - 464133761716230222735925065816177/316595841496694008756881173666*c_\ 0101_5^12 + 2095701564255650039941890495333401/63319168299338801751\ 3762347332*c_0101_5^11 + 11492659163056490432562744022166557/633191\ 682993388017513762347332*c_0101_5^10 + 11320746531515469498793782710407507/633191682993388017513762347332*\ c_0101_5^9 + 1260187687418655853539110828876357/3165958414966940087\ 56881173666*c_0101_5^8 - 27930735529974933829677564496857/472531106\ 7114835951595241398*c_0101_5^7 - 1784448840979687874739900642378599\ /316595841496694008756881173666*c_0101_5^6 - 199059763304814209451519801659651/158297920748347004378440586833*c_\ 0101_5^5 + 346181325760877852680052327437033/6331916829933880175137\ 62347332*c_0101_5^4 + 60371764941436817312225192725711/158297920748\ 347004378440586833*c_0101_5^3 + 43147124998796671503157915868543/63\ 3191682993388017513762347332*c_0101_5^2 - 7257536715235438687777935976277/633191682993388017513762347332*c_01\ 01_5 - 1881317557943006625777066876697/6331916829933880175137623473\ 32, c_0101_0 + 525151230904771297673542151635/31659584149669400875688117366\ 6*c_0101_5^18 - 11802957898859021205776227850331/316595841496694008\ 756881173666*c_0101_5^17 + 53489014527102769299037428435121/1582979\ 20748347004378440586833*c_0101_5^16 - 233009319563191105189608516266936/158297920748347004378440586833*c_\ 0101_5^15 + 430338122458994627842388327960610/158297920748347004378\ 440586833*c_0101_5^14 - 301396392785316126870464996008177/316595841\ 496694008756881173666*c_0101_5^13 + 409911709816488057323674373313930/158297920748347004378440586833*c_\ 0101_5^12 - 2075217061030958414621700942823561/31659584149669400875\ 6881173666*c_0101_5^11 - 6922309803928078940414326881646723/3165958\ 41496694008756881173666*c_0101_5^10 - 3424057149848737134365839519826723/316595841496694008756881173666*c\ _0101_5^9 + 626490398613118033191394940113072/158297920748347004378\ 440586833*c_0101_5^8 + 20797197252155070215368504594664/23626555335\ 57417975797620699*c_0101_5^7 + 537036299520851822743301951276198/15\ 8297920748347004378440586833*c_0101_5^6 - 158814177567838441873293995447285/158297920748347004378440586833*c_\ 0101_5^5 - 320552193991253195796931083245373/3165958414966940087568\ 81173666*c_0101_5^4 - 35654908119046664175648986734380/158297920748\ 347004378440586833*c_0101_5^3 + 19152218777148579039852280031415/31\ 6595841496694008756881173666*c_0101_5^2 + 10602583531445067189704713956393/316595841496694008756881173666*c_0\ 101_5 + 964391784695625398022274026099/3165958414966940087568811736\ 66, c_0101_1 - 23572454520623860780497564000/158297920748347004378440586833\ *c_0101_5^18 + 387183256556612215787253446489/158297920748347004378\ 440586833*c_0101_5^17 - 1595589849671692845039052155547/15829792074\ 8347004378440586833*c_0101_5^16 - 8173102966098198462791348548853/1\ 58297920748347004378440586833*c_0101_5^15 + 88502929125462727259680574437321/158297920748347004378440586833*c_0\ 101_5^14 - 224471972032938458662789010135064/1582979207483470043784\ 40586833*c_0101_5^13 + 61192973780602602154213570127951/15829792074\ 8347004378440586833*c_0101_5^12 - 155853507692519385655203634229556\ /158297920748347004378440586833*c_0101_5^11 + 882895951846889486750346375006059/158297920748347004378440586833*c_\ 0101_5^10 + 2002090867089751807535552916098925/15829792074834700437\ 8440586833*c_0101_5^9 + 923631853363499457962270503336455/158297920\ 748347004378440586833*c_0101_5^8 - 3608665549926182335229722339411/2362655533557417975797620699*c_0101\ _5^7 - 651254533187477927407373920304567/15829792074834700437844058\ 6833*c_0101_5^6 - 267018120750805418635709251261987/158297920748347\ 004378440586833*c_0101_5^5 + 30429509685737483929283758774231/15829\ 7920748347004378440586833*c_0101_5^4 + 46516826752914654240221525211959/158297920748347004378440586833*c_0\ 101_5^3 + 14569668511828149983265712643190/158297920748347004378440\ 586833*c_0101_5^2 - 813982985885911475409527604808/1582979207483470\ 04378440586833*c_0101_5 - 485978223146342717491932398325/1582979207\ 48347004378440586833, c_0101_2 - 3199031014871444234813078106687/1266383365986776035027524694\ 664*c_0101_5^18 + 69953336432758435131014671999347/1266383365986776\ 035027524694664*c_0101_5^17 - 152047211764778823612412537804131/316\ 595841496694008756881173666*c_0101_5^16 + 1223932691519670675009574392574699/633191682993388017513762347332*c\ _0101_5^15 - 1781123504529287837207883119017771/6331916829933880175\ 13762347332*c_0101_5^14 - 1177849765926083496771830574903955/126638\ 3365986776035027524694664*c_0101_5^13 - 2040687011128019028441027729279653/633191682993388017513762347332*c\ _0101_5^12 + 9386268201526145137005297051060337/1266383365986776035\ 027524694664*c_0101_5^11 + 49520228973943597462576403700085305/1266\ 383365986776035027524694664*c_0101_5^10 + 47115169955509868794404589652518767/1266383365986776035027524694664\ *c_0101_5^9 + 4655500904398296403345206838074937/633191682993388017\ 513762347332*c_0101_5^8 - 122172143701991451687370372582995/9450622\ 134229671903190482796*c_0101_5^7 - 7397657488376655356462657526408241/633191682993388017513762347332*c\ _0101_5^6 - 766607377705726340259944184887357/316595841496694008756\ 881173666*c_0101_5^5 + 1522923725839024925224039088513249/126638336\ 5986776035027524694664*c_0101_5^4 + 246926118189619314959593392146461/316595841496694008756881173666*c_\ 0101_5^3 + 176599818465110200830712632474659/1266383365986776035027\ 524694664*c_0101_5^2 - 31150365850497161356999460572957/12663833659\ 86776035027524694664*c_0101_5 - 8656469716165016388178023344009/126\ 6383365986776035027524694664, c_0101_5^19 - 22*c_0101_5^18 + 193*c_0101_5^17 - 790*c_0101_5^16 + 1212*c_0101_5^15 + 227*c_0101_5^14 + 1249*c_0101_5^13 - 3197*c_0101_5^12 - 15104*c_0101_5^11 - 12690*c_0101_5^10 - 373*c_0101_5^9 + 6668*c_0101_5^8 + 4592*c_0101_5^7 + 270*c_0101_5^6 - 963*c_0101_5^5 - 437*c_0101_5^4 - 25*c_0101_5^3 + 40*c_0101_5^2 + 12*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB