Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 2050746117] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2996 geometric_solution 6.17435239 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.574252061217 1.296972496518 0 2 6 5 0132 2310 0132 0132 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 0.368177726349 0.321081407521 4 0 4 1 1302 0132 2031 3201 0 0 0 0 0 1 -1 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 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.150551500758 1.099398155270 5 6 5 0 0132 2103 2031 0132 0 0 0 0 0 -1 1 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 1 -1 -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.772191237968 0.623017717508 5 2 0 2 1302 2031 0132 1302 0 0 0 0 0 1 -1 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 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.537750121164 0.717154190517 3 4 1 3 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 1 0 0 -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 1 0 -1 1 0 0 -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 1.184089865214 0.686304524892 6 3 6 1 2310 2103 3201 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 0 0 0 0 0 0 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.054519117815 1.321476757342 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_2']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0110_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0011_6, c_0101_0, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 2238265799650081572764720790815927251327328/56133231498568220698112\ 5091897986096204525*c_1001_0^13 - 364058061344814747219979098054890\ 2212594368/561332314985682206981125091897986096204525*c_1001_0^12 + 19079961866185639518594473100595848710219618/5613323149856822069811\ 25091897986096204525*c_1001_0^11 + 418954380089854440271843490598265792226153/976230113018577751271521\ 8989530192977470*c_1001_0^10 + 346144573345071881427314693316757316\ 19499492/112266462997136441396225018379597219240905*c_1001_0^9 - 324507500952029874808805516992642031812814347/561332314985682206981\ 125091897986096204525*c_1001_0^8 + 218189330734770593255509912372483924287411313/561332314985682206981\ 125091897986096204525*c_1001_0^7 - 34466282884874308046175961374778121047061928/5613323149856822069811\ 25091897986096204525*c_1001_0^6 + 617209863089923239162229587259899\ 0055510843/66039095880668494938955893164468952494650*c_1001_0^5 - 7322810852181283621703577011795905313282881/11226646299713644139622\ 5018379597219240905*c_1001_0^4 + 3081897283404675852802376880689846\ 99375376293/1122664629971364413962250183795972192409050*c_1001_0^3 - 443338735206370607320169951521439193472994669/112266462997136441396\ 2250183795972192409050*c_1001_0^2 + 274792161830994697820410355425764887595406117/112266462997136441396\ 2250183795972192409050*c_1001_0 - 214161724894811376910595131450960\ 9882874412/33019547940334247469477946582234476247325, c_0011_0 - 1, c_0011_3 + 1122403667848481722634172577309598720/1296700339872873673415\ 6837367497410027*c_1001_0^13 - 131172153998538199444783893431529350\ 4/12967003398728736734156837367497410027*c_1001_0^12 + 9006418304568998668768683163752590912/12967003398728736734156837367\ 497410027*c_1001_0^11 + 16047830572999012395679177099099732916/1296\ 7003398728736734156837367497410027*c_1001_0^10 + 94470007394129113869772339588966351299/1296700339872873673415683736\ 7497410027*c_1001_0^9 - 119698874091251267579235576016481596156/129\ 67003398728736734156837367497410027*c_1001_0^8 + 7921967283231901626857419239898699340/18524290569612481048795481953\ 56772861*c_1001_0^7 - 7055774053683566820433317791981531305/1296700\ 3398728736734156837367497410027*c_1001_0^6 + 26910665392203234316207266078847220984/1296700339872873673415683736\ 7497410027*c_1001_0^5 - 2512443661541071907155302846533067435/12967\ 003398728736734156837367497410027*c_1001_0^4 + 72870614062935679443098158846422857506/1296700339872873673415683736\ 7497410027*c_1001_0^3 - 78100722749049573935647367007578383527/1296\ 7003398728736734156837367497410027*c_1001_0^2 + 4237027769400492609515992012038435002/18524290569612481048795481953\ 56772861*c_1001_0 - 11240318079811139729529577776159876166/12967003\ 398728736734156837367497410027, c_0011_4 + 2209204262159896963410330170977965632/1296700339872873673415\ 6837367497410027*c_1001_0^13 - 368883557335162128436339771559149990\ 4/12967003398728736734156837367497410027*c_1001_0^12 + 18791689954677218062099218145726247020/1296700339872873673415683736\ 7497410027*c_1001_0^11 + 23107861793916798906295267957802299513/129\ 67003398728736734156837367497410027*c_1001_0^10 + 168347359681882211064785089662874987104/129670033987287367341568373\ 67497410027*c_1001_0^9 - 331130156421586921162683645084264787860/12\ 967003398728736734156837367497410027*c_1001_0^8 + 30234058907057244379043224496303614703/1852429056961248104879548195\ 356772861*c_1001_0^7 - 28729073819269437554563985084947193720/12967\ 003398728736734156837367497410027*c_1001_0^6 + 55111837087021537933819463107769916527/1296700339872873673415683736\ 7497410027*c_1001_0^5 - 39575596581523573978057403212361768766/1296\ 7003398728736734156837367497410027*c_1001_0^4 + 142641594131283695947445400558873218083/129670033987287367341568373\ 67497410027*c_1001_0^3 - 227045872280967633796896734946448656930/12\ 967003398728736734156837367497410027*c_1001_0^2 + 18773381378995700606066668528795817710/1852429056961248104879548195\ 356772861*c_1001_0 - 24814847983908859403298282219861558160/1296700\ 3398728736734156837367497410027, c_0011_6 + 3240142026660365894417231354752817280/1296700339872873673415\ 6837367497410027*c_1001_0^13 - 464208895625999108531310955836741740\ 8/12967003398728736734156837367497410027*c_1001_0^12 + 26799260359537897854924804356273754328/1296700339872873673415683736\ 7497410027*c_1001_0^11 + 39890221003426643839124318699084415366/129\ 67003398728736734156837367497410027*c_1001_0^10 + 258896140470313358400666579035278596783/129670033987287367341568373\ 67497410027*c_1001_0^9 - 419049026880831971088896092077750733823/12\ 967003398728736734156837367497410027*c_1001_0^8 + 34159143181261867643792448101168116887/1852429056961248104879548195\ 356772861*c_1001_0^7 - 20969412590806375507445474462671746465/12967\ 003398728736734156837367497410027*c_1001_0^6 + 74592489216993265944533842305343891234/1296700339872873673415683736\ 7497410027*c_1001_0^5 - 36800299874062432578024826627395267476/1296\ 7003398728736734156837367497410027*c_1001_0^4 + 209158728653162027000272885854793297595/129670033987287367341568373\ 67497410027*c_1001_0^3 - 278520015052840964859097575312950221557/12\ 967003398728736734156837367497410027*c_1001_0^2 + 21794800192815730705202839302887542289/1852429056961248104879548195\ 356772861*c_1001_0 - 31129483930373541549771750986890141874/1296700\ 3398728736734156837367497410027, c_0101_0 - 3363250249613972372239025584726313600/1296700339872873673415\ 6837367497410027*c_1001_0^13 + 537918227056670719639741351927318387\ 2/12967003398728736734156837367497410027*c_1001_0^12 - 28363805147337655538354692958686905144/1296700339872873673415683736\ 7497410027*c_1001_0^11 - 37136158143279266736353034512468767266/129\ 67003398728736734156837367497410027*c_1001_0^10 - 259876218849797341195512110918105826110/129670033987287367341568373\ 67497410027*c_1001_0^9 + 483063656754543093441685501654416094109/12\ 967003398728736734156837367497410027*c_1001_0^8 - 43058135262799105737746250888201865417/1852429056961248104879548195\ 356772861*c_1001_0^7 + 26783957026878490004984142556956538111/12967\ 003398728736734156837367497410027*c_1001_0^6 - 77203192781470816829166032239318634873/1296700339872873673415683736\ 7497410027*c_1001_0^5 + 62363518762147412556536075153281218934/1296\ 7003398728736734156837367497410027*c_1001_0^4 - 211901312262410500537353344534524510830/129670033987287367341568373\ 67497410027*c_1001_0^3 + 317463021554733421178274794379843937969/12\ 967003398728736734156837367497410027*c_1001_0^2 - 26689384704289250441928485945687022871/1852429056961248104879548195\ 356772861*c_1001_0 + 39123507115964102217283748984661595257/1296700\ 3398728736734156837367497410027, c_0110_2 - 5835436774927882348321192587044076160/1296700339872873673415\ 6837367497410027*c_1001_0^13 + 897779727339061475042493687166658777\ 6/12967003398728736734156837367497410027*c_1001_0^12 - 48787963385839022451962683377949551224/1296700339872873673415683736\ 7497410027*c_1001_0^11 - 67146425710610845778153690206164568066/129\ 67003398728736734156837367497410027*c_1001_0^10 - 455951446428487577739009372649491542130/129670033987287367341568373\ 67497410027*c_1001_0^9 + 809630470263943676528741673913143148072/12\ 967003398728736734156837367497410027*c_1001_0^8 - 68752734083609124150527161494439777324/1852429056961248104879548195\ 356772861*c_1001_0^7 + 43967652726009427528681589504590582214/12967\ 003398728736734156837367497410027*c_1001_0^6 - 132808246299136681863561682089015364274/129670033987287367341568373\ 67497410027*c_1001_0^5 + 111096310227054637089856134519775150210/12\ 967003398728736734156837367497410027*c_1001_0^4 - 379472349482538934932942765208754270126/129670033987287367341568373\ 67497410027*c_1001_0^3 + 534575915523572322651626562398805715276/12\ 967003398728736734156837367497410027*c_1001_0^2 - 43136452864323993007033096919347386364/1852429056961248104879548195\ 356772861*c_1001_0 + 63301553768127551464415247295860171426/1296700\ 3398728736734156837367497410027, c_1001_0^14 - 2*c_1001_0^13 + 147/16*c_1001_0^12 + 481/64*c_1001_0^11 + 295/4*c_1001_0^10 - 2769/16*c_1001_0^9 + 10005/64*c_1001_0^8 - 461/8*c_1001_0^7 + 2023/64*c_1001_0^6 - 847/32*c_1001_0^5 + 4827/64*c_1001_0^4 - 3939/32*c_1001_0^3 + 3277/32*c_1001_0^2 - 85/2*c_1001_0 + 527/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB