Magma V2.19-8 Tue Aug 20 2013 16:16:56 on localhost [Seed = 1848636095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1197 geometric_solution 5.09034349 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 2.008851066117 1.161398021795 0 1 1 0 0132 3201 2310 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.634054240875 0.170095634972 0 3 4 0 3201 0132 0132 0132 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 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.528412683270 0.508287219851 5 2 4 6 0132 0132 1302 0132 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 -1 0 1 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.466519685410 0.393866541070 3 6 5 2 2031 1023 1023 0132 0 0 0 0 0 1 0 -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 -1 0 1 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.466519685410 0.393866541070 3 5 4 5 0132 2310 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 0 -1 0 0 0 0 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.231381546450 1.448110444528 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 1 0 0 -1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014833947763 0.719374204919 ==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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 61200474659841463324973935/27556852238425248361504*c_0110_6^15 - 11186707252256379057720239/3444606529803156045188*c_0110_6^14 + 1207312949094280667748784895/110227408953700993446016*c_0110_6^13 - 2274330092336832696155734813/110227408953700993446016*c_0110_6^12 - 116519903493598460069484089/861151632450789011297*c_0110_6^11 + 11959435703616239966632584797/110227408953700993446016*c_0110_6^10 + 4049209082973489186596210503/13778426119212624180752*c_0110_6^9 + 93023275772994078225727510757/110227408953700993446016*c_0110_6^8 + 90352341941211066409354525597/110227408953700993446016*c_0110_6^7 + 3000828730031989081121438817/110227408953700993446016*c_0110_6^6 - 375823709801419428616634811/13778426119212624180752*c_0110_6^5 - 1509551184766650402806229057/27556852238425248361504*c_0110_6^4 + 609841595393556412327997657/55113704476850496723008*c_0110_6^3 + 599461548433089800167080893/110227408953700993446016*c_0110_6^2 - 783209635305303394552865059/110227408953700993446016*c_0110_6 + 113180265477858708569520249/110227408953700993446016, c_0011_0 - 1, c_0011_2 + 609080701885511785064720/861151632450789011297*c_0110_6^15 - 899424375013429341973532/861151632450789011297*c_0110_6^14 + 3017352395478159570491764/861151632450789011297*c_0110_6^13 - 5701937749695810851037547/861151632450789011297*c_0110_6^12 - 37024385203632714500103971/861151632450789011297*c_0110_6^11 + 30287492065604960941702158/861151632450789011297*c_0110_6^10 + 80121356111353180128018550/861151632450789011297*c_0110_6^9 + 230260327316550072660604747/861151632450789011297*c_0110_6^8 + 221578091036977934533777151/861151632450789011297*c_0110_6^7 + 4622137045313224346883838/861151632450789011297*c_0110_6^6 - 6923781919714948830143397/861151632450789011297*c_0110_6^5 - 14368928570182000449936866/861151632450789011297*c_0110_6^4 + 3495918122191892413466441/861151632450789011297*c_0110_6^3 + 1529317407459927690819635/861151632450789011297*c_0110_6^2 - 1946904556197987978911786/861151632450789011297*c_0110_6 + 319723202200743283374462/861151632450789011297, c_0011_4 - 57385521413606678875144/861151632450789011297*c_0110_6^15 + 85004302801992008540948/861151632450789011297*c_0110_6^14 - 284663646913322904313726/861151632450789011297*c_0110_6^13 + 538503920946174961881955/861151632450789011297*c_0110_6^12 + 3485892695723107012190738/861151632450789011297*c_0110_6^11 - 2869703012572345177588455/861151632450789011297*c_0110_6^10 - 7536302270464259721546247/861151632450789011297*c_0110_6^9 - 21658806211462361264463330/861151632450789011297*c_0110_6^8 - 20775063071890927682782962/861151632450789011297*c_0110_6^7 - 337090738685652220716939/861151632450789011297*c_0110_6^6 + 655959342772918115034956/861151632450789011297*c_0110_6^5 + 1347076130440043141197870/861151632450789011297*c_0110_6^4 - 336782944208051613141974/861151632450789011297*c_0110_6^3 - 140999000327142721448143/861151632450789011297*c_0110_6^2 + 184528070053471936910383/861151632450789011297*c_0110_6 - 30646407927459152151583/861151632450789011297, c_0101_0 + 135250310274306776011616/861151632450789011297*c_0110_6^15 - 200175624950972347261440/861151632450789011297*c_0110_6^14 + 670601217428728055281268/861151632450789011297*c_0110_6^13 - 1268235568054201785661372/861151632450789011297*c_0110_6^12 - 8217749805632789655120593/861151632450789011297*c_0110_6^11 + 6754025925086399038823378/861151632450789011297*c_0110_6^10 + 17774161162658862950422593/861151632450789011297*c_0110_6^9 + 51065227789142619971454420/861151632450789011297*c_0110_6^8 + 49021103562404736250731023/861151632450789011297*c_0110_6^7 + 830706984538438344186338/861151632450789011297*c_0110_6^6 - 1563091028388996441354373/861151632450789011297*c_0110_6^5 - 3175075400380890218832477/861151632450789011297*c_0110_6^4 + 791743688450024886920152/861151632450789011297*c_0110_6^3 + 342281498325591795266987/861151632450789011297*c_0110_6^2 - 434319842557127166093129/861151632450789011297*c_0110_6 + 71879862538280616021457/861151632450789011297, c_0101_1 - 491975285951373757614808/861151632450789011297*c_0110_6^15 + 726819593618561181921212/861151632450789011297*c_0110_6^14 - 2437655577960993739259206/861151632450789011297*c_0110_6^13 + 4607175473154743936760797/861151632450789011297*c_0110_6^12 + 29903056073849392946076487/861151632450789011297*c_0110_6^11 - 24484398301919530935040659/861151632450789011297*c_0110_6^10 - 64703004757727525962715710/861151632450789011297*c_0110_6^9 - 185943394953218969321676648/861151632450789011297*c_0110_6^8 - 178849026553454455158167148/861151632450789011297*c_0110_6^7 - 3602251679257736545490337/861151632450789011297*c_0110_6^6 + 5602965809470368032230562/861151632450789011297*c_0110_6^5 + 11594168863461092839365460/861151632450789011297*c_0110_6^4 - 2835883281753759423184772/861151632450789011297*c_0110_6^3 - 1236719339327431581317155/861151632450789011297*c_0110_6^2 + 1573782007527664556502836/861151632450789011297*c_0110_6 - 258554642980898366040480/861151632450789011297, c_0101_5 - 197338314405490563586140/861151632450789011297*c_0110_6^15 + 291600201026984791217124/861151632450789011297*c_0110_6^14 - 977796011317773941410231/861151632450789011297*c_0110_6^13 + 1848268818824643785867830/861151632450789011297*c_0110_6^12 + 11994229020850190645598353/861151632450789011297*c_0110_6^11 - 9825211730462000429905689/861151632450789011297*c_0110_6^10 - 25955359249840705181334045/861151632450789011297*c_0110_6^9 - 74576593160585099685104454/861151632450789011297*c_0110_6^8 - 71702065453714491850221710/861151632450789011297*c_0110_6^7 - 1385275631462143340129251/861151632450789011297*c_0110_6^6 + 2299537736197162304628194/861151632450789011297*c_0110_6^5 + 4673154756361151430767149/861151632450789011297*c_0110_6^4 - 1139582067380801083787731/861151632450789011297*c_0110_6^3 - 498312456336663911369565/861151632450789011297*c_0110_6^2 + 630387158594096081800430/861151632450789011297*c_0110_6 - 103561992291708872141552/861151632450789011297, c_0110_6^16 - c_0110_6^15 + 17/4*c_0110_6^14 - 7*c_0110_6^13 - 261/4*c_0110_6^12 + 83/4*c_0110_6^11 + 621/4*c_0110_6^10 + 1763/4*c_0110_6^9 + 544*c_0110_6^8 + 181*c_0110_6^7 - 31/4*c_0110_6^6 - 29*c_0110_6^5 - 11/2*c_0110_6^4 + 21/4*c_0110_6^3 - 2*c_0110_6^2 - c_0110_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB