Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 3920131525] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s220 geometric_solution 4.37343008 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.623600065562 0.172485585411 2 0 2 0 0132 2310 1023 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 -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.886772889770 0.239540017267 1 3 1 4 0132 0132 1023 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 1 -1 -1 0 1 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 1.169129878920 0.454912847235 4 2 5 4 3012 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121528733833 0.741701282180 3 5 2 3 3012 3201 0132 1230 0 0 0 0 0 -1 0 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 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.121528733833 0.741701282180 5 5 4 3 1230 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827513887124 0.783598305541 ==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' : 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_5' : d['c_0011_1'], '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_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_0011_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_5']), '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_5, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 4402127274311080018498/261547184693041733607*c_0101_5^13 + 7346069322022337838753/87182394897680577869*c_0101_5^12 - 75054928947662196580678/261547184693041733607*c_0101_5^11 + 146163533838667738327303/261547184693041733607*c_0101_5^10 - 90435160612510238311484/261547184693041733607*c_0101_5^9 - 1299428549530399297286053/261547184693041733607*c_0101_5^8 + 25123322195305479206712/4588547099877925151*c_0101_5^7 - 1440847555182207768137077/261547184693041733607*c_0101_5^6 - 2151617721473985127507622/261547184693041733607*c_0101_5^5 + 4289211981114312509324839/261547184693041733607*c_0101_5^4 + 2504352474576470707829173/261547184693041733607*c_0101_5^3 - 512347623736753737683672/261547184693041733607*c_0101_5^2 - 391984216986469734141578/261547184693041733607*c_0101_5 - 49982565712586207357252/87182394897680577869, c_0011_0 - 1, c_0011_1 - 7363269010524950/7925672263425507079*c_0101_5^13 + 276339403450522907/23777016790276521237*c_0101_5^12 - 418120823137834608/7925672263425507079*c_0101_5^11 + 3845115897320395601/23777016790276521237*c_0101_5^10 - 7054288591472488493/23777016790276521237*c_0101_5^9 - 473927701384006238/23777016790276521237*c_0101_5^8 + 2770784357155621499/1251421936330343223*c_0101_5^7 - 24108093017019028977/7925672263425507079*c_0101_5^6 + 70704628470455569316/23777016790276521237*c_0101_5^5 + 57198928414821958123/23777016790276521237*c_0101_5^4 - 135150685198767570293/23777016790276521237*c_0101_5^3 - 57114973316426623046/23777016790276521237*c_0101_5^2 - 8804342873048727896/23777016790276521237*c_0101_5 + 9931902274298490403/23777016790276521237, c_0011_5 + 610984279447139195/71331050370829563711*c_0101_5^13 - 3069204904331964164/71331050370829563711*c_0101_5^12 + 10550991601386789314/71331050370829563711*c_0101_5^11 - 20997462477058166569/71331050370829563711*c_0101_5^10 + 5013437250336246008/23777016790276521237*c_0101_5^9 + 174656826727234629946/71331050370829563711*c_0101_5^8 - 10190483574832070195/3754265808991029669*c_0101_5^7 + 219350294006705887307/71331050370829563711*c_0101_5^6 + 239621483031877035716/71331050370829563711*c_0101_5^5 - 169048227021890085991/23777016790276521237*c_0101_5^4 - 122810467908680679959/23777016790276521237*c_0101_5^3 + 3984178252522619486/23777016790276521237*c_0101_5^2 + 11597684923157686931/7925672263425507079*c_0101_5 + 25933466268903141995/71331050370829563711, c_0101_0 + 1762665655131702374/71331050370829563711*c_0101_5^13 - 8679750292876766276/71331050370829563711*c_0101_5^12 + 28879554251705518037/71331050370829563711*c_0101_5^11 - 53704816756862837761/71331050370829563711*c_0101_5^10 + 2563975496327955453/7925672263425507079*c_0101_5^9 + 540717512644222870234/71331050370829563711*c_0101_5^8 - 28741828947340367597/3754265808991029669*c_0101_5^7 + 405092181200909286170/71331050370829563711*c_0101_5^6 + 1080254730933541487690/71331050370829563711*c_0101_5^5 - 207240722283382603986/7925672263425507079*c_0101_5^4 - 427829361017074128466/23777016790276521237*c_0101_5^3 + 55128037086738101117/7925672263425507079*c_0101_5^2 + 106209223936736707396/23777016790276521237*c_0101_5 + 45254244316661401415/71331050370829563711, c_0101_1 + 604913978311925861/71331050370829563711*c_0101_5^13 - 3747741426122651927/71331050370829563711*c_0101_5^12 + 14232208178709281213/71331050370829563711*c_0101_5^11 - 34194080029140892183/71331050370829563711*c_0101_5^10 + 4796975577621032475/7925672263425507079*c_0101_5^9 + 147824443681990855270/71331050370829563711*c_0101_5^8 - 20530869181862223251/3754265808991029669*c_0101_5^7 + 510709523860235300291/71331050370829563711*c_0101_5^6 - 105488108562725284225/71331050370829563711*c_0101_5^5 - 79605331193742777425/7925672263425507079*c_0101_5^4 + 110640041823281240828/23777016790276521237*c_0101_5^3 + 18503440552706597659/7925672263425507079*c_0101_5^2 + 8476010024449323307/23777016790276521237*c_0101_5 + 29895831777949440617/71331050370829563711, c_0101_5^14 - 5*c_0101_5^13 + 17*c_0101_5^12 - 33*c_0101_5^11 + 20*c_0101_5^10 + 296*c_0101_5^9 - 324*c_0101_5^8 + 320*c_0101_5^7 + 498*c_0101_5^6 - 979*c_0101_5^5 - 582*c_0101_5^4 + 132*c_0101_5^3 + 96*c_0101_5^2 + 31*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB