Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 3650635231] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s590 geometric_solution 5.06673865 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 0132 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 1 0 -1 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.444711516106 0.352100680004 3 2 4 0 0132 3012 0132 0132 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 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.617806105912 1.094353063459 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 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.617806105912 1.094353063459 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811789190947 1.039654247642 2 5 5 1 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187660002516 0.612803148610 5 4 4 5 3012 0132 1023 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.032191896046 0.722702147397 ==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' : negation(d['1']), 's_3_4' : 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' : d['1'], 's_2_4' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_0']), '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_1, c_0011_4, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 275474482967730476291055666628008852/301345781848047668388513163558\ 48189*c_0101_5^20 - 2042152802942592857907437542579406117/602691563\ 69609533677702632711696378*c_0101_5^19 + 6076865762253665369759380761062121793/30134578184804766838851316355\ 848189*c_0101_5^18 + 19674962724159726872779804837456878618/3013457\ 8184804766838851316355848189*c_0101_5^17 + 10828366738768512439189138725755196513/6026915636960953367770263271\ 1696378*c_0101_5^16 - 23058729289946663970074140752636172725/301345\ 78184804766838851316355848189*c_0101_5^15 - 115583981759732171343314365560005606219/602691563696095336777026327\ 11696378*c_0101_5^14 - 133605198573960464261752753379935507701/3013\ 4578184804766838851316355848189*c_0101_5^13 - 588903734743174648580141504618843881069/602691563696095336777026327\ 11696378*c_0101_5^12 - 178573241461836849242872258820236944321/3013\ 4578184804766838851316355848189*c_0101_5^11 + 5908362662925184723589254256137247083/54790142154190485161547847919\ 72398*c_0101_5^10 - 648156182850342325481786704287600375821/6026915\ 6369609533677702632711696378*c_0101_5^9 + 35322325277021113973047566338281766220/3013457818480476683885131635\ 5848189*c_0101_5^8 + 105387187777374647029714997987091627391/602691\ 56369609533677702632711696378*c_0101_5^7 - 118658475012625942003528039236556621179/602691563696095336777026327\ 11696378*c_0101_5^6 + 118184430094538463511733879532642775845/30134\ 578184804766838851316355848189*c_0101_5^5 + 45851979512193960048879749302810029593/6026915636960953367770263271\ 1696378*c_0101_5^4 - 31039226661562411546839220531678020878/3013457\ 8184804766838851316355848189*c_0101_5^3 - 1513664622760534236062419495107977280/30134578184804766838851316355\ 848189*c_0101_5^2 + 7537145578664212275682402637410584493/602691563\ 69609533677702632711696378*c_0101_5 - 493436158880192912502657995560071647/301345781848047668388513163558\ 48189, c_0011_0 - 1, c_0011_1 - 23805822657057841781231821926012/834752858304841186671781616\ 50549*c_0101_5^20 - 104228384914770582409805968636295/8347528583048\ 4118667178161650549*c_0101_5^19 + 467253869842006987424800708104178\ /83475285830484118667178161650549*c_0101_5^18 + 2058100581932942857114110433173809/83475285830484118667178161650549\ *c_0101_5^17 + 1580166509887437124937523095168071/83475285830484118\ 667178161650549*c_0101_5^16 - 1775499144540037534750316409648655/83\ 475285830484118667178161650549*c_0101_5^15 - 6372466468035791633300920908522207/83475285830484118667178161650549\ *c_0101_5^14 - 14816099571320802934332212853778191/8347528583048411\ 8667178161650549*c_0101_5^13 - 32909222129421102732005331575053238/\ 83475285830484118667178161650549*c_0101_5^12 - 31810293808968587509667631340975396/8347528583048411866717816165054\ 9*c_0101_5^11 - 544947860356509013866082830920867/75886623482258289\ 69743469240959*c_0101_5^10 - 25007947118161496004149113964964042/83\ 475285830484118667178161650549*c_0101_5^9 - 15466646116253957971898047021013427/8347528583048411866717816165054\ 9*c_0101_5^8 + 8382449954764501993681178389184842/83475285830484118\ 667178161650549*c_0101_5^7 - 2319775206047076320526024543090766/834\ 75285830484118667178161650549*c_0101_5^6 + 7147544929860218236286713953808933/83475285830484118667178161650549\ *c_0101_5^5 + 9007910612520709334979722576445096/834752858304841186\ 67178161650549*c_0101_5^4 - 1976057558596634408122148170220462/8347\ 5285830484118667178161650549*c_0101_5^3 - 1890298177577510679278076384111667/83475285830484118667178161650549\ *c_0101_5^2 + 212417318737824986667884821838050/8347528583048411866\ 7178161650549*c_0101_5 + 180472754239400168497510301804915/83475285\ 830484118667178161650549, c_0011_4 - 168839654321431465166575178596417/33390114332193647466871264\ 6602196*c_0101_5^20 - 689072965459654837395267133483131/33390114332\ 1936474668712646602196*c_0101_5^19 + 872845033354793203181485970434226/83475285830484118667178161650549*\ c_0101_5^18 + 6728546581160302134912294475758857/166950571660968237\ 334356323301098*c_0101_5^17 + 3900788268070498871265546798341041/16\ 6950571660968237334356323301098*c_0101_5^16 - 6469446921136516474171515978114833/16695057166096823733435632330109\ 8*c_0101_5^15 - 40630652108675624749499761160940849/333901143321936\ 474668712646602196*c_0101_5^14 - 9505520401303799993898281482253204\ 7/333901143321936474668712646602196*c_0101_5^13 - 105499375857537690503967828021126985/166950571660968237334356323301\ 098*c_0101_5^12 - 88364869753502656598179901529967247/1669505716609\ 68237334356323301098*c_0101_5^11 - 464996530313491481144827145809155/7588662348225828969743469240959*c\ _0101_5^10 - 192024208397560609819248670548098203/33390114332193647\ 4668712646602196*c_0101_5^9 - 13398984182288161059228355371345867/8\ 3475285830484118667178161650549*c_0101_5^8 + 20911255451909594887516227353756153/1669505716609682373343563233010\ 98*c_0101_5^7 - 27275066554414079875120992253519363/333901143321936\ 474668712646602196*c_0101_5^6 + 29706471557553002015464952338087807\ /166950571660968237334356323301098*c_0101_5^5 + 40551086223192446016741517929660917/3339011433219364746687126466021\ 96*c_0101_5^4 - 7426293488844696233658614227858795/1669505716609682\ 37334356323301098*c_0101_5^3 - 1837106187831874326791233995477702/8\ 3475285830484118667178161650549*c_0101_5^2 + 424770096231575561545006770499177/83475285830484118667178161650549*\ c_0101_5 + 573388003484064916372530019410555/3339011433219364746687\ 12646602196, c_0101_1 + 116904228881213240731439161584621/33390114332193647466871264\ 6602196*c_0101_5^20 + 423001074737891003515841542469495/33390114332\ 1936474668712646602196*c_0101_5^19 - 654866336232403653484496299274119/83475285830484118667178161650549*\ c_0101_5^18 - 4066532447703067227491475918126211/166950571660968237\ 334356323301098*c_0101_5^17 - 759502201054891188728934341547221/166\ 950571660968237334356323301098*c_0101_5^16 + 5101452466947336866603713300273793/16695057166096823733435632330109\ 8*c_0101_5^15 + 23907533721430094193495510903976965/333901143321936\ 474668712646602196*c_0101_5^14 + 5450281350911782665875670062965401\ 5/333901143321936474668712646602196*c_0101_5^13 + 59672628936891861609780586660838335/1669505716609682373343563233010\ 98*c_0101_5^12 + 31522205067085187862694747123787825/16695057166096\ 8237334356323301098*c_0101_5^11 - 555985547599749114560731183004610\ /7588662348225828969743469240959*c_0101_5^10 + 133791804513994690857497041726496175/333901143321936474668712646602\ 196*c_0101_5^9 - 7616343421662358879065083865283139/834752858304841\ 18667178161650549*c_0101_5^8 - 12788647978803459213583304547342571/\ 166950571660968237334356323301098*c_0101_5^7 + 23648950529297412311575399402686227/3339011433219364746687126466021\ 96*c_0101_5^6 - 27117453871214837892746320731188665/166950571660968\ 237334356323301098*c_0101_5^5 - 6333699645873902215732040236042229/\ 333901143321936474668712646602196*c_0101_5^4 + 7308526606932500175032092675440743/16695057166096823733435632330109\ 8*c_0101_5^3 - 85968695212854239116192742879045/8347528583048411866\ 7178161650549*c_0101_5^2 - 281791479268674610980989817570841/834752\ 85830484118667178161650549*c_0101_5 + 315406711026769405930718351779701/333901143321936474668712646602196\ , c_0101_2 + 437194166320383418732139048729865/33390114332193647466871264\ 6602196*c_0101_5^20 + 1783247392800222550989998876400635/3339011433\ 21936474668712646602196*c_0101_5^19 - 2249978898416584321579676308645769/83475285830484118667178161650549\ *c_0101_5^18 - 17326181062395220937472224599313537/1669505716609682\ 37334356323301098*c_0101_5^17 - 10542662439732930345152916098357021\ /166950571660968237334356323301098*c_0101_5^16 + 15118798564829136706081583543277387/1669505716609682373343563233010\ 98*c_0101_5^15 + 103763817730025848336344484840787881/3339011433219\ 36474668712646602196*c_0101_5^14 + 249272040568893945035546276774379763/333901143321936474668712646602\ 196*c_0101_5^13 + 277819832247721959636202010408607209/166950571660\ 968237334356323301098*c_0101_5^12 + 239799285427324127891450044360972701/166950571660968237334356323301\ 098*c_0101_5^11 + 2349386486684094646429848057847409/75886623482258\ 28969743469240959*c_0101_5^10 + 53388716753166208941589643043107219\ 9/333901143321936474668712646602196*c_0101_5^9 + 34940744159500537299031853954745379/8347528583048411866717816165054\ 9*c_0101_5^8 - 27463907852529093191696900998573569/1669505716609682\ 37334356323301098*c_0101_5^7 + 70376530861282304260302966255419575/\ 333901143321936474668712646602196*c_0101_5^6 - 79577104441560192523089770479067255/1669505716609682373343563233010\ 98*c_0101_5^5 - 99027007161725316767285523354120929/333901143321936\ 474668712646602196*c_0101_5^4 + 9972034187357719115889227704046479/\ 166950571660968237334356323301098*c_0101_5^3 + 3288092824283711081395443536601810/83475285830484118667178161650549\ *c_0101_5^2 - 471720961462929434884167233006845/8347528583048411866\ 7178161650549*c_0101_5 - 667343176024258947320159158358823/33390114\ 3321936474668712646602196, c_0101_5^21 + 4*c_0101_5^20 - 21*c_0101_5^19 - 78*c_0101_5^18 - 40*c_0101_5^17 + 80*c_0101_5^16 + 235*c_0101_5^15 + 544*c_0101_5^14 + 1205*c_0101_5^13 + 948*c_0101_5^12 + 42*c_0101_5^11 + 1123*c_0101_5^10 + 223*c_0101_5^9 - 258*c_0101_5^8 + 161*c_0101_5^7 - 355*c_0101_5^6 - 215*c_0101_5^5 + 101*c_0101_5^4 + 42*c_0101_5^3 - 16*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB