Magma V2.19-8 Wed Aug 21 2013 01:01:18 on localhost [Seed = 3187385930] Type ? for help. Type -D to quit. Loading file "L14a28918__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a28918 geometric_solution 11.51830679 oriented_manifold CS_known -0.0000000000000002 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 2 2 1 2 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 -1 1 0 0 0 0 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722892714549 0.756320593170 0 4 0 5 0132 0132 3012 0132 2 2 2 1 0 0 1 -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 -2 1 0 0 0 0 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339579568842 0.690959477364 6 7 7 0 0132 0132 1302 0132 2 2 2 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 -1 1 0 0 0 0 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619998508042 1.160766403565 4 4 0 8 0132 1302 0132 0132 2 2 2 1 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 1 -1 0 1 0 0 -1 0 -1 0 1 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003905303662 0.707411603855 3 1 9 3 0132 0132 0132 2031 2 2 1 2 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 -1 0 1 -1 0 2 -1 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665606245956 0.469025893448 6 9 1 8 2103 3201 0132 1230 2 2 2 2 0 0 1 -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 0 -1 1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059854460416 0.969298436482 2 10 5 10 0132 0132 2103 1230 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.756276695861 1.452705912529 2 2 8 10 2031 0132 2031 0132 2 2 0 2 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 -3 4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641987056112 0.670274834402 5 11 3 7 3012 0132 0132 1302 2 2 2 2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.130179421486 0.769256794859 12 12 5 4 0132 3201 2310 0132 2 2 2 2 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611492588008 0.957382087168 6 6 7 11 3012 0132 0132 1230 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112327542066 0.669525161227 10 8 11 11 3012 0132 1230 3012 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.016971516108 0.706498429579 9 12 9 12 0132 2310 2310 3201 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.822836358619 0.450798634991 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : negation(d['c_0101_9']), 'c_1001_7' : negation(d['c_0110_8']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_8']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_5'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_1100_9' : d['c_0011_5'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_8'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0110_8'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : d['c_0110_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0110_8']), 'c_1010_1' : negation(d['c_0101_9']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0110_11']), 'c_1100_8' : d['c_0101_7'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_10'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0101_9, c_0110_11, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 8985034666500242376699529785573381/3798362624516344915717043*c_0110\ _8^11 + 79063725565506289805110110994450210/37983626245163449157170\ 43*c_0110_8^10 - 307430683649302601412251143229545938/3798362624516\ 344915717043*c_0110_8^9 + 673925002647603398063699630912411998/3798\ 362624516344915717043*c_0110_8^8 - 899481724317744347658171015718550629/3798362624516344915717043*c_01\ 10_8^7 + 721424493843605427307744063645646458/379836262451634491571\ 7043*c_0110_8^6 - 280134310867228215412484636435668262/379836262451\ 6344915717043*c_0110_8^5 - 49383328855082336618337460556198505/3798\ 362624516344915717043*c_0110_8^4 + 120020097845715847173661600437194000/3798362624516344915717043*c_01\ 10_8^3 - 63218493157905431640221634058641320/3798362624516344915717\ 043*c_0110_8^2 + 2255550320475155532885683182094342/542623232073763\ 559388149*c_0110_8 - 1601694691600340716404223881424682/37983626245\ 16344915717043, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 1732830577109781496899750/6634590241404667727*c_0110_8^11 - 15258679714145170509936104/6634590241404667727*c_0110_8^10 + 59375002653234270711973250/6634590241404667727*c_0110_8^9 - 130264064643524979063000724/6634590241404667727*c_0110_8^8 + 174022077405842279635675420/6634590241404667727*c_0110_8^7 - 139729677319684062990545239/6634590241404667727*c_0110_8^6 + 54370160548517025088554638/6634590241404667727*c_0110_8^5 + 9488572761323093346670169/6634590241404667727*c_0110_8^4 - 23237952065648087070417078/6634590241404667727*c_0110_8^3 + 12257047067298301372983782/6634590241404667727*c_0110_8^2 - 3063944682165434476575592/6634590241404667727*c_0110_8 + 311020573310131181742100/6634590241404667727, c_0011_12 + 5344745154546007102599487/6634590241404667727*c_0110_8^11 - 47073866852812670092612368/6634590241404667727*c_0110_8^10 + 183220078896756263049766591/6634590241404667727*c_0110_8^9 - 402094478769436982100499544/6634590241404667727*c_0110_8^8 + 537380293896790705763092426/6634590241404667727*c_0110_8^7 - 431735566251431364563506728/6634590241404667727*c_0110_8^6 + 168207660418944683468454301/6634590241404667727*c_0110_8^5 + 29151803820784364170347260/6634590241404667727*c_0110_8^4 - 71774056610757934274353297/6634590241404667727*c_0110_8^3 + 37900840207143456319076500/6634590241404667727*c_0110_8^2 - 9483974858877701422759783/6634590241404667727*c_0110_8 + 963883818756803932555534/6634590241404667727, c_0011_5 + 2312331477557989495149146/6634590241404667727*c_0110_8^11 - 20346803126305473929448414/6634590241404667727*c_0110_8^10 + 79108545676795343874105954/6634590241404667727*c_0110_8^9 - 173380445559394954436176916/6634590241404667727*c_0110_8^8 + 231323128807691954367027538/6634590241404667727*c_0110_8^7 - 185404830893180564046157694/6634590241404667727*c_0110_8^6 + 71867782645307084537271040/6634590241404667727*c_0110_8^5 + 12795262626660517706732712/6634590241404667727*c_0110_8^4 - 30863319640942384182791644/6634590241404667727*c_0110_8^3 + 16227926525836464959918014/6634590241404667727*c_0110_8^2 - 4045911647834516108230087/6634590241404667727*c_0110_8 + 409573506260208535435282/6634590241404667727, c_0101_0 - 1, c_0101_1 - 1932544904451200884370768/6634590241404667727*c_0110_8^11 + 16988900239200662310472868/6634590241404667727*c_0110_8^10 - 65981875605455601586567074/6634590241404667727*c_0110_8^9 + 144418783693629737341005534/6634590241404667727*c_0110_8^8 - 192359521857000427398101362/6634590241404667727*c_0110_8^7 + 153814542339392607017467556/6634590241404667727*c_0110_8^6 - 59325420222693820173135939/6634590241404667727*c_0110_8^5 - 10836469053564972466489361/6634590241404667727*c_0110_8^4 + 25636188278115266549009742/6634590241404667727*c_0110_8^3 - 13424346433697998928710296/6634590241404667727*c_0110_8^2 + 3335457851425884647269984/6634590241404667727*c_0110_8 - 336443410531499646114638/6634590241404667727, c_0101_10 + 579500900448207998249396/6634590241404667727*c_0110_8^11 - 5088123412160303419512310/6634590241404667727*c_0110_8^10 + 19733543023561073162132704/6634590241404667727*c_0110_8^9 - 43116380915869975373176192/6634590241404667727*c_0110_8^8 + 57301051401849674731352118/6634590241404667727*c_0110_8^7 - 45675153573496501055612455/6634590241404667727*c_0110_8^6 + 17497622096790059448716402/6634590241404667727*c_0110_8^5 + 3306689865337424360062543/6634590241404667727*c_0110_8^4 - 7625367575294297112374566/6634590241404667727*c_0110_8^3 + 3970879458538163586934232/6634590241404667727*c_0110_8^2 - 981966965669081631654495/6634590241404667727*c_0110_8 + 98552932950077353693182/6634590241404667727, c_0101_12 + 2312331477557989495149146/6634590241404667727*c_0110_8^11 - 20346803126305473929448414/6634590241404667727*c_0110_8^10 + 79108545676795343874105954/6634590241404667727*c_0110_8^9 - 173380445559394954436176916/6634590241404667727*c_0110_8^8 + 231323128807691954367027538/6634590241404667727*c_0110_8^7 - 185404830893180564046157694/6634590241404667727*c_0110_8^6 + 71867782645307084537271040/6634590241404667727*c_0110_8^5 + 12795262626660517706732712/6634590241404667727*c_0110_8^4 - 30863319640942384182791644/6634590241404667727*c_0110_8^3 + 16227926525836464959918014/6634590241404667727*c_0110_8^2 - 4045918282424757512897814/6634590241404667727*c_0110_8 + 409580140850449940103009/6634590241404667727, c_0101_7 - 579500900448207998249396/6634590241404667727*c_0110_8^11 + 5088123412160303419512310/6634590241404667727*c_0110_8^10 - 19733543023561073162132704/6634590241404667727*c_0110_8^9 + 43116380915869975373176192/6634590241404667727*c_0110_8^8 - 57301051401849674731352118/6634590241404667727*c_0110_8^7 + 45675153573496501055612455/6634590241404667727*c_0110_8^6 - 17497622096790059448716402/6634590241404667727*c_0110_8^5 - 3306689865337424360062543/6634590241404667727*c_0110_8^4 + 7625367575294297112374566/6634590241404667727*c_0110_8^3 - 3970879458538163586934232/6634590241404667727*c_0110_8^2 + 981973600259323036322222/6634590241404667727*c_0110_8 - 98552932950077353693182/6634590241404667727, c_0101_9 + 4189861710802513960792600/6634590241404667727*c_0110_8^11 - 36885555782116455450399670/6634590241404667727*c_0110_8^10 + 143491641535634573252905356/6634590241404667727*c_0110_8^9 - 314707644045850517871721043/6634590241404667727*c_0110_8^8 + 420257917036735099001495142/6634590241404667727*c_0110_8^7 - 337265239983152856138487387/6634590241404667727*c_0110_8^6 + 131093699149574648928808592/6634590241404667727*c_0110_8^5 + 23002909165771875683882843/6634590241404667727*c_0110_8^4 - 56102076105479364376801494/6634590241404667727*c_0110_8^3 + 29567502993039896495407876/6634590241404667727*c_0110_8^2 - 7386611315188172026315580/6634590241404667727*c_0110_8 + 749420183706826302010619/6634590241404667727, c_0110_11 - 719268090645674093226516/6634590241404667727*c_0110_8^11 + 6322168928831734807869581/6634590241404667727*c_0110_8^10 - 24549982760650763315294314/6634590241404667727*c_0110_8^9 + 53721870854977389982598484/6634590241404667727*c_0110_8^8 - 71532596994977411435607500/6634590241404667727*c_0110_8^7 + 57171018525984702812852412/6634590241404667727*c_0110_8^6 - 22025253354623099984900402/6634590241404667727*c_0110_8^5 - 4047937233752515307090311/6634590241404667727*c_0110_8^4 + 9532220331019248147562636/6634590241404667727*c_0110_8^3 - 4986206533685441270439845/6634590241404667727*c_0110_8^2 + 1237608194336009473876448/6634590241404667727*c_0110_8 - 124674403850512491526011/6634590241404667727, c_0110_8^12 - 21820/2299*c_0110_8^11 + 92651/2299*c_0110_8^10 - 11938/121*c_0110_8^9 + 349347/2299*c_0110_8^8 - 343650/2299*c_0110_8^7 + 199220/2299*c_0110_8^6 - 36868/2299*c_0110_8^5 - 39455/2299*c_0110_8^4 + 37396/2299*c_0110_8^3 - 15214/2299*c_0110_8^2 + 3200/2299*c_0110_8 - 283/2299 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB