Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2614757189] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1487 geometric_solution 5.30035988 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100268016472 0.923630332099 3 0 4 2 0132 0132 0132 2031 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 -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.663040395888 0.714733053013 4 1 3 0 2310 1302 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 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.663040395888 0.714733053013 1 3 3 2 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.302404859193 0.751981791529 5 5 2 1 0132 2310 3201 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 1 0 -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 0 0.035153597068 0.472021682783 4 6 6 4 0132 0132 3201 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 -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.466558213239 0.588643405955 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.572230387244 1.123482255301 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0011_2'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 62092877952280167967218974681314299990509353910664345772/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^32 + 2212344640014231268642545383312855723850513394852414433304/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^30 - 32184328364952547271467630896551785745993035793733584367097/1073422\ 982821712664177335846563114437441185623625473223*c_0101_6^28 + 252370747714356038697115227265393865040985783442035527783338/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^26 - 1172923658150029497935652759164664097769039199399798605632151/10734\ 22982821712664177335846563114437441185623625473223*c_0101_6^24 + 3138272618071646822621836933869292428799315679629198000622719/10734\ 22982821712664177335846563114437441185623625473223*c_0101_6^22 - 339232377821767008524564899105937620480809069862784798866245/975839\ 07529246605834303258778464948858289602147770293*c_0101_6^20 - 435253649678979846986161750632144416155963526578824154314019/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^18 + 159211760439717389449900347623469969430131436666502407668649/975839\ 07529246605834303258778464948858289602147770293*c_0101_6^16 + 615945466974896770072642367120219218299491593287594773876973/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^14 - 250097468346549338571427394406248357405271341712771775177591/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^12 - 143572580368937285081165654031447671477434990744950393304638/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^10 - 25843059697011302079913914082671721141027443667377991693273/1073422\ 982821712664177335846563114437441185623625473223*c_0101_6^8 - 10574290478679192537957376092917162833341383740654318603112/1073422\ 982821712664177335846563114437441185623625473223*c_0101_6^6 - 4285197656115297286196805118702618516627185190906284654585/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^4 - 145348613716653111408934869062638537909340640924776524912/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^2 + 152452291256625707399697910517407684022359876392562306380/107342298\ 2821712664177335846563114437441185623625473223, c_0011_0 - 1, c_0011_2 + 41754273721697856891137232232753975269155976209752/137966785\ 70514153235445109398906397406799038901141*c_0101_6^33 - 1489296633621188337437021317930051055517144730864610/13796678570514\ 153235445109398906397406799038901141*c_0101_6^31 + 21700410641947579300296489302561973286682373475553163/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^29 - 170568826495723485816772217766169722756388166544405378/137966785705\ 14153235445109398906397406799038901141*c_0101_6^27 + 795696661148723169474412807219761659029802860015037962/137966785705\ 14153235445109398906397406799038901141*c_0101_6^25 - 2144186466994140397655478880516359581164502409620445990/13796678570\ 514153235445109398906397406799038901141*c_0101_6^23 + 237053089559032060909374998703655904808715573809061097/125424350641\ 0377566858646308991490673345367172831*c_0101_6^21 + 146090550360794245394151468930801789663732832371567547/137966785705\ 14153235445109398906397406799038901141*c_0101_6^19 - 101155129593913797806223100355083657915912072166391379/125424350641\ 0377566858646308991490673345367172831*c_0101_6^17 - 405675984062679028926726626785052367159931535289520259/137966785705\ 14153235445109398906397406799038901141*c_0101_6^15 + 178298326912906935843613547206034447145707126486708765/137966785705\ 14153235445109398906397406799038901141*c_0101_6^13 + 91980626690929418820450568827586832337088980030065736/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^11 + 15568759017684435779463752418481926875866194719972908/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^9 + 5587784215382797060814288559543543619380990784029080/13796678570514\ 153235445109398906397406799038901141*c_0101_6^7 + 2537153772109327884813108605866709020402399942459406/13796678570514\ 153235445109398906397406799038901141*c_0101_6^5 + 19500179765868306622735075809960500272450637582181/1379667857051415\ 3235445109398906397406799038901141*c_0101_6^3 - 107864553705405486735635005709540314498605744586215/137966785705141\ 53235445109398906397406799038901141*c_0101_6, c_0011_4 + 16753247303145194516531733841454670295706766109272/137966785\ 70514153235445109398906397406799038901141*c_0101_6^33 - 599966837347586590554370728541266568729030677352772/137966785705141\ 53235445109398906397406799038901141*c_0101_6^31 + 8792992941090425795913040387621272665651494996707732/13796678570514\ 153235445109398906397406799038901141*c_0101_6^29 - 69693388019094855743504928466836387698242076037978118/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^27 + 329141980839810512018464586695583715858057202994753309/137966785705\ 14153235445109398906397406799038901141*c_0101_6^25 - 906474451897533964160725127469682289105364565215519869/137966785705\ 14153235445109398906397406799038901141*c_0101_6^23 + 106421806730442909537882901462575559958639837658852498/125424350641\ 0377566858646308991490673345367172831*c_0101_6^21 - 91329127658917802699288164048725575482801890797167518/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^19 - 42208735760434169436849388002918138269490456989879260/1254243506410\ 377566858646308991490673345367172831*c_0101_6^17 - 75198336641774324018003252164198065643359145525346033/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^15 + 81100029827056548690712050457430642068951988101846200/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^13 + 22774057806780935008370821321122046672357341880608924/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^11 + 2910048089614263652668574653210928178331965068963653/13796678570514\ 153235445109398906397406799038901141*c_0101_6^9 + 2317854991843398814523179558545879211615644614515382/13796678570514\ 153235445109398906397406799038901141*c_0101_6^7 + 609061142209491993448803355836579009881576386172375/137966785705141\ 53235445109398906397406799038901141*c_0101_6^5 - 122179068858249816752278790396452854269390306133068/137966785705141\ 53235445109398906397406799038901141*c_0101_6^3 - 40472237260549608718135415974390662633458194946104/1379667857051415\ 3235445109398906397406799038901141*c_0101_6, c_0101_0 - 19349372492939630666001899568540200941198572148810/137966785\ 70514153235445109398906397406799038901141*c_0101_6^33 + 687685915443357836611199746126061877555564686972735/137966785705141\ 53235445109398906397406799038901141*c_0101_6^31 - 9966579298205925380412516814429825547250199490592573/13796678570514\ 153235445109398906397406799038901141*c_0101_6^29 + 77704830014860902503370972937670899037341029531963285/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^27 - 357832146266049640905388529895491919268027450609796753/137966785705\ 14153235445109398906397406799038901141*c_0101_6^25 + 940043548610798241058261586706791787196013917830262751/137966785705\ 14153235445109398906397406799038901141*c_0101_6^23 - 95462356905204460049969841352141728349597214276682759/1254243506410\ 377566858646308991490673345367172831*c_0101_6^21 - 311813025650591121363055187676735371132100391501494468/137966785705\ 14153235445109398906397406799038901141*c_0101_6^19 + 57727154351533193301176611960929857060191855248158176/1254243506410\ 377566858646308991490673345367172831*c_0101_6^17 + 213786079815558284096916808363232557293377418021392410/137966785705\ 14153235445109398906397406799038901141*c_0101_6^15 - 88993009498864642744127807325802379053038318658471981/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^13 - 52613074164737932106520789678579648861298001327315193/1379667857051\ 4153235445109398906397406799038901141*c_0101_6^11 - 6825506844203601150868804664320005683636907812361970/13796678570514\ 153235445109398906397406799038901141*c_0101_6^9 - 2991424885339337552381545015199685949073202763043593/13796678570514\ 153235445109398906397406799038901141*c_0101_6^7 - 1250337450310639735126215153757755394072634394272630/13796678570514\ 153235445109398906397406799038901141*c_0101_6^5 + 42762460314243320743515894097312424463980015278368/1379667857051415\ 3235445109398906397406799038901141*c_0101_6^3 + 72307871372896115880412552289201586544305297804663/1379667857051415\ 3235445109398906397406799038901141*c_0101_6, c_0101_1 + 40212187046699451188379471057146428729588808271220952/107342\ 2982821712664177335846563114437441185623625473223*c_0101_6^32 - 1384562482168128235077918350895843458768540929220687126/10734229828\ 21712664177335846563114437441185623625473223*c_0101_6^30 + 19132018416143895265131545085732479142328735635052739127/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^28 - 138669408319577368405278858022991375417180684239363362597/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^26 + 566769280679635409684193300043032675282997221034008178633/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^24 - 1146008196502441638283996029323183728388983849207221930133/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^22 + 8509619522674671381641895819031385982574408008662724133/97583907529\ 246605834303258778464948858289602147770293*c_0101_6^20 + 2869082198351824213217682070837236019646653493814904422143/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^18 - 36550694943664030107616411287252784091718845227594918783/9758390752\ 9246605834303258778464948858289602147770293*c_0101_6^16 - 1772819760997496949462115242818118549101456066520424666660/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^14 - 499828403278621480455928066901698846826094831631286233461/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^12 + 270478702130064927875862918577466989659563627452549487606/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^10 + 156498192044526967468740022931571484063691664917772320784/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^8 + 34375167031753762640580614134194400389881799671679670446/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^6 + 14912798500658709487034684297274334034397490976976337858/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^4 + 3421156942819189502768716265254801962449845831100820958/10734229828\ 21712664177335846563114437441185623625473223*c_0101_6^2 - 314102813728544096426347687478910619852653773171404225/107342298282\ 1712664177335846563114437441185623625473223, c_0101_3 + 549886670244079996823133423392375138002684760709844902/10734\ 22982821712664177335846563114437441185623625473223*c_0101_6^32 - 19650165884157566864867121080518152965697812992602021399/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^30 + 287089988436454925858467178701196645130099241841449056722/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^28 - 2265193899025614435170140041888993238550387462435611193631/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^26 + 10625650806015642412293663421295444721497885502972734168236/1073422\ 982821712664177335846563114437441185623625473223*c_0101_6^24 - 28908902850823971231389967615966437331409890060317856394803/1073422\ 982821712664177335846563114437441185623625473223*c_0101_6^22 + 3279478501598025768149573440131302210592834610760905906455/97583907\ 529246605834303258778464948858289602147770293*c_0101_6^20 + 126187558682387769425546891975161027573795194083370665220/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^18 - 1426934009631495568242406823621817826034150078932033562262/97583907\ 529246605834303258778464948858289602147770293*c_0101_6^16 - 3624289810131396471887101604404294147665621436245143620654/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^14 + 2657675508019838968444335671516252856851251500438430321687/10734229\ 82821712664177335846563114437441185623625473223*c_0101_6^12 + 897992615089768080679953574294194126397018777586767530381/107342298\ 2821712664177335846563114437441185623625473223*c_0101_6^10 + 93755442268057174870829569060400503969840014799254179900/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^8 + 99160507832593605375701765148756561906715552574211104035/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^6 + 32990368643822966414809755059708867486028239525045233068/1073422982\ 821712664177335846563114437441185623625473223*c_0101_6^4 - 4545875586232903982862801576280351600782555678243618403/10734229828\ 21712664177335846563114437441185623625473223*c_0101_6^2 - 1137843748978141955205114120528100308089828679342934388/10734229828\ 21712664177335846563114437441185623625473223, c_0101_6^34 - 927/26*c_0101_6^32 + 13499/26*c_0101_6^30 - 53002/13*c_0101_6^28 + 246868/13*c_0101_6^26 - 663142/13*c_0101_6^24 + 797847/13*c_0101_6^22 + 141007/26*c_0101_6^20 - 367166/13*c_0101_6^18 - 119377/13*c_0101_6^16 + 110031/26*c_0101_6^14 + 56791/26*c_0101_6^12 + 345*c_0101_6^10 + 4007/26*c_0101_6^8 + 125/2*c_0101_6^6 + 2/13*c_0101_6^4 - 69/26*c_0101_6^2 + 1/26 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB