Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 559987970] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s357 geometric_solution 4.57322508 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563609866476 0.441712870032 3 2 2 0 0132 3012 2031 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 -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.682840582643 0.661683369056 1 3 0 1 1230 3201 0132 1302 0 0 0 0 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 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.682840582643 0.661683369056 1 4 2 4 0132 0132 2310 2310 0 0 0 0 0 0 0 0 1 0 0 -1 -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 1 0 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 1.914085183783 1.245127663544 3 3 5 5 3201 0132 3201 0132 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 -1 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163417106489 0.316513192047 4 5 4 5 2310 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 1 0 -1 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 -2.101763192239 2.653730636000 ==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' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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: 17 Groebner basis: [ t - 2339994042412184743494379839/404080502932587595246613345*c_0101_5^1\ 6 - 3185597419726075697319683958/404080502932587595246613345*c_0101\ _5^15 + 14540061426198634414050354500/80816100586517519049322669*c_\ 0101_5^14 - 4413732431609251159201019311/80816100586517519049322669\ *c_0101_5^13 - 369450215557805445085811374102/404080502932587595246\ 613345*c_0101_5^12 + 59830549498105610957019860038/4040805029325875\ 95246613345*c_0101_5^11 - 129327615144934331254167065641/4040805029\ 32587595246613345*c_0101_5^10 + 232256210814227998842657946691/8081\ 6100586517519049322669*c_0101_5^9 + 1631576812519019119439351417657/404080502932587595246613345*c_0101_\ 5^8 - 2040147342980240663524063578503/404080502932587595246613345*c\ _0101_5^7 + 2536756418726485359215863192904/40408050293258759524661\ 3345*c_0101_5^6 - 1920596046079097406453110272954/40408050293258759\ 5246613345*c_0101_5^5 - 1031930595007261929741246370013/40408050293\ 2587595246613345*c_0101_5^4 + 480055917876849424753437599571/404080\ 502932587595246613345*c_0101_5^3 + 202565616934503037631307317866/404080502932587595246613345*c_0101_5\ ^2 + 74207402728016335896469141919/404080502932587595246613345*c_01\ 01_5 - 26550319159481568853536003441/404080502932587595246613345, c_0011_0 - 1, c_0011_1 - 19754179805967512675084370/80816100586517519049322669*c_0101\ _5^16 - 34729583258105574569008414/80816100586517519049322669*c_010\ 1_5^15 + 598392094305405136397876003/80816100586517519049322669*c_0\ 101_5^14 + 48005199564379396459628603/80816100586517519049322669*c_\ 0101_5^13 - 3053372380492318619357211229/80816100586517519049322669\ *c_0101_5^12 - 692886136818499537887368272/808161005865175190493226\ 69*c_0101_5^11 - 1597669311998867624948423843/808161005865175190493\ 22669*c_0101_5^10 + 9063517806290844347988205592/808161005865175190\ 49322669*c_0101_5^9 + 17181414087487513544068723731/808161005865175\ 19049322669*c_0101_5^8 - 9726399484107086908611024720/8081610058651\ 7519049322669*c_0101_5^7 + 19035622686255428782397929321/8081610058\ 6517519049322669*c_0101_5^6 - 8986306983244953373635925401/80816100\ 586517519049322669*c_0101_5^5 - 10640822046629340853304556042/80816\ 100586517519049322669*c_0101_5^4 - 714491530221646376288270431/80816100586517519049322669*c_0101_5^3 + 777016779925204102792543189/80816100586517519049322669*c_0101_5^2 + 494496356198338060075138541/80816100586517519049322669*c_0101_5 - 94437649080226886606021648/80816100586517519049322669, c_0011_5 - 5401337486873019429905572/80816100586517519049322669*c_0101_\ 5^16 - 10198607734982922893392475/80816100586517519049322669*c_0101\ _5^15 + 162123567135290845770920125/80816100586517519049322669*c_01\ 01_5^14 + 33936110422138555330474114/80816100586517519049322669*c_0\ 101_5^13 - 825546621565744882033548117/80816100586517519049322669*c\ _0101_5^12 - 297156171208407982081832868/80816100586517519049322669\ *c_0101_5^11 - 496436078027274540408292161/808161005865175190493226\ 69*c_0101_5^10 + 2409862599867486058526372884/808161005865175190493\ 22669*c_0101_5^9 + 4974629436127176011783268857/8081610058651751904\ 9322669*c_0101_5^8 - 1936785781721624468536057557/80816100586517519\ 049322669*c_0101_5^7 + 5079310864869891903949323632/808161005865175\ 19049322669*c_0101_5^6 - 1824844421310445651459008578/8081610058651\ 7519049322669*c_0101_5^5 - 2879367836936099497294653630/80816100586\ 517519049322669*c_0101_5^4 - 741101857282731470242990062/8081610058\ 6517519049322669*c_0101_5^3 + 207686066390242946779414045/808161005\ 86517519049322669*c_0101_5^2 + 159972388343780351749750648/80816100\ 586517519049322669*c_0101_5 - 25066896675793325838666338/8081610058\ 6517519049322669, c_0101_0 + 10433686176855229107843531/80816100586517519049322669*c_0101\ _5^16 + 12892640410240995626512068/80816100586517519049322669*c_010\ 1_5^15 - 325551217475504714837534962/80816100586517519049322669*c_0\ 101_5^14 + 140071118140996565217636805/80816100586517519049322669*c\ _0101_5^13 + 1623399969457505486347042237/8081610058651751904932266\ 9*c_0101_5^12 - 481912904297151909420376490/80816100586517519049322\ 669*c_0101_5^11 + 671282005155439795759338424/808161005865175190493\ 22669*c_0101_5^10 - 5199337821514359778439352422/808161005865175190\ 49322669*c_0101_5^9 - 6588613829140984831032735351/8081610058651751\ 9049322669*c_0101_5^8 + 9840735479712094753795872285/80816100586517\ 519049322669*c_0101_5^7 - 12906900609597284411054126257/80816100586\ 517519049322669*c_0101_5^6 + 9992591685106763468901784818/808161005\ 86517519049322669*c_0101_5^5 + 3307152806506485022345792527/8081610\ 0586517519049322669*c_0101_5^4 - 2754333347346630161074627535/80816\ 100586517519049322669*c_0101_5^3 - 304649757804795759729689684/80816100586517519049322669*c_0101_5^2 - 23716292357377338008259288/80816100586517519049322669*c_0101_5 + 150385854167050396225376512/80816100586517519049322669, c_0101_1 - 2079668271803227447455796/80816100586517519049322669*c_0101_\ 5^16 - 1644057392589495718711801/80816100586517519049322669*c_0101_\ 5^15 + 66959095261834716268085733/80816100586517519049322669*c_0101\ _5^14 - 54893241535162470688081599/80816100586517519049322669*c_010\ 1_5^13 - 338746435477140496864056179/80816100586517519049322669*c_0\ 101_5^12 + 229223213168385768683083375/80816100586517519049322669*c\ _0101_5^11 - 32282638443971570744862339/80816100586517519049322669*\ c_0101_5^10 + 1170143316354013136646206334/808161005865175190493226\ 69*c_0101_5^9 + 926503406309567633147897342/80816100586517519049322\ 669*c_0101_5^8 - 2937533400964645694077165335/808161005865175190493\ 22669*c_0101_5^7 + 2512254267544008003484204425/8081610058651751904\ 9322669*c_0101_5^6 - 2889932996929284904374529459/80816100586517519\ 049322669*c_0101_5^5 - 503755758556330821122685997/8081610058651751\ 9049322669*c_0101_5^4 + 852853969801671582635469935/808161005865175\ 19049322669*c_0101_5^3 + 507981281049204555212298409/80816100586517\ 519049322669*c_0101_5^2 + 58475932954113233403000022/80816100586517\ 519049322669*c_0101_5 - 72988448635380604313206277/8081610058651751\ 9049322669, c_0101_5^17 + 2*c_0101_5^16 - 30*c_0101_5^15 - 10*c_0101_5^14 + 158*c_0101_5^13 + 73*c_0101_5^12 + 69*c_0101_5^11 - 445*c_0101_5^10 - 993*c_0101_5^9 + 342*c_0101_5^8 - 726*c_0101_5^7 + 166*c_0101_5^6 + 782*c_0101_5^5 + 111*c_0101_5^4 - 99*c_0101_5^3 - 46*c_0101_5^2 - c_0101_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB