Magma V2.19-8 Tue Aug 20 2013 16:19:10 on localhost [Seed = 509576038] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3302 geometric_solution 6.43039044 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 1 0 -1 1 0 0 -1 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.201239263007 1.146251835624 0 5 6 5 0132 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316536763770 0.525225122477 2 0 4 2 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.056962644453 0.919892078838 6 4 6 0 1230 2310 0321 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118627775162 0.684500755151 2 5 0 3 2310 1023 0132 3201 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 -1 1 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.201239263007 1.146251835624 4 1 6 1 1023 0132 3201 2103 0 0 0 0 0 -1 1 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 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.316536763770 0.525225122477 5 3 3 1 2310 3012 0321 0132 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.182386452319 0.992384042354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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_0110_5']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), '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_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_1, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1737976036203919641655089331561232/53487774877514746164500142044129\ *c_0110_5^19 + 28848955451297335431605765500712492/2674388743875737\ 30822500710220645*c_0110_5^18 + 5864749660611395514408940113626636/\ 53487774877514746164500142044129*c_0110_5^17 - 143748530532485266028713726106307743/267438874387573730822500710220\ 645*c_0110_5^16 + 11776298434770358072974766698823552/2674388743875\ 73730822500710220645*c_0110_5^15 + 52041940400074671678014482789440737/2674388743875737308225007102206\ 45*c_0110_5^14 + 362411148961272146897074370078672629/2674388743875\ 73730822500710220645*c_0110_5^13 - 63433052939083182473511872540148058/5348777487751474616450014204412\ 9*c_0110_5^12 - 341362771656353592278332489038268406/26743887438757\ 3730822500710220645*c_0110_5^11 + 327810132505099030365634479980665\ 049/267438874387573730822500710220645*c_0110_5^10 - 127233634492843523692300192251346856/267438874387573730822500710220\ 645*c_0110_5^9 + 323361068265210747910890951447920309/2674388743875\ 73730822500710220645*c_0110_5^8 - 521660570331186835097329983681224\ 44/267438874387573730822500710220645*c_0110_5^7 - 236892118858274244389338458192227454/267438874387573730822500710220\ 645*c_0110_5^6 + 86060107966811074831674021352709473/26743887438757\ 3730822500710220645*c_0110_5^5 + 3476378860189669364714186410529673\ 3/267438874387573730822500710220645*c_0110_5^4 - 9937523994496191822148540929421967/53487774877514746164500142044129\ *c_0110_5^3 + 27853232574821702039969861677431033/26743887438757373\ 0822500710220645*c_0110_5^2 + 10628315985877782854605568429595322/2\ 67438874387573730822500710220645*c_0110_5 + 222216765020968229966716965643346/267438874387573730822500710220645\ , c_0011_0 - 1, c_0011_3 - 109424368731867004849552082854180/53487774877514746164500142\ 044129*c_0110_5^19 + 291216832308870465049171106131736/534877748775\ 14746164500142044129*c_0110_5^18 + 571945456203880206436542484903101/53487774877514746164500142044129*\ c_0110_5^17 - 1426632758107696969531535713232132/534877748775147461\ 64500142044129*c_0110_5^16 - 969247269201386244570240864559583/5348\ 7774877514746164500142044129*c_0110_5^15 + 38274454227561664228362914829299/53487774877514746164500142044129*c\ _0110_5^14 + 5298468365640230548855367620961258/5348777487751474616\ 4500142044129*c_0110_5^13 - 550069824985497389852548663602479/53487\ 774877514746164500142044129*c_0110_5^12 - 5471061240853004524642449394549394/53487774877514746164500142044129\ *c_0110_5^11 - 987395010896723743773029443299113/534877748775147461\ 64500142044129*c_0110_5^10 - 298271566144987885836468630046095/5348\ 7774877514746164500142044129*c_0110_5^9 + 5609322767412526689330347279188553/53487774877514746164500142044129\ *c_0110_5^8 + 1645951423186660992688061601289852/534877748775147461\ 64500142044129*c_0110_5^7 - 2267761176316855174792590245924000/5348\ 7774877514746164500142044129*c_0110_5^6 - 2039742723270983192233834574979275/53487774877514746164500142044129\ *c_0110_5^5 - 175917284420012578905268897182022/5348777487751474616\ 4500142044129*c_0110_5^4 + 631712128417622947314957320483099/534877\ 74877514746164500142044129*c_0110_5^3 + 494808984416163401261775977936034/53487774877514746164500142044129*\ c_0110_5^2 + 30040939987129854729322968317711/534877748775147461645\ 00142044129*c_0110_5 + 38918997146729033843335482338429/53487774877\ 514746164500142044129, c_0011_6 + c_0110_5, c_0101_1 - 100463383928177774473292536566360/53487774877514746164500142\ 044129*c_0110_5^19 + 286157909313962623117103198010272/534877748775\ 14746164500142044129*c_0110_5^18 + 494295682378083105215182902067802/53487774877514746164500142044129*\ c_0110_5^17 - 1489362309629605795419688168248872/534877748775147461\ 64500142044129*c_0110_5^16 - 663230399257434587587488051926517/5348\ 7774877514746164500142044129*c_0110_5^15 + 614687918151928478386092156605427/53487774877514746164500142044129*\ c_0110_5^14 + 4597622460078910928745598255231876/534877748775147461\ 64500142044129*c_0110_5^13 - 1699836808313352002133150014889870/534\ 87774877514746164500142044129*c_0110_5^12 - 5690556612213960382540847342980463/53487774877514746164500142044129\ *c_0110_5^11 + 1580946238902864201289464380451512/53487774877514746\ 164500142044129*c_0110_5^10 + 559799468186426377569741648615187/534\ 87774877514746164500142044129*c_0110_5^9 + 3521422438024290917126927672805116/53487774877514746164500142044129\ *c_0110_5^8 + 754821962678845995892409120467290/5348777487751474616\ 4500142044129*c_0110_5^7 - 3017059471159847522385149825255590/53487\ 774877514746164500142044129*c_0110_5^6 - 628949098725994204247680913364713/53487774877514746164500142044129*\ c_0110_5^5 + 959570972256622634534969305278974/53487774877514746164\ 500142044129*c_0110_5^4 + 41061831659432395027453902587077/53487774\ 877514746164500142044129*c_0110_5^3 + 8746124637417027407188336301932/53487774877514746164500142044129*c_\ 0110_5^2 + 146908125965271550202358108580981/5348777487751474616450\ 0142044129*c_0110_5 + 2070281326575207668697163772767/5348777487751\ 4746164500142044129, c_0101_2 - 458297898510302540511206935036540/53487774877514746164500142\ 044129*c_0110_5^19 + 1520924897374692984673313315092968/53487774877\ 514746164500142044129*c_0110_5^18 + 1627472700246857800497718985422731/53487774877514746164500142044129\ *c_0110_5^17 - 7777710016342756731998988792455992/53487774877514746\ 164500142044129*c_0110_5^16 + 124042789618727436181643366804375/534\ 87774877514746164500142044129*c_0110_5^15 + 3833173679987462079356980061323428/53487774877514746164500142044129\ *c_0110_5^14 + 20182286446617642740982390407210352/5348777487751474\ 6164500142044129*c_0110_5^13 - 17260019921202357531781371419806238/\ 53487774877514746164500142044129*c_0110_5^12 - 22121208676608782110700175232453310/5348777487751474616450014204412\ 9*c_0110_5^11 + 17378819517803529164811291702350527/534877748775147\ 46164500142044129*c_0110_5^10 - 781828185795580764650632071227631/5\ 3487774877514746164500142044129*c_0110_5^9 + 17656962324093043823141675594081811/5348777487751474616450014204412\ 9*c_0110_5^8 - 4965538843555822566987292731985194/53487774877514746\ 164500142044129*c_0110_5^7 - 15635675531024244536233954831623831/53\ 487774877514746164500142044129*c_0110_5^6 + 2852948343770366690046085569087499/53487774877514746164500142044129\ *c_0110_5^5 + 4955641830466194789936775638623880/534877748775147461\ 64500142044129*c_0110_5^4 - 680496169198596820142296109788724/53487\ 774877514746164500142044129*c_0110_5^3 + 326781804070661846687557896724844/53487774877514746164500142044129*\ c_0110_5^2 - 4961414664417858083483873697543/5348777487751474616450\ 0142044129*c_0110_5 - 33766659922329857752362117087019/534877748775\ 14746164500142044129, c_0101_3 - 24340627052241931100683427989460/534877748775147461645001420\ 44129*c_0110_5^19 + 31427138354131733012348168638112/53487774877514\ 746164500142044129*c_0110_5^18 + 247022948695324872776860593554753/\ 53487774877514746164500142044129*c_0110_5^17 - 228255747827570334203677027291706/53487774877514746164500142044129*\ c_0110_5^16 - 817263987180596789007358493712453/5348777487751474616\ 4500142044129*c_0110_5^15 + 166885695241583133273399122885554/53487\ 774877514746164500142044129*c_0110_5^14 + 1480288722391364499099554833705983/53487774877514746164500142044129\ *c_0110_5^13 + 1279908331859901314159971515783273/53487774877514746\ 164500142044129*c_0110_5^12 - 2923877138122221597651101946600470/53\ 487774877514746164500142044129*c_0110_5^11 - 1548621440359948351934176853086752/53487774877514746164500142044129\ *c_0110_5^10 + 1680742670636190287101417848165827/53487774877514746\ 164500142044129*c_0110_5^9 + 1041570121914375372321830323788261/534\ 87774877514746164500142044129*c_0110_5^8 + 1594669465639974689038087511055422/53487774877514746164500142044129\ *c_0110_5^7 - 1319945780494331941704018169226409/534877748775147461\ 64500142044129*c_0110_5^6 - 1573570083204244994489649477469007/5348\ 7774877514746164500142044129*c_0110_5^5 + 469779310372149776095775555615983/53487774877514746164500142044129*\ c_0110_5^4 + 614285344326693104220762842447228/53487774877514746164\ 500142044129*c_0110_5^3 - 22281187568758183275638797519246/53487774\ 877514746164500142044129*c_0110_5^2 + 32263748266534665047621269892694/53487774877514746164500142044129*c\ _0110_5 - 24808559320980265123247021521800/534877748775147461645001\ 42044129, c_0110_5^20 - 16/5*c_0110_5^19 - 77/20*c_0110_5^18 + 163/10*c_0110_5^17 + 6/5*c_0110_5^16 - 141/20*c_0110_5^15 - 44*c_0110_5^14 + 159/5*c_0110_5^13 + 481/10*c_0110_5^12 - 158/5*c_0110_5^11 + 73/20*c_0110_5^10 - 193/5*c_0110_5^9 + 47/10*c_0110_5^8 + 637/20*c_0110_5^7 - 77/20*c_0110_5^6 - 41/5*c_0110_5^5 + 8/5*c_0110_5^4 - 31/20*c_0110_5^3 - 7/20*c_0110_5^2 + 1/20*c_0110_5 - 1/20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB