Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 290491891] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2070 geometric_solution 5.58800289 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 0132 0 0 0 0 0 -1 -1 2 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 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.690369524105 0.888705076987 0 3 2 4 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.276481951991 0.970796465596 1 4 0 3 2310 1023 0132 1023 0 0 0 0 0 1 -2 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 -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.276481951991 0.970796465596 5 1 5 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 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 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 1.016566324182 0.820604416263 2 4 1 4 1023 1302 0132 2031 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 0 0 0 0 0 0 0 0.243887891785 1.128647536791 3 3 6 6 0132 3201 3201 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394600777210 0.224644658868 5 6 5 6 2310 2310 0132 3201 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 0 0 0 0 0 0 0 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.434614914174 0.379747361568 ==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' : 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_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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 62209212812068205794017/4156159851440693456176*c_0101_5^23 + 948988729282951766421645/4156159851440693456176*c_0101_5^22 - 379478044225520575449977/4156159851440693456176*c_0101_5^21 - 7360525655973177030922615/4156159851440693456176*c_0101_5^20 + 1512620531715207257047685/4156159851440693456176*c_0101_5^19 + 17394503141775279304278611/4156159851440693456176*c_0101_5^18 - 3363205191237457155623715/4156159851440693456176*c_0101_5^17 - 4970235402317772642918803/4156159851440693456176*c_0101_5^16 - 2784467092643736163327397/4156159851440693456176*c_0101_5^15 - 28749833083143584065726727/4156159851440693456176*c_0101_5^14 + 10784055360479469206492481/2078079925720346728088*c_0101_5^13 + 26391728720603731144829069/4156159851440693456176*c_0101_5^12 - 27827636559357429370381567/4156159851440693456176*c_0101_5^11 + 9142142588118802306758877/4156159851440693456176*c_0101_5^10 + 2236801925569142729676013/2078079925720346728088*c_0101_5^9 - 1135142777927330714998629/244479991261217262128*c_0101_5^8 + 16168951500609970115539243/4156159851440693456176*c_0101_5^7 + 261506516266114394575847/259759990715043341011*c_0101_5^6 - 368307760138427151878899/122239995630608631064*c_0101_5^5 + 1240399362075721499183077/1039039962860173364044*c_0101_5^4 + 3502669298847000485742553/4156159851440693456176*c_0101_5^3 - 774843725194279120717807/1039039962860173364044*c_0101_5^2 - 441276094070399604977147/4156159851440693456176*c_0101_5 + 450662196860529866358161/4156159851440693456176, c_0011_0 - 1, c_0011_2 - 721609468742498631285/2078079925720346728088*c_0101_5^23 - 24051287768225437637349/4156159851440693456176*c_0101_5^22 - 10816822474862381297401/2078079925720346728088*c_0101_5^21 + 191187797946110055977617/4156159851440693456176*c_0101_5^20 + 22853238171271410367241/519519981430086682022*c_0101_5^19 - 508104772039906437009199/4156159851440693456176*c_0101_5^18 - 169255666211805975844839/2078079925720346728088*c_0101_5^17 + 301767101805894844379843/4156159851440693456176*c_0101_5^16 - 32603938614454058082345/2078079925720346728088*c_0101_5^15 + 877175522658814194819005/4156159851440693456176*c_0101_5^14 + 159194564077938826172197/2078079925720346728088*c_0101_5^13 - 724929585448292739516271/2078079925720346728088*c_0101_5^12 + 488761728176886551333391/4156159851440693456176*c_0101_5^11 + 164861321341388828674511/2078079925720346728088*c_0101_5^10 - 698952617567192423931343/4156159851440693456176*c_0101_5^9 + 45659321657520091517291/244479991261217262128*c_0101_5^8 - 30595352792880053913791/1039039962860173364044*c_0101_5^7 - 560525797705378661248931/4156159851440693456176*c_0101_5^6 + 26743225938594212764631/244479991261217262128*c_0101_5^5 - 441126920384399577197/4156159851440693456176*c_0101_5^4 - 217365845981283835409565/4156159851440693456176*c_0101_5^3 + 9728500302218475472617/519519981430086682022*c_0101_5^2 + 17204289209708633500527/2078079925720346728088*c_0101_5 - 8553486767916318754185/4156159851440693456176, c_0011_6 - 757730261027659331/2772621648726279824*c_0101_5^23 - 10239319297981066421/2772621648726279824*c_0101_5^22 + 23715465305666026863/2772621648726279824*c_0101_5^21 + 66783272666667226135/2772621648726279824*c_0101_5^20 - 153463782259415458199/2772621648726279824*c_0101_5^19 - 74648970733787959467/2772621648726279824*c_0101_5^18 + 280358449626757331809/2772621648726279824*c_0101_5^17 - 193843104360875683653/2772621648726279824*c_0101_5^16 + 171274621522945588083/2772621648726279824*c_0101_5^15 + 172533341741673546719/2772621648726279824*c_0101_5^14 - 364903550892384255675/1386310824363139912*c_0101_5^13 + 482341516104398700345/2772621648726279824*c_0101_5^12 + 188033090036942492115/2772621648726279824*c_0101_5^11 - 511302554383505887095/2772621648726279824*c_0101_5^10 + 62984256244418489915/346577706090784978*c_0101_5^9 - 9191685987677051559/163095391101545872*c_0101_5^8 - 265628517553578742949/2772621648726279824*c_0101_5^7 + 164240646386378564613/1386310824363139912*c_0101_5^6 - 1394321483336398489/40773847775386468*c_0101_5^5 - 44111757302076707447/1386310824363139912*c_0101_5^4 + 85445244545018765967/2772621648726279824*c_0101_5^3 - 605323262024332689/173288853045392489*c_0101_5^2 - 11226329408532181395/2772621648726279824*c_0101_5 + 752527842996776591/2772621648726279824, c_0101_0 + 1661726180166752706201/4156159851440693456176*c_0101_5^23 + 22919151045720564320511/4156159851440693456176*c_0101_5^22 - 46983704389996400640361/4156159851440693456176*c_0101_5^21 - 180350928035071365084053/4156159851440693456176*c_0101_5^20 + 296197346221435512369157/4156159851440693456176*c_0101_5^19 + 387155077583993833390525/4156159851440693456176*c_0101_5^18 - 552620494698594662176003/4156159851440693456176*c_0101_5^17 + 35732640633449738616159/4156159851440693456176*c_0101_5^16 - 284106554164161182078005/4156159851440693456176*c_0101_5^15 - 617484067066828812729933/4156159851440693456176*c_0101_5^14 + 775304699792341866825977/2078079925720346728088*c_0101_5^13 - 125739374989872804117983/4156159851440693456176*c_0101_5^12 - 881299586228999412134085/4156159851440693456176*c_0101_5^11 + 897876205587944409028121/4156159851440693456176*c_0101_5^10 - 149046891440586495463793/1039039962860173364044*c_0101_5^9 - 10715981999545623591087/244479991261217262128*c_0101_5^8 + 742793674871204046363359/4156159851440693456176*c_0101_5^7 - 210575671161427189423143/2078079925720346728088*c_0101_5^6 - 1052923855201225785353/30559998907652157766*c_0101_5^5 + 130881822964190614011127/2078079925720346728088*c_0101_5^4 - 83240372399614300695997/4156159851440693456176*c_0101_5^3 - 17175615266354441882417/1039039962860173364044*c_0101_5^2 + 11947797870484949955105/4156159851440693456176*c_0101_5 + 1947717128083836646871/4156159851440693456176, c_0101_1 + 136598737733448243/693155412181569956*c_0101_5^23 + 1065979382735726961/346577706090784978*c_0101_5^22 - 39196611378675603/173288853045392489*c_0101_5^21 - 8616286894394289953/346577706090784978*c_0101_5^20 - 337911181560037797/693155412181569956*c_0101_5^19 + 44769640251429990485/693155412181569956*c_0101_5^18 - 6689746024259827773/693155412181569956*c_0101_5^17 - 10513063961669811865/346577706090784978*c_0101_5^16 + 2890387718539944695/173288853045392489*c_0101_5^15 - 38665530128886068019/346577706090784978*c_0101_5^14 + 20919256900356297513/346577706090784978*c_0101_5^13 + 44260448921110124401/346577706090784978*c_0101_5^12 - 97127277508776088007/693155412181569956*c_0101_5^11 + 7584682781001658025/173288853045392489*c_0101_5^10 + 7245015147922130617/173288853045392489*c_0101_5^9 - 4415660173951814493/40773847775386468*c_0101_5^8 + 54518688859069107771/693155412181569956*c_0101_5^7 + 11539536426866733231/693155412181569956*c_0101_5^6 - 622493294364072184/10193461943846617*c_0101_5^5 + 11254491494567316137/346577706090784978*c_0101_5^4 + 3594159267605539099/346577706090784978*c_0101_5^3 - 10500864419159563159/693155412181569956*c_0101_5^2 + 1137585503087683883/693155412181569956*c_0101_5 + 1157835620693129647/693155412181569956, c_0101_3 - 1298922793930569563/2772621648726279824*c_0101_5^23 - 9529011222904902611/1386310824363139912*c_0101_5^22 + 18391743510007641979/2772621648726279824*c_0101_5^21 + 33315146870027788477/693155412181569956*c_0101_5^20 - 106068131462253010861/2772621648726279824*c_0101_5^19 - 116279967785209033133/1386310824363139912*c_0101_5^18 + 193216351676434014661/2772621648726279824*c_0101_5^17 - 72164758383310626055/1386310824363139912*c_0101_5^16 + 170172736154139866263/2772621648726279824*c_0101_5^15 + 29934045774105171987/173288853045392489*c_0101_5^14 - 86038473531503936057/346577706090784978*c_0101_5^13 + 114596348896006039065/2772621648726279824*c_0101_5^12 + 159652689867968000071/1386310824363139912*c_0101_5^11 - 502035142340143827811/2772621648726279824*c_0101_5^10 + 371301421040854946311/2772621648726279824*c_0101_5^9 + 169963550545240053/10193461943846617*c_0101_5^8 - 319180615950664148703/2772621648726279824*c_0101_5^7 + 219470371846111810025/2772621648726279824*c_0101_5^6 + 243260307327707357/163095391101545872*c_0101_5^5 - 93803218522241165265/2772621648726279824*c_0101_5^4 + 17694674743706125595/1386310824363139912*c_0101_5^3 + 153900722151428670/173288853045392489*c_0101_5^2 + 1372190965054704537/2772621648726279824*c_0101_5 + 663646012391113335/1386310824363139912, c_0101_5^24 + 15*c_0101_5^23 - 10*c_0101_5^22 - 117*c_0101_5^21 + 54*c_0101_5^20 + 275*c_0101_5^19 - 122*c_0101_5^18 - 69*c_0101_5^17 - 30*c_0101_5^16 - 453*c_0101_5^15 + 463*c_0101_5^14 + 347*c_0101_5^13 - 549*c_0101_5^12 + 256*c_0101_5^11 + 32*c_0101_5^10 - 332*c_0101_5^9 + 342*c_0101_5^8 - 217*c_0101_5^6 + 131*c_0101_5^5 + 32*c_0101_5^4 - 61*c_0101_5^3 + 5*c_0101_5^2 + 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB