Magma V2.19-8 Tue Aug 20 2013 16:19:25 on localhost [Seed = 1562165346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3524 geometric_solution 6.84293712 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358645140113 0.747595107063 3 2 4 0 0132 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841226981383 1.070007885724 1 5 0 4 1230 0132 0132 3201 0 0 0 0 0 1 -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 -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.841226981383 1.070007885724 1 5 6 5 0132 1023 0132 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 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.427841152373 0.793848147102 6 2 6 1 1230 2310 0321 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 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.268521940665 0.608667179508 3 2 3 6 1023 0132 1230 2310 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 -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.427841152373 0.793848147102 5 4 4 3 3201 3012 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 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 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.152526506503 0.757614774164 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_1001_4'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), '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_0011_6'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_1001_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_4, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 5760628350147197610434/10021305606890321043*c_1001_4^19 + 1727280081136452448012/10021305606890321043*c_1001_4^18 - 96115077936662342934599/10021305606890321043*c_1001_4^17 + 93275897411323191817282/10021305606890321043*c_1001_4^16 - 301040604266926595396978/10021305606890321043*c_1001_4^15 + 1759627639673586614763223/10021305606890321043*c_1001_4^14 - 1391702258241695990473915/10021305606890321043*c_1001_4^13 - 1131793006881092980091903/3340435202296773681*c_1001_4^12 + 596912678214017229801065/1113478400765591227*c_1001_4^11 + 2076767383520326619308460/10021305606890321043*c_1001_4^10 - 6501566598575889112906237/10021305606890321043*c_1001_4^9 + 21016367387243966105047/3340435202296773681*c_1001_4^8 + 474916265093574942995387/1113478400765591227*c_1001_4^7 - 436336373060694194965127/10021305606890321043*c_1001_4^6 - 1587002205076286004585113/10021305606890321043*c_1001_4^5 + 147950108076644517159860/10021305606890321043*c_1001_4^4 + 309524936213944153247335/10021305606890321043*c_1001_4^3 - 18766225375738366258058/10021305606890321043*c_1001_4^2 - 7271421470693796969847/3340435202296773681*c_1001_4 + 2628043717648303985246/10021305606890321043, c_0011_0 - 1, c_0011_1 - 130153646348359625228/3340435202296773681*c_1001_4^19 - 28645552060886859358/3340435202296773681*c_1001_4^18 + 2168509796233860519140/3340435202296773681*c_1001_4^17 - 2278183629086752002523/3340435202296773681*c_1001_4^16 + 7070317621148840558081/3340435202296773681*c_1001_4^15 - 40468511792671717527700/3340435202296773681*c_1001_4^14 + 35072275061787048637309/3340435202296773681*c_1001_4^13 + 23988512070940026777913/1113478400765591227*c_1001_4^12 - 41455650126632338719130/1113478400765591227*c_1001_4^11 - 36136090182707855825237/3340435202296773681*c_1001_4^10 + 144647341144125884261332/3340435202296773681*c_1001_4^9 - 3679394049413207835889/1113478400765591227*c_1001_4^8 - 30681969236941911355328/1113478400765591227*c_1001_4^7 + 14940888942769899868529/3340435202296773681*c_1001_4^6 + 33089419485897155807180/3340435202296773681*c_1001_4^5 - 4961798689477383061331/3340435202296773681*c_1001_4^4 - 6178463863588036216408/3340435202296773681*c_1001_4^3 + 709618635447392771543/3340435202296773681*c_1001_4^2 + 131739028064454882814/1113478400765591227*c_1001_4 - 74145581483363133986/3340435202296773681, c_0011_4 - 224726912434952814362/3340435202296773681*c_1001_4^19 - 57141303096031631428/3340435202296773681*c_1001_4^18 + 3751524049981618500269/3340435202296773681*c_1001_4^17 - 3809196490911490738996/3340435202296773681*c_1001_4^16 + 11926772818441636543457/3340435202296773681*c_1001_4^15 - 69208791780428817693754/3340435202296773681*c_1001_4^14 + 57505916909104302083440/3340435202296773681*c_1001_4^13 + 43190228647577035735176/1113478400765591227*c_1001_4^12 - 71671740911019674650985/1113478400765591227*c_1001_4^11 - 71469263494464510248702/3340435202296773681*c_1001_4^10 + 256697817955244101281757/3340435202296773681*c_1001_4^9 - 4619834593039216651825/1113478400765591227*c_1001_4^8 - 55448074527768270758462/1113478400765591227*c_1001_4^7 + 24832588828815263736905/3340435202296773681*c_1001_4^6 + 60835843922761756387964/3340435202296773681*c_1001_4^5 - 8821687648450207663778/3340435202296773681*c_1001_4^4 - 11620409034745080862642/3340435202296773681*c_1001_4^3 + 1371901094370708982928/3340435202296773681*c_1001_4^2 + 262418060732825861976/1113478400765591227*c_1001_4 - 151388217441855861656/3340435202296773681, c_0011_6 - c_1001_4, c_0101_0 - 124958400517225119748/3340435202296773681*c_1001_4^19 - 28088098832643766310/3340435202296773681*c_1001_4^18 + 2086334809718652997684/3340435202296773681*c_1001_4^17 - 2180308325572255765685/3340435202296773681*c_1001_4^16 + 6705445820466742724917/3340435202296773681*c_1001_4^15 - 38680954139160878354507/3340435202296773681*c_1001_4^14 + 33119343163110606561842/3340435202296773681*c_1001_4^13 + 23657975296768547609597/1113478400765591227*c_1001_4^12 - 40590223946460294824082/1113478400765591227*c_1001_4^11 - 35354751169755535701823/3340435202296773681*c_1001_4^10 + 143032552599609506769740/3340435202296773681*c_1001_4^9 - 4218509812196228403649/1113478400765591227*c_1001_4^8 - 30224272005271340079077/1113478400765591227*c_1001_4^7 + 16351886805015495200173/3340435202296773681*c_1001_4^6 + 32397686491775998191376/3340435202296773681*c_1001_4^5 - 5494556934203796197938/3340435202296773681*c_1001_4^4 - 6039162893368551054269/3340435202296773681*c_1001_4^3 + 794630986393039410766/3340435202296773681*c_1001_4^2 + 129606088832969035024/1113478400765591227*c_1001_4 - 77526856835714592814/3340435202296773681, c_0101_4 + 261880718750180292916/3340435202296773681*c_1001_4^19 + 749732824552774106/34437476312337873*c_1001_4^18 - 4371230567794714963846/3340435202296773681*c_1001_4^17 + 4336178368031269476299/3340435202296773681*c_1001_4^16 - 13776606473129035760374/3340435202296773681*c_1001_4^15 + 80308646440565519348207/3340435202296773681*c_1001_4^14 - 65083087477881535538600/3340435202296773681*c_1001_4^13 - 50948270991848017555751/1113478400765591227*c_1001_4^12 + 82394035557853259196155/1113478400765591227*c_1001_4^11 + 90112163798298031486672/3340435202296773681*c_1001_4^10 - 298734729784145902716965/3340435202296773681*c_1001_4^9 + 2981736183294764804668/1113478400765591227*c_1001_4^8 + 65359958111844277940453/1113478400765591227*c_1001_4^7 - 25123472237228689685707/3340435202296773681*c_1001_4^6 - 72493198407584973706240/3340435202296773681*c_1001_4^5 + 9206810910933707493616/3340435202296773681*c_1001_4^4 + 13984879805387025649508/3340435202296773681*c_1001_4^3 - 1466632766016708956578/3340435202296773681*c_1001_4^2 - 320408059989829410291/1113478400765591227*c_1001_4 + 175840044117560843056/3340435202296773681, c_1001_4^20 + c_1001_4^19 - 33/2*c_1001_4^18 + 9/2*c_1001_4^17 - 81/2*c_1001_4^16 + 537/2*c_1001_4^15 - 53/2*c_1001_4^14 - 766*c_1001_4^13 + 525*c_1001_4^12 + 1030*c_1001_4^11 - 900*c_1001_4^10 - 1583/2*c_1001_4^9 + 1563/2*c_1001_4^8 + 889/2*c_1001_4^7 - 351*c_1001_4^6 - 329/2*c_1001_4^5 + 161/2*c_1001_4^4 + 33*c_1001_4^3 - 8*c_1001_4^2 - 2*c_1001_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB