Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2101141945] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0421 geometric_solution 4.47850526 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 -1 0 1 -1 0 0 1 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.662931606651 0.097797964840 0 0 2 2 0132 3201 2310 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 -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 2.132092627790 0.643062444334 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.192320909892 0.573100788440 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306619008307 0.289964569283 5 3 5 6 2310 0132 3201 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 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.260516824644 1.171688461671 4 6 4 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.260516824644 1.171688461671 5 6 4 6 1023 2310 0132 3201 0 0 0 0 0 -1 1 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 -1 1 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.180823689682 0.813264291418 ==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' : negation(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_2_6' : d['1'], 's_1_6' : 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_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 336616862140591734437946067/1331182173070571985208337*c_0110_6^18 + 8929747167897105507084617348/1331182173070571985208337*c_0110_6^16 - 6353038334322769967360542830/1331182173070571985208337*c_0110_6^14 + 219267429327772715407274382819/1331182173070571985208337*c_0110_6^1\ 2 - 492585519743526582800949763973/1331182173070571985208337*c_0110\ _6^10 + 273509283869289976236790516368/1331182173070571985208337*c_\ 0110_6^8 - 8344779182277877992029437030/1331182173070571985208337*c\ _0110_6^6 + 32405343182284375568719169456/1331182173070571985208337\ *c_0110_6^4 - 28014581951253752739182052091/13311821730705719852083\ 37*c_0110_6^2 - 1165664490462271421243191321/1331182173070571985208\ 337, c_0011_0 - 1, c_0011_2 + 79828605773839964483156/1331182173070571985208337*c_0110_6^1\ 8 - 2041993356787987978186185/1331182173070571985208337*c_0110_6^16 - 433188115548871255279870/1331182173070571985208337*c_0110_6^14 - 52328748482114165447916178/1331182173070571985208337*c_0110_6^12 + 67487755282680784759539925/1331182173070571985208337*c_0110_6^10 + 1376509393721451276938832/1331182173070571985208337*c_0110_6^8 + 6938802375009860527287894/1331182173070571985208337*c_0110_6^6 - 13822082263149251745176818/1331182173070571985208337*c_0110_6^4 - 3116126217183998755941571/1331182173070571985208337*c_0110_6^2 - 472053623039170887244988/1331182173070571985208337, c_0011_5 + 232506966182813099850345/1331182173070571985208337*c_0110_6^\ 18 - 6105164819247286433379122/1331182173070571985208337*c_0110_6^1\ 6 + 2777190184289480556575484/1331182173070571985208337*c_0110_6^14 - 151652680140793279193089964/1331182173070571985208337*c_0110_6^12 + 299162586775091762393495157/1331182173070571985208337*c_0110_6^10 - 132372640030071229178403759/1331182173070571985208337*c_0110_6^8 + 2907236991901043954663785/1331182173070571985208337*c_0110_6^6 - 21683575500206854872324893/1331182173070571985208337*c_0110_6^4 + 10700137024364812409954248/1331182173070571985208337*c_0110_6^2 + 143602445845853601674915/1331182173070571985208337, c_0101_0 - 1636852744616346437467742/1331182173070571985208337*c_0110_6\ ^19 + 43420919911389742261035034/1331182173070571985208337*c_0110_6\ ^17 - 30883368080935596800045533/1331182173070571985208337*c_0110_6\ ^15 + 1066919281829807640434693265/1331182173070571985208337*c_0110\ _6^13 - 2394686041537999128035399273/1331182173070571985208337*c_01\ 10_6^11 + 1345802321776033071488248576/1331182173070571985208337*c_\ 0110_6^9 - 74825500549773736288895778/1331182173070571985208337*c_0\ 110_6^7 + 169716306646426737729709078/1331182173070571985208337*c_0\ 110_6^5 - 136079512407510163649574575/1331182173070571985208337*c_0\ 110_6^3 - 72043381820567694587600/1331182173070571985208337*c_0110_\ 6, c_0101_1 + 2010411421819917454177775/1331182173070571985208337*c_0110_6\ ^19 - 53518260583293055597874988/1331182173070571985208337*c_0110_6\ ^17 + 42821085705087868308604101/1331182173070571985208337*c_0110_6\ ^15 - 1311473516068519845037292489/1331182173070571985208337*c_0110\ _6^13 + 3063170247968031383227735646/1331182173070571985208337*c_01\ 10_6^11 - 1865945865823413076668633527/1331182173070571985208337*c_\ 0110_6^9 + 138827045060433886727004710/1331182173070571985208337*c_\ 0110_6^7 - 194469372099209383300319727/1331182173070571985208337*c_\ 0110_6^5 + 191208655915750017645009245/1331182173070571985208337*c_\ 0110_6^3 - 374181873007812123260905/1331182173070571985208337*c_011\ 0_6, c_0101_3 - 777078749742838439936351/1331182173070571985208337*c_0110_6^\ 19 + 20648088474176914106073705/1331182173070571985208337*c_0110_6^\ 17 - 15559783114379474381734335/1331182173070571985208337*c_0110_6^\ 15 + 506741850810206641598261418/1331182173070571985208337*c_0110_6\ ^13 - 1159139898705514182816727628/1331182173070571985208337*c_0110\ _6^11 + 679111821489007304110317497/1331182173070571985208337*c_011\ 0_6^9 - 43530701693342454507755744/1331182173070571985208337*c_0110\ _6^7 + 77734848805161345997650143/1331182173070571985208337*c_0110_\ 6^5 - 71630773459516851603742722/1331182173070571985208337*c_0110_6\ ^3 - 710927165847371834289119/1331182173070571985208337*c_0110_6, c_0110_6^20 - 345/13*c_0110_6^18 + 249/13*c_0110_6^16 - 8471/13*c_0110_6^14 + 19113/13*c_0110_6^12 - 10773/13*c_0110_6^10 + 457/13*c_0110_6^8 - 1269/13*c_0110_6^6 + 1096/13*c_0110_6^4 + 32/13*c_0110_6^2 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB