Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2783197575] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s372 geometric_solution 4.59142936 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.508522360879 0.136732080427 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657581131003 0.356368133316 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.790307456827 1.479910037438 5 2 4 4 0132 0132 3012 2310 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 1 0 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.333889967337 1.110860041788 3 3 2 5 3201 1230 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333889967337 1.110860041788 3 4 5 5 0132 2310 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 -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.217064855156 0.414197850014 ==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_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' : negation(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_5' : d['c_0101_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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 163218626569649952897976525058341/204027598511495186609340291064*c_\ 0101_3^19 - 784287423204462912378065534319619/102013799255747593304\ 670145532*c_0101_3^18 - 1167594736697747541671747044345467/20402759\ 8511495186609340291064*c_0101_3^17 + 28814372246720755077857283086348971/204027598511495186609340291064*\ c_0101_3^16 - 6703505209599155096701332935489883/255034498139368983\ 26167536383*c_0101_3^15 - 140973414534047724709616495720026689/2040\ 27598511495186609340291064*c_0101_3^14 + 75057772378355407739454746234810141/51006899627873796652335072766*c\ _0101_3^13 + 75951269864280504032320075577997187/255034498139368983\ 26167536383*c_0101_3^12 - 54644721853856254638801640518674961/25503\ 449813936898326167536383*c_0101_3^11 - 209271493640519271408489041215315294/25503449813936898326167536383*\ c_0101_3^10 - 396358210460402336683711266041476231/2040275985114951\ 86609340291064*c_0101_3^9 + 905514821921864271557741172552892679/10\ 2013799255747593304670145532*c_0101_3^8 + 1318075451710452556639693263580022649/20402759851149518660934029106\ 4*c_0101_3^7 - 330328213779445569066487707179751291/204027598511495\ 186609340291064*c_0101_3^6 - 508491026160140380084487591567145987/2\ 04027598511495186609340291064*c_0101_3^5 - 12556484418187112870915545685175369/51006899627873796652335072766*c\ _0101_3^4 + 42046618684808923158704007489397161/2040275985114951866\ 09340291064*c_0101_3^3 - 655743506919303732725697326924667/20402759\ 8511495186609340291064*c_0101_3^2 - 622221853843562890460167185315211/51006899627873796652335072766*c_0\ 101_3 + 359225508711437952659554134952185/2040275985114951866093402\ 91064, c_0011_0 - 1, c_0011_1 + 506519128264705796338854355852/25503449813936898326167536383\ *c_0101_3^19 - 4853124480197095239265272553185/25503449813936898326\ 167536383*c_0101_3^18 - 3759837119969476106172568606646/25503449813\ 936898326167536383*c_0101_3^17 + 89269479988618445524102530612252/2\ 5503449813936898326167536383*c_0101_3^16 - 163838525212647556408047099024711/25503449813936898326167536383*c_0\ 101_3^15 - 441524520996542310689683573305651/2550344981393689832616\ 7536383*c_0101_3^14 + 917087193586338995449172679624756/25503449813\ 936898326167536383*c_0101_3^13 + 1910174107201762001361073904858497\ /25503449813936898326167536383*c_0101_3^12 - 1292835599421258910155175222803441/25503449813936898326167536383*c_\ 0101_3^11 - 5224783994357757936458485725960263/25503449813936898326\ 167536383*c_0101_3^10 - 1396058051695285113493946221620006/25503449\ 813936898326167536383*c_0101_3^9 + 5552138379687378667743982823126057/25503449813936898326167536383*c_\ 0101_3^8 + 4258261929523770497153757967726860/255034498139368983261\ 67536383*c_0101_3^7 - 870984766468244321692661943002149/25503449813\ 936898326167536383*c_0101_3^6 - 1593502038750900534198987599117826/\ 25503449813936898326167536383*c_0101_3^5 - 207449231895747106674642167234157/25503449813936898326167536383*c_0\ 101_3^4 + 120985383413492966607993059633949/25503449813936898326167\ 536383*c_0101_3^3 + 671645904427953266297379904678/2550344981393689\ 8326167536383*c_0101_3^2 - 7796990474083023378437019558242/25503449\ 813936898326167536383*c_0101_3 + 874797112293231190068877857606/255\ 03449813936898326167536383, c_0011_4 + 36350969520406387563135753747/25503449813936898326167536383*\ c_0101_3^19 - 338999984388813775616259732833/2550344981393689832616\ 7536383*c_0101_3^18 - 366655699496724313957054775020/25503449813936\ 898326167536383*c_0101_3^17 + 6418274198952766199694123626100/25503\ 449813936898326167536383*c_0101_3^16 - 10123343003777643557302397982546/25503449813936898326167536383*c_01\ 01_3^15 - 36065622100536039342762819773689/255034498139368983261675\ 36383*c_0101_3^14 + 61275599468098694186815387874991/25503449813936\ 898326167536383*c_0101_3^13 + 158033047513889400193247298692421/255\ 03449813936898326167536383*c_0101_3^12 - 74961321720440536249793906924694/25503449813936898326167536383*c_01\ 01_3^11 - 415140605428781267199448486425557/25503449813936898326167\ 536383*c_0101_3^10 - 163884296345514847394416047555324/255034498139\ 36898326167536383*c_0101_3^9 + 428987001281496974248210955707265/25\ 503449813936898326167536383*c_0101_3^8 + 387101361386510488362098332727790/25503449813936898326167536383*c_0\ 101_3^7 - 53879368533409892831313326355409/255034498139368983261675\ 36383*c_0101_3^6 - 143716147342368002488998084885940/25503449813936\ 898326167536383*c_0101_3^5 - 21698183934245184863647948024890/25503\ 449813936898326167536383*c_0101_3^4 + 12006431473244628602584794209754/25503449813936898326167536383*c_01\ 01_3^3 + 390968204469148084903111289169/255034498139368983261675363\ 83*c_0101_3^2 - 796326103172670221395043221019/25503449813936898326\ 167536383*c_0101_3 + 89903408608240192302537033641/2550344981393689\ 8326167536383, c_0101_0 + 447699165158428691344813022478/25503449813936898326167536383\ *c_0101_3^19 - 4268538210116490741901135361261/25503449813936898326\ 167536383*c_0101_3^18 - 3543524927225967967969031730787/25503449813\ 936898326167536383*c_0101_3^17 + 78942367746177495410728045215965/2\ 5503449813936898326167536383*c_0101_3^16 - 141108651916342613658738116975603/25503449813936898326167536383*c_0\ 101_3^15 - 400392807810358809060418358136378/2550344981393689832616\ 7536383*c_0101_3^14 + 800810744260448981052532207819666/25503449813\ 936898326167536383*c_0101_3^13 + 1736806774325000461813535635614381\ /25503449813936898326167536383*c_0101_3^12 - 1105316344332519865993642746845301/25503449813936898326167536383*c_\ 0101_3^11 - 4713059543624662092066055109536348/25503449813936898326\ 167536383*c_0101_3^10 - 1372497029961662670978993065221528/25503449\ 813936898326167536383*c_0101_3^9 + 4988494679259005671570778294975714/25503449813936898326167536383*c_\ 0101_3^8 + 3946294578816712373918312284508043/255034498139368983261\ 67536383*c_0101_3^7 - 765867182048744963683030911488052/25503449813\ 936898326167536383*c_0101_3^6 - 1478916223765670494658039929898257/\ 25503449813936898326167536383*c_0101_3^5 - 193118220251659055944544658539243/25503449813936898326167536383*c_0\ 101_3^4 + 116210059437210903064856722457586/25503449813936898326167\ 536383*c_0101_3^3 + 844346286685076108714690854182/2550344981393689\ 8326167536383*c_0101_3^2 - 7501872495252407674013600963494/25503449\ 813936898326167536383*c_0101_3 + 863766613761957143598646562436/255\ 03449813936898326167536383, c_0101_1 + 49409074867678756314350514553/25503449813936898326167536383*\ c_0101_3^19 - 445905567362497233578480588959/2550344981393689832616\ 7536383*c_0101_3^18 - 648715931977013879065163005128/25503449813936\ 898326167536383*c_0101_3^17 + 8693218891637977064361709988471/25503\ 449813936898326167536383*c_0101_3^16 - 11124797343823711689577218969462/25503449813936898326167536383*c_01\ 01_3^15 - 55228011355593164269659656598498/255034498139368983261675\ 36383*c_0101_3^14 + 73647299085385635398113033026526/25503449813936\ 898326167536383*c_0101_3^13 + 246774210138747756500699789384614/255\ 03449813936898326167536383*c_0101_3^12 - 62982489508253123859929571486211/25503449813936898326167536383*c_01\ 01_3^11 - 622412568067860847457661939836232/25503449813936898326167\ 536383*c_0101_3^10 - 344258535351692406549500798442258/255034498139\ 36898326167536383*c_0101_3^9 + 605820481067159769394030414994397/25\ 503449813936898326167536383*c_0101_3^8 + 674199664811004969894609648892319/25503449813936898326167536383*c_0\ 101_3^7 - 27596612277941444199216463686154/255034498139368983261675\ 36383*c_0101_3^6 - 241737887983029281217709677350996/25503449813936\ 898326167536383*c_0101_3^5 - 49091488288500310048189058271807/25503\ 449813936898326167536383*c_0101_3^4 + 19809101852683698199294625679558/25503449813936898326167536383*c_01\ 01_3^3 + 1234017709917445891728242385691/25503449813936898326167536\ 383*c_0101_3^2 - 1475476246373454605230512958056/255034498139368983\ 26167536383*c_0101_3 + 162479608112446060823820137773/2550344981393\ 6898326167536383, c_0101_3^20 - 9*c_0101_3^19 - 13*c_0101_3^18 + 172*c_0101_3^17 - 221*c_0101_3^16 - 1061*c_0101_3^15 + 1307*c_0101_3^14 + 4828*c_0101_3^13 - 376*c_0101_3^12 - 11816*c_0101_3^11 - 8723*c_0101_3^10 + 9415*c_0101_3^9 + 14763*c_0101_3^8 + 3098*c_0101_3^7 - 4162*c_0101_3^6 - 2215*c_0101_3^5 + 9*c_0101_3^4 + 138*c_0101_3^3 - 15*c_0101_3^2 - 7*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB