Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 4189611519] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s586 geometric_solution 5.06100435 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 2 0132 0132 1023 1023 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 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.399212308524 0.306082164198 0 3 0 4 0132 0132 1023 0132 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 1 -1 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.422439650048 1.209539575196 3 0 4 0 3201 0132 3201 1023 0 0 0 0 0 1 -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 -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.422439650048 1.209539575196 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 -1 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 -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.009855465880 1.100437617151 2 5 1 5 2310 0132 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676694003516 1.734315402255 4 4 5 5 3201 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.252816940473 0.241222996197 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 640565155031540260223606222241998163/493817214549286574357483669356\ 3958*c_0110_5^20 - 691381149016842443471457251409708555/49381721454\ 92865743574836693563958*c_0110_5^19 + 5277699660203258088367346191545887289/49381721454928657435748366935\ 63958*c_0110_5^18 + 3957802939842337731370439262493224609/493817214\ 5492865743574836693563958*c_0110_5^17 - 3171128693821170239280314843116876705/49381721454928657435748366935\ 63958*c_0110_5^16 - 18958285597632742466680149583581388343/49381721\ 45492865743574836693563958*c_0110_5^15 - 22619609706262049872612567245149013565/4938172145492865743574836693\ 563958*c_0110_5^14 + 37705060103905382674446610922678827229/4938172\ 145492865743574836693563958*c_0110_5^13 - 441018842962431349720244683762336518/246908607274643287178741834678\ 1979*c_0110_5^12 - 8164314583188949451139603870625526328/2469086072\ 746432871787418346781979*c_0110_5^11 + 34441957895825264217881579586644291157/2469086072746432871787418346\ 781979*c_0110_5^10 - 3070260126145109727350232825060550335/24690860\ 72746432871787418346781979*c_0110_5^9 - 1541711389747992041763149199330180639/29048071444075680844557862903\ 3174*c_0110_5^8 + 4956927652747860329761514013846116377/24690860727\ 46432871787418346781979*c_0110_5^7 + 5795114753086534718888914986052247496/24690860727464328717874183467\ 81979*c_0110_5^6 - 3323179709148845827790190065948989007/2469086072\ 746432871787418346781979*c_0110_5^5 - 79637581939008042261464677841496039/2904807144407568084455786290331\ 74*c_0110_5^4 + 64883291389803968832562179246165814/145240357220378\ 404222789314516587*c_0110_5^3 - 23613787693432700482977698141260441\ 0/2469086072746432871787418346781979*c_0110_5^2 - 138124425837360864835966928913159959/493817214549286574357483669356\ 3958*c_0110_5 + 28835949536177001534634087589536388/246908607274643\ 2871787418346781979, c_0011_0 - 1, c_0011_4 + 4597400002214021822490307091986521/1452403572203784042227893\ 14516587*c_0110_5^20 + 8286660347124955864546513441262232/145240357\ 220378404222789314516587*c_0110_5^19 - 34462959931119043391941425934123281/1452403572203784042227893145165\ 87*c_0110_5^18 - 56825164995876299716634018796293235/14524035722037\ 8404222789314516587*c_0110_5^17 + 230405600739443265621460966072207\ 8/145240357220378404222789314516587*c_0110_5^16 + 160048858733271758244246127179969118/145240357220378404222789314516\ 587*c_0110_5^15 + 268681494092842616559846593687858038/145240357220\ 378404222789314516587*c_0110_5^14 - 159573726007305286550005351525282833/145240357220378404222789314516\ 587*c_0110_5^13 - 223034054413524148167907226674357030/145240357220\ 378404222789314516587*c_0110_5^12 + 88485337616146784701275134010653595/1452403572203784042227893145165\ 87*c_0110_5^11 - 375892230907383343834943800135854940/1452403572203\ 78404222789314516587*c_0110_5^10 - 291551156197023243203685136909322104/145240357220378404222789314516\ 587*c_0110_5^9 + 222129203116592057238062330155349135/1452403572203\ 78404222789314516587*c_0110_5^8 + 139881011935724232940777748035055\ 363/145240357220378404222789314516587*c_0110_5^7 - 107120349787874992493245567936067789/145240357220378404222789314516\ 587*c_0110_5^6 - 45244401923346555089293121356436456/14524035722037\ 8404222789314516587*c_0110_5^5 + 3509331078639642066934981687712278\ 0/145240357220378404222789314516587*c_0110_5^4 + 6347210296370674840458057484316475/14524035722037840422278931451658\ 7*c_0110_5^3 - 6038294979044345388236021191408773/14524035722037840\ 4222789314516587*c_0110_5^2 - 354353996531410467389475179686311/145\ 240357220378404222789314516587*c_0110_5 + 390126601241786620012830938388730/145240357220378404222789314516587\ , c_0101_0 + 8267239594814130597666955374590220/1452403572203784042227893\ 14516587*c_0110_5^20 + 15375171870045455863739798422112157/14524035\ 7220378404222789314516587*c_0110_5^19 - 61197667410280569804358118534630556/1452403572203784042227893145165\ 87*c_0110_5^18 - 105878718734586309816291668850436506/1452403572203\ 78404222789314516587*c_0110_5^17 - 1131912919202470054530412681736559/14524035722037840422278931451658\ 7*c_0110_5^16 + 288959663809809358920319707895662694/14524035722037\ 8404222789314516587*c_0110_5^15 + 499627076620817197862138998603823\ 804/145240357220378404222789314516587*c_0110_5^14 - 261582754733309693598875106067371464/145240357220378404222789314516\ 587*c_0110_5^13 - 421751416645757526919297350605317191/145240357220\ 378404222789314516587*c_0110_5^12 + 138477976633706100268764582380928973/145240357220378404222789314516\ 587*c_0110_5^11 - 664835844869041018983195716911666749/145240357220\ 378404222789314516587*c_0110_5^10 - 566055753781541333245485717782470387/145240357220378404222789314516\ 587*c_0110_5^9 + 377843340746908312659154001649283765/1452403572203\ 78404222789314516587*c_0110_5^8 + 279975978086643869309911645977686\ 286/145240357220378404222789314516587*c_0110_5^7 - 181707119493929654028873530179300651/145240357220378404222789314516\ 587*c_0110_5^6 - 90473062505149183334955126516649517/14524035722037\ 8404222789314516587*c_0110_5^5 + 6104325307094809256867416124709550\ 9/145240357220378404222789314516587*c_0110_5^4 + 14054450882643581582720605320398826/1452403572203784042227893145165\ 87*c_0110_5^3 - 10705484413577902212910914935227277/145240357220378\ 404222789314516587*c_0110_5^2 - 497368586667522501227334439564997/1\ 45240357220378404222789314516587*c_0110_5 + 756132328733631676316523261788498/145240357220378404222789314516587\ , c_0101_1 - 9885118089807229300722169137286029/1452403572203784042227893\ 14516587*c_0110_5^20 - 19120934980182655850784815722058694/14524035\ 7220378404222789314516587*c_0110_5^19 + 72613468926151563894975187999789509/1452403572203784042227893145165\ 87*c_0110_5^18 + 133165439796321892990290662080477729/1452403572203\ 78404222789314516587*c_0110_5^17 + 4218100750233443263398008717078875/14524035722037840422278931451658\ 7*c_0110_5^16 - 352719837473021530695288142782041410/14524035722037\ 8404222789314516587*c_0110_5^15 - 619622499052136562639478052341544\ 646/145240357220378404222789314516587*c_0110_5^14 + 295756983220503508322519440098604323/145240357220378404222789314516\ 587*c_0110_5^13 + 564342565391616411140695973178228368/145240357220\ 378404222789314516587*c_0110_5^12 - 172167383166116531873328006952923193/145240357220378404222789314516\ 587*c_0110_5^11 + 758260965707174383553574533769940253/145240357220\ 378404222789314516587*c_0110_5^10 + 756848044735674290064625038563046923/145240357220378404222789314516\ 587*c_0110_5^9 - 475066087679707288594444407831582446/1452403572203\ 78404222789314516587*c_0110_5^8 - 384602111541511701275242754790259\ 674/145240357220378404222789314516587*c_0110_5^7 + 241218221648436661593767208893089628/145240357220378404222789314516\ 587*c_0110_5^6 + 136944819881475327514789640253049504/1452403572203\ 78404222789314516587*c_0110_5^5 - 829801198853364857317252408684420\ 95/145240357220378404222789314516587*c_0110_5^4 - 23782886731040082815846970095728254/1452403572203784042227893145165\ 87*c_0110_5^3 + 15704619801214001275616335476784708/145240357220378\ 404222789314516587*c_0110_5^2 + 916169870971167184411178564273986/1\ 45240357220378404222789314516587*c_0110_5 - 1096508518253517205747247437796088/14524035722037840422278931451658\ 7, c_0101_2 - 3194037281840135922081609295465377/1452403572203784042227893\ 14516587*c_0110_5^20 - 4445856900176540007524410212180813/145240357\ 220378404222789314516587*c_0110_5^19 + 26275861974177415026831779201597499/1452403572203784042227893145165\ 87*c_0110_5^18 + 29965689275583841830128569730564600/14524035722037\ 8404222789314516587*c_0110_5^17 - 169952371180919011120514501163506\ 42/145240357220378404222789314516587*c_0110_5^16 - 113015357738232267681483017371260867/145240357220378404222789314516\ 587*c_0110_5^15 - 144868831803750831740748494582459295/145240357220\ 378404222789314516587*c_0110_5^14 + 187001753939606936440208403035427459/145240357220378404222789314516\ 587*c_0110_5^13 + 119893606411202398483435850109836141/145240357220\ 378404222789314516587*c_0110_5^12 - 104910128793144247224807545736745064/145240357220378404222789314516\ 587*c_0110_5^11 + 272586993878456359260108136104235461/145240357220\ 378404222789314516587*c_0110_5^10 + 83058823384705600207257030298020265/1452403572203784042227893145165\ 87*c_0110_5^9 - 228525304515176442074988247877204139/14524035722037\ 8404222789314516587*c_0110_5^8 - 6530436514622804884956546426971663\ 6/145240357220378404222789314516587*c_0110_5^7 + 98911077773281757475161643395599628/1452403572203784042227893145165\ 87*c_0110_5^6 + 15482296489961718870720363730922215/145240357220378\ 404222789314516587*c_0110_5^5 - 30154638672155491831454219061686847\ /145240357220378404222789314516587*c_0110_5^4 - 852429180341381608967479471492323/145240357220378404222789314516587\ *c_0110_5^3 + 4248211389269907486265343966459319/145240357220378404\ 222789314516587*c_0110_5^2 - 49847967304251709563136551360796/14524\ 0357220378404222789314516587*c_0110_5 - 277929745380477791094279414959469/145240357220378404222789314516587\ , c_0110_5^21 + 4/3*c_0110_5^20 - 25/3*c_0110_5^19 - 238/27*c_0110_5^18 + 169/27*c_0110_5^17 + 928/27*c_0110_5^16 + 1133/27*c_0110_5^15 - 1669/27*c_0110_5^14 - 845/27*c_0110_5^13 + 382/9*c_0110_5^12 - 2476/27*c_0110_5^11 - 685/27*c_0110_5^10 + 2098/27*c_0110_5^9 + 53/9*c_0110_5^8 - 1022/27*c_0110_5^7 + 55/27*c_0110_5^6 + 328/27*c_0110_5^5 - 68/27*c_0110_5^4 - 50/27*c_0110_5^3 + 17/27*c_0110_5^2 + 2/27*c_0110_5 - 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB