Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 2917937482] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0812 geometric_solution 4.74550166 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 2.359211294257 0.131806142766 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 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 0 -1 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.015491716801 0.438336622689 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -1 1 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.250948230049 0.238117099721 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997405222614 0.957614990174 3 5 6 5 0132 0213 0132 1230 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 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.671188449652 0.748740723536 4 6 4 3 3012 3201 0213 0132 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 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.671188449652 0.748740723536 6 6 5 4 1302 2031 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.051757064395 0.971813074353 ==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' : 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_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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 481682857022513524621032840740776829739/974286675291994943380849738\ 18421437*c_0101_2^25 + 5995803228643360706529603378107730035962/974\ 28667529199494338084973818421437*c_0101_2^24 - 17134299564063964056488745051722786125110/9742866752919949433808497\ 3818421437*c_0101_2^23 - 19786613261476464175761236322334430132656/\ 97428667529199494338084973818421437*c_0101_2^22 + 128798770959009493590602302226707397019226/974286675291994943380849\ 73818421437*c_0101_2^21 - 19734749122499693136276487267263254805733\ 5/97428667529199494338084973818421437*c_0101_2^20 - 21500671309722262505942621906994826674235/9742866752919949433808497\ 3818421437*c_0101_2^19 + 504369407935473060957459518615299718052309\ /97428667529199494338084973818421437*c_0101_2^18 - 1233035585536721645747372222123489322322873/97428667529199494338084\ 973818421437*c_0101_2^17 + 1238774911713170556490838979440749441758\ 822/97428667529199494338084973818421437*c_0101_2^16 + 3152268755880234699493396051298450821917291/97428667529199494338084\ 973818421437*c_0101_2^15 - 6066492854056410166405621013691203999812\ 710/97428667529199494338084973818421437*c_0101_2^14 - 3312388692219622476141428546038598356637602/97428667529199494338084\ 973818421437*c_0101_2^13 + 9379554731536617186626495835890864746146\ 792/97428667529199494338084973818421437*c_0101_2^12 + 1526703782719585155873205740351331607343896/97428667529199494338084\ 973818421437*c_0101_2^11 - 7339278061559739390627862894171951847822\ 837/97428667529199494338084973818421437*c_0101_2^10 - 228721031778543753525204620657507163408003/974286675291994943380849\ 73818421437*c_0101_2^9 + 313626141579880794003943575186639026017811\ 7/97428667529199494338084973818421437*c_0101_2^8 + 36535621505058613164705347697291622554281/9742866752919949433808497\ 3818421437*c_0101_2^7 - 694373913531669075311066786147099183273320/\ 97428667529199494338084973818421437*c_0101_2^6 - 37493561625614762210999914017055000855612/9742866752919949433808497\ 3818421437*c_0101_2^5 + 43712881149953731530241378679379921727772/9\ 7428667529199494338084973818421437*c_0101_2^4 + 6482646693871757122650154638856483457102/97428667529199494338084973\ 818421437*c_0101_2^3 + 9089420128038049491381661777092638194730/974\ 28667529199494338084973818421437*c_0101_2^2 + 235398403780414631751333207512713836593/974286675291994943380849738\ 18421437*c_0101_2 - 1081718223240464338291121650648646465526/974286\ 67529199494338084973818421437, c_0011_0 - 1, c_0011_3 + 1552477389629261081217229489868941045/9742866752919949433808\ 4973818421437*c_0101_2^25 - 19339428413438698109760789052669898098/\ 97428667529199494338084973818421437*c_0101_2^24 + 55388628394527702642934445948533998251/9742866752919949433808497381\ 8421437*c_0101_2^23 + 63481339363825484778434957331836304597/974286\ 67529199494338084973818421437*c_0101_2^22 - 416308690628893061166974995686433160911/974286675291994943380849738\ 18421437*c_0101_2^21 + 639012879960666181896112137694104523584/9742\ 8667529199494338084973818421437*c_0101_2^20 + 67484856564497349784142454284289796769/9742866752919949433808497381\ 8421437*c_0101_2^19 - 1632112436490224404788740331235525361816/9742\ 8667529199494338084973818421437*c_0101_2^18 + 3988016552770969408837026217903499198699/97428667529199494338084973\ 818421437*c_0101_2^17 - 4016374023297793519661785998274788266612/97\ 428667529199494338084973818421437*c_0101_2^16 - 10160513389420653524064487908733753240115/9742866752919949433808497\ 3818421437*c_0101_2^15 + 19683147844030282698021918477846534256268/\ 97428667529199494338084973818421437*c_0101_2^14 + 10610740006333520618084245255427441782335/9742866752919949433808497\ 3818421437*c_0101_2^13 - 30467978305834378661630542595959920532329/\ 97428667529199494338084973818421437*c_0101_2^12 - 4811157496297770292931305330967742974252/97428667529199494338084973\ 818421437*c_0101_2^11 + 23872307319465412488470308233108415564974/9\ 7428667529199494338084973818421437*c_0101_2^10 + 664202337168994989021163831054736399580/974286675291994943380849738\ 18421437*c_0101_2^9 - 10220575695117011932980332363813801282885/974\ 28667529199494338084973818421437*c_0101_2^8 - 99272760241292043909681953264585321197/9742866752919949433808497381\ 8421437*c_0101_2^7 + 2270213231443356333590107206469134297272/97428\ 667529199494338084973818421437*c_0101_2^6 + 120858055407064394010742020699943178304/974286675291994943380849738\ 18421437*c_0101_2^5 - 143491822247641114458728947732371157058/97428\ 667529199494338084973818421437*c_0101_2^4 - 21251927674794191668187459393959820417/9742866752919949433808497381\ 8421437*c_0101_2^3 - 29964805391586927433746895090014121522/9742866\ 7529199494338084973818421437*c_0101_2^2 - 858010364091013936304817138069610969/974286675291994943380849738184\ 21437*c_0101_2 + 3605618378938882328116297584298461586/974286675291\ 99494338084973818421437, c_0011_5 + 1185113598150636376640377530139499510/9742866752919949433808\ 4973818421437*c_0101_2^25 - 14725080605203658727742880619253761748/\ 97428667529199494338084973818421437*c_0101_2^24 + 41840121643013084096947248861578124538/9742866752919949433808497381\ 8421437*c_0101_2^23 + 49438528304600867602460505504547231559/974286\ 67529199494338084973818421437*c_0101_2^22 - 315326698742674698623624871607095559806/974286675291994943380849738\ 18421437*c_0101_2^21 + 479268490535723741332953031805145390914/9742\ 8667529199494338084973818421437*c_0101_2^20 + 60458934759408473566584340336423637797/9742866752919949433808497381\ 8421437*c_0101_2^19 - 1235211786448279183412388022018481585480/9742\ 8667529199494338084973818421437*c_0101_2^18 + 3007233886466538774482281577998715013143/97428667529199494338084973\ 818421437*c_0101_2^17 - 2990146906672392067149334581155185044641/97\ 428667529199494338084973818421437*c_0101_2^16 - 7794052425791122724095809463653771396572/97428667529199494338084973\ 818421437*c_0101_2^15 + 14725385925180922929165917783296792300840/9\ 7428667529199494338084973818421437*c_0101_2^14 + 8385565804635753702500888703841473507859/97428667529199494338084973\ 818421437*c_0101_2^13 - 22798177560800277454570024238853920010340/9\ 7428667529199494338084973818421437*c_0101_2^12 - 4117507543440365564342661763248107065545/97428667529199494338084973\ 818421437*c_0101_2^11 + 17862766643465776756803000936403332301258/9\ 7428667529199494338084973818421437*c_0101_2^10 + 821983000575409479894059778634127163908/974286675291994943380849738\ 18421437*c_0101_2^9 - 7642558055181963460712454438445045813018/9742\ 8667529199494338084973818421437*c_0101_2^8 - 180782576360301191501209933582049887757/974286675291994943380849738\ 18421437*c_0101_2^7 + 1690854575003717019543005185539755520158/9742\ 8667529199494338084973818421437*c_0101_2^6 + 105792721505395954862647523416527538608/974286675291994943380849738\ 18421437*c_0101_2^5 - 106189333720174518829062037096322391423/97428\ 667529199494338084973818421437*c_0101_2^4 - 16059376282909487179031807386819916961/9742866752919949433808497381\ 8421437*c_0101_2^3 - 21785061221655431012130749599815618713/9742866\ 7529199494338084973818421437*c_0101_2^2 - 733293560260398164122281454912320652/974286675291994943380849738184\ 21437*c_0101_2 + 2580315662640638562012833790776347150/974286675291\ 99494338084973818421437, c_0011_6 + 1963029696169811217459652180875179039/9742866752919949433808\ 4973818421437*c_0101_2^25 - 24429546170328995912036740720898657029/\ 97428667529199494338084973818421437*c_0101_2^24 + 69749690180483829698426867544329796450/9742866752919949433808497381\ 8421437*c_0101_2^23 + 80961121974881618519651335096551795849/974286\ 67529199494338084973818421437*c_0101_2^22 - 525050812534430796560977117780963275832/974286675291994943380849738\ 18421437*c_0101_2^21 + 802500577362105048953838764403027151520/9742\ 8667529199494338084973818421437*c_0101_2^20 + 92237582450310895905488848037699326032/9742866752919949433808497381\ 8421437*c_0101_2^19 - 2059846321978676825865970249679988216224/9742\ 8667529199494338084973818421437*c_0101_2^18 + 5021358936559980105700927274513523915837/97428667529199494338084973\ 818421437*c_0101_2^17 - 5028010616055239036648727389594418050745/97\ 428667529199494338084973818421437*c_0101_2^16 - 12886185709540707031789722703144011089471/9742866752919949433808497\ 3818421437*c_0101_2^15 + 24721131437799742417600085281539925718704/\ 97428667529199494338084973818421437*c_0101_2^14 + 13610230881763272029919129533760897702630/9742866752919949433808497\ 3818421437*c_0101_2^13 - 38285789936019705332934892020789368323173/\ 97428667529199494338084973818421437*c_0101_2^12 - 6343854723281299852790656562760512565302/97428667529199494338084973\ 818421437*c_0101_2^11 + 29991137803007907461413468484074962805130/9\ 7428667529199494338084973818421437*c_0101_2^10 + 996907902118772024650495129967830247421/974286675291994943380849738\ 18421437*c_0101_2^9 - 12818157210229019023141670719855902870182/974\ 28667529199494338084973818421437*c_0101_2^8 - 166951097198915431119866963295894959455/974286675291994943380849738\ 18421437*c_0101_2^7 + 2831287208840172931259478076540059093982/9742\ 8667529199494338084973818421437*c_0101_2^6 + 155131519094407471642299438509435538707/974286675291994943380849738\ 18421437*c_0101_2^5 - 175077686178065629434734727669002902379/97428\ 667529199494338084973818421437*c_0101_2^4 - 25656455497481581477350681119418285765/9742866752919949433808497381\ 8421437*c_0101_2^3 - 37698793440792948613834307118803223765/9742866\ 7529199494338084973818421437*c_0101_2^2 - 1177703467643028582205099801046659086/97428667529199494338084973818\ 421437*c_0101_2 + 4413130125591110033966053649774289695/97428667529\ 199494338084973818421437, c_0101_0 - 3508189711409682833778212610480040149/9742866752919949433808\ 4973818421437*c_0101_2^25 + 43650753926545455086555780815629422833/\ 97428667529199494338084973818421437*c_0101_2^24 - 124585119755729183123107167367071102568/974286675291994943380849738\ 18421437*c_0101_2^23 - 144578185155824218882423672848828290242/9742\ 8667529199494338084973818421437*c_0101_2^22 + 937020577504836510389209897341366301698/974286675291994943380849738\ 18421437*c_0101_2^21 - 1433683706937701082962656652725644804121/974\ 28667529199494338084973818421437*c_0101_2^20 - 160854374240741504205320337495344630388/974286675291994943380849738\ 18421437*c_0101_2^19 + 3670395690182241620074366805247291029792/974\ 28667529199494338084973818421437*c_0101_2^18 - 8967737123047871210218982899749289313375/97428667529199494338084973\ 818421437*c_0101_2^17 + 8990695081241177129804757400448036451173/97\ 428667529199494338084973818421437*c_0101_2^16 + 22979145805999715886261560039369120679943/9742866752919949433808497\ 3818421437*c_0101_2^15 - 44063658760483828429697134576412861240051/\ 97428667529199494338084973818421437*c_0101_2^14 - 24221846394261897966712412342311168208467/9742866752919949433808497\ 3818421437*c_0101_2^13 + 68113477566049631946542928153805779864594/\ 97428667529199494338084973818421437*c_0101_2^12 + 11244397362826750231992405342647756839281/9742866752919949433808497\ 3818421437*c_0101_2^11 - 53269781979999719275909756119528537552389/\ 97428667529199494338084973818421437*c_0101_2^10 - 1740985763536681880944422036006357562875/97428667529199494338084973\ 818421437*c_0101_2^9 + 22744748380781538744821234001416109097386/97\ 428667529199494338084973818421437*c_0101_2^8 + 282944300843578471351636191963438923221/974286675291994943380849738\ 18421437*c_0101_2^7 - 5028279304771896425368070670989041730542/9742\ 8667529199494338084973818421437*c_0101_2^6 - 269716119617254038065318723518414770604/974286675291994943380849738\ 18421437*c_0101_2^5 + 313808489534596949868543714276345386499/97428\ 667529199494338084973818421437*c_0101_2^4 + 45950422168481758565294533233551010988/9742866752919949433808497381\ 8421437*c_0101_2^3 + 66452815110447879176267855868041183308/9742866\ 7529199494338084973818421437*c_0101_2^2 + 1706330678629417564595103378124661256/97428667529199494338084973818\ 421437*c_0101_2 - 7874389786910379603861242359029691267/97428667529\ 199494338084973818421437, c_0101_1 - 4636869703737515684295129241071420935/9742866752919949433808\ 4973818421437*c_0101_2^25 + 57729802345906155515563535268045809375/\ 97428667529199494338084973818421437*c_0101_2^24 - 165061032423692516659270962386366992163/974286675291994943380849738\ 18421437*c_0101_2^23 - 190380277282238887917679558401471956030/9742\ 8667529199494338084973818421437*c_0101_2^22 + 1241137842703928283608840081763246497515/97428667529199494338084973\ 818421437*c_0101_2^21 - 1901396907913185933345033367966541198920/97\ 428667529199494338084973818421437*c_0101_2^20 - 208107104540113569996052417359572266076/974286675291994943380849738\ 18421437*c_0101_2^19 + 4863411628162462978053204310231934360917/974\ 28667529199494338084973818421437*c_0101_2^18 - 11878375276714616615640882174530231559345/9742866752919949433808497\ 3818421437*c_0101_2^17 + 11934129893108553790777505510705452164696/\ 97428667529199494338084973818421437*c_0101_2^16 + 30367749507475078890991693397456029168022/9742866752919949433808497\ 3818421437*c_0101_2^15 - 58516722217801711795455026370802072142697/\ 97428667529199494338084973818421437*c_0101_2^14 - 31919827340144420036787945352522214936940/9742866752919949433808497\ 3818421437*c_0101_2^13 + 90560176330049666287644467711459284514484/\ 97428667529199494338084973818421437*c_0101_2^12 + 14749710231557860509154050969357169373026/9742866752919949433808497\ 3818421437*c_0101_2^11 - 70941191788381175849251457542028211002452/\ 97428667529199494338084973818421437*c_0101_2^10 - 2268188012945608614770420564291078737700/97428667529199494338084973\ 818421437*c_0101_2^9 + 30363185065068895192490471849514621081386/97\ 428667529199494338084973818421437*c_0101_2^8 + 398727937450284000573873134165772431076/974286675291994943380849738\ 18421437*c_0101_2^7 - 6737751930743205340547343595833187301652/9742\ 8667529199494338084973818421437*c_0101_2^6 - 376901496918242521245455168897823261974/974286675291994943380849738\ 18421437*c_0101_2^5 + 425156341319179617846396610421058727954/97428\ 667529199494338084973818421437*c_0101_2^4 + 64098313079705237817832033391360490777/9742866752919949433808497381\ 8421437*c_0101_2^3 + 88239116637951159998928627845482910325/9742866\ 7529199494338084973818421437*c_0101_2^2 + 2575545909165387921396974272612231036/97428667529199494338084973818\ 421437*c_0101_2 - 10407262605248216176848646640690245820/9742866752\ 9199494338084973818421437, c_0101_2^26 - 12*c_0101_2^25 + 30*c_0101_2^24 + 57*c_0101_2^23 - 249*c_0101_2^22 + 290*c_0101_2^21 + 228*c_0101_2^20 - 1027*c_0101_2^19 + 2091*c_0101_2^18 - 1426*c_0101_2^17 - 7695*c_0101_2^16 + 9664*c_0101_2^15 + 12515*c_0101_2^14 - 16391*c_0101_2^13 - 11890*c_0101_2^12 + 13813*c_0101_2^11 + 7301*c_0101_2^10 - 6294*c_0101_2^9 - 2994*c_0101_2^8 + 1405*c_0101_2^7 + 724*c_0101_2^6 - 55*c_0101_2^5 - 54*c_0101_2^4 - 25*c_0101_2^3 - 9*c_0101_2^2 + 2*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB