Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 2412647402] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s748 geometric_solution 5.28039670 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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.462565315388 0.268118737551 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919249233529 0.669837105298 1 4 3 5 0132 0132 3012 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 0 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 1.046387170743 0.986548545919 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 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 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 1.046387170743 0.986548545919 4 2 3 4 3201 0132 1023 2310 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 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.064769962980 0.833571903391 5 5 2 3 1302 2031 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 -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.701229875770 0.813253775973 ==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' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 268424699210867203673380608719252381161453102189/241844180733149705\ 955084228659747643600542384734*c_0101_3^19 + 10514848516798491223024675504310457930664795554067/7255325421994491\ 17865252685979242930801627154202*c_0101_3^18 - 25368996660972079332157629576842724019916012429345/3627662710997245\ 58932626342989621465400813577101*c_0101_3^17 + 160124314108815114527056812979929921501630525409183/725532542199449\ 117865252685979242930801627154202*c_0101_3^16 - 102810918795199858112461424905929130591006254051415/241844180733149\ 705955084228659747643600542384734*c_0101_3^15 + 328557009772302037256824749837668507755724825514852/120922090366574\ 852977542114329873821800271192367*c_0101_3^14 - 2747711079205158184627142959573393402923144377737375/72553254219944\ 9117865252685979242930801627154202*c_0101_3^13 + 240297800732084977841590642767526619403930783316108/362766271099724\ 558932626342989621465400813577101*c_0101_3^12 - 19775006997695287003090528588068404319813406124593/2823083821787739\ 758230555198362812960317615386*c_0101_3^11 - 1435251531667989533047135598217408053504294967762241/72553254219944\ 9117865252685979242930801627154202*c_0101_3^10 + 5748763191917403543223172015934568483259607506611189/36276627109972\ 4558932626342989621465400813577101*c_0101_3^9 - 3496904681978238879983536138516457312479706681274469/72553254219944\ 9117865252685979242930801627154202*c_0101_3^8 + 17715997799281760967109919054062010423013566118683/1422612827842057\ 0938534366391749861388267199102*c_0101_3^7 + 257580764811454683566629284265819955393673298497008/362766271099724\ 558932626342989621465400813577101*c_0101_3^6 - 1466130535135027625039432282530296764836877508499090/36276627109972\ 4558932626342989621465400813577101*c_0101_3^5 + 743935090350593422435977869110841826237456274944973/362766271099724\ 558932626342989621465400813577101*c_0101_3^4 - 248830571053832704595827969323734581529817693040508/362766271099724\ 558932626342989621465400813577101*c_0101_3^3 - 51499598951800820231494040933316864766287229006469/2418441807331497\ 05955084228659747643600542384734*c_0101_3^2 + 5329613716799315573814455392552522456751144516961/24184418073314970\ 5955084228659747643600542384734*c_0101_3 - 108048306312488839893068338769852807702008170100679/725532542199449\ 117865252685979242930801627154202, c_0011_0 - 1, c_0011_1 + 877652257105657808681757796523724159876726442/71130641392102\ 85469267183195874930694133599551*c_0101_3^19 - 10922871420613073415669211475230547067912841003/7113064139210285469\ 267183195874930694133599551*c_0101_3^18 + 48745016513048724395617909289111453708039825988/7113064139210285469\ 267183195874930694133599551*c_0101_3^17 - 146294167470578591381721413926266817419361153131/711306413921028546\ 9267183195874930694133599551*c_0101_3^16 + 253674537148453558229816991774215185985706852829/711306413921028546\ 9267183195874930694133599551*c_0101_3^15 - 2014347012856035641083788004711213324795054896688/71130641392102854\ 69267183195874930694133599551*c_0101_3^14 + 1798114832094833361933259432067618109617992802497/71130641392102854\ 69267183195874930694133599551*c_0101_3^13 + 277825690757457894689802781333525555250094084899/711306413921028546\ 9267183195874930694133599551*c_0101_3^12 + 23108613380149453329349023601132682363186507690/2767729237046803684\ 5397599983949146669780543*c_0101_3^11 + 5213260547525777572632145366231456140266326754947/71130641392102854\ 69267183195874930694133599551*c_0101_3^10 - 8406410976207465436163582195389283108981228024610/71130641392102854\ 69267183195874930694133599551*c_0101_3^9 - 395510742671123347728649082466587223381162327074/711306413921028546\ 9267183195874930694133599551*c_0101_3^8 - 2155945878825040919994220303453518020845043884151/71130641392102854\ 69267183195874930694133599551*c_0101_3^7 - 1904343048607127448343683038674477601946231204489/71130641392102854\ 69267183195874930694133599551*c_0101_3^6 + 1444877680907460549018053466206476908540330985567/71130641392102854\ 69267183195874930694133599551*c_0101_3^5 - 1175666078834498769974508327896827661220456384581/71130641392102854\ 69267183195874930694133599551*c_0101_3^4 - 64185899934521955976884941034070441273376774243/7113064139210285469\ 267183195874930694133599551*c_0101_3^3 - 84504892546821364301959222368156168033119675107/7113064139210285469\ 267183195874930694133599551*c_0101_3^2 - 71019883939288062631324860738271653662392527327/7113064139210285469\ 267183195874930694133599551*c_0101_3 + 37057128989696508281446471403803551859166027262/7113064139210285469\ 267183195874930694133599551, c_0011_3 + 577193508449623454626721481362474769132551287/71130641392102\ 85469267183195874930694133599551*c_0101_3^19 - 7162612678290979741115613775214953342944982618/71130641392102854692\ 67183195874930694133599551*c_0101_3^18 + 31808498393133870258115972513488707572906932475/7113064139210285469\ 267183195874930694133599551*c_0101_3^17 - 95192325526727256811348142132717059638723357361/7113064139210285469\ 267183195874930694133599551*c_0101_3^16 + 164018118717744077379176829485982546177344312237/711306413921028546\ 9267183195874930694133599551*c_0101_3^15 - 1320813425037103016705793203613946977567172082942/71130641392102854\ 69267183195874930694133599551*c_0101_3^14 + 1138633778133882611286706303565640528255895827940/71130641392102854\ 69267183195874930694133599551*c_0101_3^13 + 198851299731898918106581111872289866535944538698/711306413921028546\ 9267183195874930694133599551*c_0101_3^12 + 15355519853796372855044051249702684102631539759/2767729237046803684\ 5397599983949146669780543*c_0101_3^11 + 3561661763331967809606812147218967930823805400535/71130641392102854\ 69267183195874930694133599551*c_0101_3^10 - 5328334723985138975088684125455945760514266481320/71130641392102854\ 69267183195874930694133599551*c_0101_3^9 - 430696481531324284473818713187613146408609160225/711306413921028546\ 9267183195874930694133599551*c_0101_3^8 - 1558404807812916195135845330171086297489641704928/71130641392102854\ 69267183195874930694133599551*c_0101_3^7 - 1265080633355246282975028627643722111033627123295/71130641392102854\ 69267183195874930694133599551*c_0101_3^6 + 867707808091119081016049542289959003009529568137/711306413921028546\ 9267183195874930694133599551*c_0101_3^5 - 734947356207337044341432681707670451761454528439/711306413921028546\ 9267183195874930694133599551*c_0101_3^4 - 44424454378255165539917291601414884566386475774/7113064139210285469\ 267183195874930694133599551*c_0101_3^3 - 75227529462839040553344670124402072419417451843/7113064139210285469\ 267183195874930694133599551*c_0101_3^2 - 42694741545783794735762471660380879302526470437/7113064139210285469\ 267183195874930694133599551*c_0101_3 + 19045507564612834867873790389054516917288597647/7113064139210285469\ 267183195874930694133599551, c_0011_5 - 852952110490084366620566038693280993231085109/71130641392102\ 85469267183195874930694133599551*c_0101_3^19 + 10623842433868769358317932385467889430771563207/7113064139210285469\ 267183195874930694133599551*c_0101_3^18 - 47493459277821919296279533552892095415180210384/7113064139210285469\ 267183195874930694133599551*c_0101_3^17 + 142839203047709495085933628877614146045712290817/711306413921028546\ 9267183195874930694133599551*c_0101_3^16 - 248788464575855605899144155192160760366773255963/711306413921028546\ 9267183195874930694133599551*c_0101_3^15 + 1962585373006922305099512877203397442928715280020/71130641392102854\ 69267183195874930694133599551*c_0101_3^14 - 1770866618563652533900981477393744103627382325475/71130641392102854\ 69267183195874930694133599551*c_0101_3^13 - 216976393469205045038145841245190795032152549233/711306413921028546\ 9267183195874930694133599551*c_0101_3^12 - 22553089074695115212481941909613153927862721839/2767729237046803684\ 5397599983949146669780543*c_0101_3^11 - 5023947653435234119888787174949995573662326153302/71130641392102854\ 69267183195874930694133599551*c_0101_3^10 + 8108060078183768021513437091385270474313838063260/71130641392102854\ 69267183195874930694133599551*c_0101_3^9 + 203401274575039014443790626040797285094110535773/711306413921028546\ 9267183195874930694133599551*c_0101_3^8 + 2240989696246109386605525494500623563321909549427/71130641392102854\ 69267183195874930694133599551*c_0101_3^7 + 1892490313057331055129589142040014336490288245694/71130641392102854\ 69267183195874930694133599551*c_0101_3^6 - 1402012012836374440621684682708677604070971847178/71130641392102854\ 69267183195874930694133599551*c_0101_3^5 + 1159919342861764395497730164737276645563796821008/71130641392102854\ 69267183195874930694133599551*c_0101_3^4 + 41992407332768236592823828105149348349453434960/7113064139210285469\ 267183195874930694133599551*c_0101_3^3 + 80696599797799819782003366801373165638802575180/7113064139210285469\ 267183195874930694133599551*c_0101_3^2 + 72351385560654455933217206052618890478676413273/7113064139210285469\ 267183195874930694133599551*c_0101_3 - 33635764084516852593304071867326554005213480720/7113064139210285469\ 267183195874930694133599551, c_0101_0 + 291996251807045424078938259795531094999735045/71130641392102\ 85469267183195874930694133599551*c_0101_3^19 - 3682030625618150845851303416567202275598915205/71130641392102854692\ 67183195874930694133599551*c_0101_3^18 + 16798909596841992920714884119975818023307219376/7113064139210285469\ 267183195874930694133599551*c_0101_3^17 - 51139793430093526845302619685335437607807343332/7113064139210285469\ 267183195874930694133599551*c_0101_3^16 + 91502821935215755245564070887773443191137541709/7113064139210285469\ 267183195874930694133599551*c_0101_3^15 - 681340380302313134819949482107724201804326324622/711306413921028546\ 9267183195874930694133599551*c_0101_3^14 + 703575155798458453639487205826929247448603765504/711306413921028546\ 9267183195874930694133599551*c_0101_3^13 + 30497258671432624768823421863206367111888334646/7113064139210285469\ 267183195874930694133599551*c_0101_3^12 + 7491337511140894450483861514210757219648694238/27677292370468036845\ 397599983949146669780543*c_0101_3^11 + 1407294636461918252308492549499246163681530562146/71130641392102854\ 69267183195874930694133599551*c_0101_3^10 - 3182029871399219662165392138819243415888226920277/71130641392102854\ 69267183195874930694133599551*c_0101_3^9 + 241266826865701824079293862625825174902753157588/711306413921028546\ 9267183195874930694133599551*c_0101_3^8 - 538474576196510883922391751600230109762041471058/711306413921028546\ 9267183195874930694133599551*c_0101_3^7 - 537039377291713329383652778542360695413537046317/711306413921028546\ 9267183195874930694133599551*c_0101_3^6 + 606906204306998415952373058946892534542262403299/711306413921028546\ 9267183195874930694133599551*c_0101_3^5 - 412161495177523506476324086879589252405988997320/711306413921028546\ 9267183195874930694133599551*c_0101_3^4 + 20806449316857433746827020846412689720692322192/7113064139210285469\ 267183195874930694133599551*c_0101_3^3 - 10070564493627569254737052014390609914300760655/7113064139210285469\ 267183195874930694133599551*c_0101_3^2 - 15399690561716391859755236150016181721969374093/7113064139210285469\ 267183195874930694133599551*c_0101_3 + 11061111506059362394767665442330309074947266089/7113064139210285469\ 267183195874930694133599551, c_0101_3^20 - 12*c_0101_3^19 + 50*c_0101_3^18 - 142*c_0101_3^17 + 215*c_0101_3^16 - 2167*c_0101_3^15 + 1027*c_0101_3^14 + 1219*c_0101_3^13 + 6910*c_0101_3^12 + 8964*c_0101_3^11 - 6895*c_0101_3^10 - 4668*c_0101_3^9 - 2686*c_0101_3^8 - 3307*c_0101_3^7 + 665*c_0101_3^6 - 606*c_0101_3^5 - 669*c_0101_3^4 - 125*c_0101_3^3 - 125*c_0101_3^2 + c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB