Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2101141919] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0575 geometric_solution 4.59574834 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 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 -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 1.218334782289 0.127383016311 0 2 2 0 0132 0132 1023 1023 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 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 1.258076935104 0.306892356197 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661123099366 0.618983947022 2 4 4 5 0132 0321 1302 0132 0 0 0 0 0 1 0 -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 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.681749230260 0.619045241555 3 5 2 3 2031 1023 0132 0321 0 0 0 0 0 1 0 -1 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 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.681749230260 0.619045241555 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 1 -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 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.777556367782 0.277007490484 6 5 6 5 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632651849925 0.106043635140 ==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' : negation(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' : 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' : 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' : 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_0'], '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_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], '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_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 29435213567283935468543178963382742/1680213973319907766164363985607\ 25*c_0110_6^23 + 1858048716694160835861962068608023/560071324439969\ 25538812132853575*c_0110_6^22 - 7840446002325815644724436336453499/\ 4308240957230532733754779450275*c_0110_6^21 + 119769845511731227113411815395517912/336042794663981553232872797121\ 45*c_0110_6^20 - 1803919602984466394504971318254678146/168021397331\ 990776616436398560725*c_0110_6^19 + 1719753809308724891307584033959038362/56007132443996925538812132853\ 575*c_0110_6^18 - 3333801979913284379749921706420384953/56007132443\ 996925538812132853575*c_0110_6^17 + 17904700851511174016630155596579067423/1680213973319907766164363985\ 60725*c_0110_6^16 - 26175645501713208749088696141178035304/16802139\ 7331990776616436398560725*c_0110_6^15 + 720586962284660503232646853187646118/430824095723053273375477945027\ 5*c_0110_6^14 - 529498206899342460443735064016922581/43082409572305\ 32733754779450275*c_0110_6^13 + 27559474608222131799702058776900207\ 31/168021397331990776616436398560725*c_0110_6^12 + 15239133138008197111169279732722467178/1680213973319907766164363985\ 60725*c_0110_6^11 - 10726880199858663406954773973992353/86832763479\ 065000835367647835*c_0110_6^10 + 3230698966570884956568586037000536\ 699/56007132443996925538812132853575*c_0110_6^9 + 7619719165296247996101675341869362367/16802139733199077661643639856\ 0725*c_0110_6^8 - 12190019836372708437310730920418401424/1680213973\ 31990776616436398560725*c_0110_6^7 + 310943726209255750463873508866840713/186690441479989751796040442845\ 25*c_0110_6^6 + 5625855174868365814358572927894808713/1680213973319\ 90776616436398560725*c_0110_6^5 - 225055239370567303580283173913342\ 2066/168021397331990776616436398560725*c_0110_6^4 - 222454977065245424137419280243038856/186690441479989751796040442845\ 25*c_0110_6^3 + 43580148384998489295490779856925333/560071324439969\ 25538812132853575*c_0110_6^2 + 135585510794557732803571233444376457\ /56007132443996925538812132853575*c_0110_6 + 111593829341543862772100956100301289/168021397331990776616436398560\ 725, c_0011_0 - 1, c_0011_4 + 2334058842510634045204625602234/7467617659199590071841617713\ 81*c_0110_6^23 + 33114932265265968381178125307/22402852977598770215\ 52485314143*c_0110_6^22 - 5574775038828525106497135617162/172329638\ 289221309350191178011*c_0110_6^21 + 155476544383825082313183653416619/2240285297759877021552485314143*c\ _0110_6^20 - 460827960970679003817392779244417/22402852977598770215\ 52485314143*c_0110_6^19 + 1321894707586079839127324449812764/224028\ 5297759877021552485314143*c_0110_6^18 - 2648010475463754355385973948271754/2240285297759877021552485314143*\ c_0110_6^17 + 4823119070782590518164740595659214/224028529775987702\ 1552485314143*c_0110_6^16 - 7282893818685190192037488361533205/2240\ 285297759877021552485314143*c_0110_6^15 + 641772769575594603411151168529486/172329638289221309350191178011*c_\ 0110_6^14 - 178730842304404214457927353420597/574432127630737697833\ 97059337*c_0110_6^13 + 2616052205173752592555006923348028/224028529\ 7759877021552485314143*c_0110_6^12 + 2456084810680626847123455865479107/2240285297759877021552485314143*\ c_0110_6^11 - 38143525630967032977192325920101/17366552695813000167\ 073529567*c_0110_6^10 + 1042096543685025320103182349327918/74676176\ 5919959007184161771381*c_0110_6^9 + 333200762355176332898876005479181/746761765919959007184161771381*c_\ 0110_6^8 - 2774123753039482677505855776165751/224028529775987702155\ 2485314143*c_0110_6^7 + 1069793011519114945318479947013313/22402852\ 97759877021552485314143*c_0110_6^6 + 344696671548078757386661441755620/746761765919959007184161771381*c_\ 0110_6^5 - 600314785696241500987840751442917/2240285297759877021552\ 485314143*c_0110_6^4 - 371524011411154183419995632363877/2240285297\ 759877021552485314143*c_0110_6^3 + 57410911410270427835107370188387/2240285297759877021552485314143*c_\ 0110_6^2 + 83412501571956157982399442063518/22402852977598770215524\ 85314143*c_0110_6 + 16991706895260155662885476920252/22402852977598\ 77021552485314143, c_0101_0 + 7923388985611354510575043247242/2240285297759877021552485314\ 143*c_0110_6^23 + 2640817506287316415297566536779/22402852977598770\ 21552485314143*c_0110_6^22 - 6299157912515678228448837939049/172329\ 638289221309350191178011*c_0110_6^21 + 150037594592449872535471069077427/2240285297759877021552485314143*c\ _0110_6^20 - 463846304499977466825309772993300/22402852977598770215\ 52485314143*c_0110_6^19 + 1317044689048169462904318602101567/224028\ 5297759877021552485314143*c_0110_6^18 - 2496398052330784765320038686519961/2240285297759877021552485314143*\ c_0110_6^17 + 4433672657982722160229688687128039/224028529775987702\ 1552485314143*c_0110_6^16 - 6334925141883173768924567979394549/2240\ 285297759877021552485314143*c_0110_6^15 + 167144650957517281451481748286134/57443212763073769783397059337*c_0\ 110_6^14 - 335946350324745450562166435417171/1723296382892213093501\ 91178011*c_0110_6^13 - 236282955395177522040028131385384/2240285297\ 759877021552485314143*c_0110_6^12 + 1477567055478140375940289459381359/746761765919959007184161771381*c\ _0110_6^11 - 40255850692495249609972531782058/173665526958130001670\ 73529567*c_0110_6^10 + 612037335763908469384969911635125/7467617659\ 19959007184161771381*c_0110_6^9 + 256931904025522147645775553486401\ 0/2240285297759877021552485314143*c_0110_6^8 - 3230692051564800545499040178390456/2240285297759877021552485314143*\ c_0110_6^7 + 140054315413458556405043932981442/74676176591995900718\ 4161771381*c_0110_6^6 + 1672632741673142173255476578037736/22402852\ 97759877021552485314143*c_0110_6^5 - 510861891462248772585197230605221/2240285297759877021552485314143*c\ _0110_6^4 - 589929091157340794978446335594761/224028529775987702155\ 2485314143*c_0110_6^3 + 14000125673596030357610502210740/2240285297\ 759877021552485314143*c_0110_6^2 + 110180174947086986179822965916622/2240285297759877021552485314143*c\ _0110_6 + 10844351577755626794757472661533/746761765919959007184161\ 771381, c_0101_1 + 15109380879398149062037577630152/224028529775987702155248531\ 4143*c_0110_6^23 + 2424076437276375821411081046310/2240285297759877\ 021552485314143*c_0110_6^22 - 12056593936511552539822014128677/1723\ 29638289221309350191178011*c_0110_6^21 + 311744466449562260519321021621641/2240285297759877021552485314143*c\ _0110_6^20 - 938079278821586716065043736965972/22402852977598770215\ 52485314143*c_0110_6^19 + 2683719568897857770479265176066531/224028\ 5297759877021552485314143*c_0110_6^18 - 5234530285761921207217248142264154/2240285297759877021552485314143*\ c_0110_6^17 + 9409902954603624219612591776834632/224028529775987702\ 1552485314143*c_0110_6^16 - 13852581960411503609418592055822620/224\ 0285297759877021552485314143*c_0110_6^15 + 387087405727195728738528236062943/57443212763073769783397059337*c_0\ 110_6^14 - 882197300823974506245327674523275/1723296382892213093501\ 91178011*c_0110_6^13 + 2285459696496493321373345381702354/224028529\ 7759877021552485314143*c_0110_6^12 + 2412471694596067251336213831695678/746761765919959007184161771381*c\ _0110_6^11 - 81840023798266028166879175744637/173665526958130001670\ 73529567*c_0110_6^10 + 1765096747871913726467526482856485/746761765\ 919959007184161771381*c_0110_6^9 + 3503276953413794642657216221867340/2240285297759877021552485314143*\ c_0110_6^8 - 6090651524341212203658505328201753/2240285297759877021\ 552485314143*c_0110_6^7 + 515217017525787550696532096619347/7467617\ 65919959007184161771381*c_0110_6^6 + 2738738361877120540740716694180046/2240285297759877021552485314143*\ c_0110_6^5 - 1131029346157368749051571442940393/2240285297759877021\ 552485314143*c_0110_6^4 - 992842435508962550301742653690572/2240285\ 297759877021552485314143*c_0110_6^3 + 68367404670758445483020488168871/2240285297759877021552485314143*c_\ 0110_6^2 + 202063685585965432371172394235557/2240285297759877021552\ 485314143*c_0110_6 + 17643942368773910157097331405254/7467617659199\ 59007184161771381, c_0101_2 + 8191639561870482821631748171370/2240285297759877021552485314\ 143*c_0110_6^23 + 1487504184731732583316640201887/22402852977598770\ 21552485314143*c_0110_6^22 - 2170908358818767127308425996337/574432\ 12763073769783397059337*c_0110_6^21 + 55871385406241675148575851431467/746761765919959007184161771381*c_0\ 110_6^20 - 169148620436573513144643016344694/7467617659199590071841\ 61771381*c_0110_6^19 + 482333825479118629498101728998815/7467617659\ 19959007184161771381*c_0110_6^18 - 2821123158388456740112413384993776/2240285297759877021552485314143*\ c_0110_6^17 + 5074131707647074127701806306519086/224028529775987702\ 1552485314143*c_0110_6^16 - 2486387501717679559029246764817337/7467\ 61765919959007184161771381*c_0110_6^15 + 625370789798047782863132417175847/172329638289221309350191178011*c_\ 0110_6^14 - 474809798946766929474631945421911/172329638289221309350\ 191178011*c_0110_6^13 + 410020129223540144978941176936314/746761765\ 919959007184161771381*c_0110_6^12 + 3885401315136501967180061249743258/2240285297759877021552485314143*\ c_0110_6^11 - 43938868048827520879112926586859/17366552695813000167\ 073529567*c_0110_6^10 + 942698008170816566634154433932528/746761765\ 919959007184161771381*c_0110_6^9 + 1894128086190183463235533836565147/2240285297759877021552485314143*\ c_0110_6^8 - 1094674080374393950647212890611635/7467617659199590071\ 84161771381*c_0110_6^7 + 838156149171816058951745061231722/22402852\ 97759877021552485314143*c_0110_6^6 + 1460894834071931062819048060841468/2240285297759877021552485314143*\ c_0110_6^5 - 607953683849121557935840203803501/22402852977598770215\ 52485314143*c_0110_6^4 - 520020309497931879994955205782168/22402852\ 97759877021552485314143*c_0110_6^3 + 10569361047593161844784805472380/746761765919959007184161771381*c_0\ 110_6^2 + 108529808130820421220056138108675/22402852977598770215524\ 85314143*c_0110_6 + 27941970055217759881886188650895/22402852977598\ 77021552485314143, c_0110_5 + 1574555410123265907401995964442/7467617659199590071841617713\ 81*c_0110_6^23 + 2505167286780612654418405523845/224028529775987702\ 1552485314143*c_0110_6^22 - 3790512354804870615135677661671/1723296\ 38289221309350191178011*c_0110_6^21 + 79973978692879550553998820539366/2240285297759877021552485314143*c_\ 0110_6^20 - 251197675754916362053036963837937/224028529775987702155\ 2485314143*c_0110_6^19 + 712101849107260480634617873608251/22402852\ 97759877021552485314143*c_0110_6^18 - 1277336042697867024358845557936051/2240285297759877021552485314143*\ c_0110_6^17 + 2189985304938808530103053103753201/224028529775987702\ 1552485314143*c_0110_6^16 - 2921169213331885672449860665448105/2240\ 285297759877021552485314143*c_0110_6^15 + 193137293491388113521077068298333/172329638289221309350191178011*c_\ 0110_6^14 - 21622965641073067313058427748932/5744321276307376978339\ 7059337*c_0110_6^13 - 1898829854496031815995011293101627/2240285297\ 759877021552485314143*c_0110_6^12 + 3826076169331965597715296603574712/2240285297759877021552485314143*\ c_0110_6^11 - 25853376645852396292241348157340/17366552695813000167\ 073529567*c_0110_6^10 + 190622138254520849593562516442462/746761765\ 919959007184161771381*c_0110_6^9 + 726054447929969691540430551148554/746761765919959007184161771381*c_\ 0110_6^8 - 2090429292235409187447155319992548/224028529775987702155\ 2485314143*c_0110_6^7 - 30805854479358968344801900512269/2240285297\ 759877021552485314143*c_0110_6^6 + 415977289606809807733613325297399/746761765919959007184161771381*c_\ 0110_6^5 - 277631349914821659401593871027282/2240285297759877021552\ 485314143*c_0110_6^4 - 437693124789336424452739105161653/2240285297\ 759877021552485314143*c_0110_6^3 - 13572894936859879720746732863957/2240285297759877021552485314143*c_\ 0110_6^2 + 78380699057790003624866010088127/22402852977598770215524\ 85314143*c_0110_6 + 28455704478787359558035403747398/22402852977598\ 77021552485314143, c_0110_6^24 - 1/2*c_0110_6^23 - 21/2*c_0110_6^22 + 55/2*c_0110_6^21 - 151/2*c_0110_6^20 + 218*c_0110_6^19 - 462*c_0110_6^18 + 1693/2*c_0110_6^17 - 1317*c_0110_6^16 + 3167/2*c_0110_6^15 - 2769/2*c_0110_6^14 + 608*c_0110_6^13 + 424*c_0110_6^12 - 1045*c_0110_6^11 + 816*c_0110_6^10 + 37/2*c_0110_6^9 - 1159/2*c_0110_6^8 + 757/2*c_0110_6^7 + 119*c_0110_6^6 - 203*c_0110_6^5 - 29/2*c_0110_6^4 + 99/2*c_0110_6^3 + 21/2*c_0110_6^2 - 11/2*c_0110_6 - 5/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB