Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 1242289811] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1815 geometric_solution 5.47564965 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 -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.458313250477 0.250570733022 0 3 0 3 0132 0132 2310 2310 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 -1 0 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.679807752263 0.918390771775 4 0 5 0 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861878997260 0.667820038753 1 1 4 5 3201 0132 3012 1230 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 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 0 0 0 0 0.296995443865 1.435983701950 2 3 4 4 0132 1230 1230 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 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023054591754 1.047704441443 3 6 6 2 3012 0132 1023 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810050546230 0.592747326321 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 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.269503216388 0.382270364143 ==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_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' : 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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 295089557885501469429591/51672242363659658996228*c_0101_6^21 - 249852741779124891609438/12918060590914914749057*c_0101_6^20 + 1022234531668093966528772/12918060590914914749057*c_0101_6^19 + 14624579332571221314002569/51672242363659658996228*c_0101_6^18 - 8686706220671199059388213/25836121181829829498114*c_0101_6^17 - 47773851083777720611857499/51672242363659658996228*c_0101_6^16 + 32167944474545650759756699/12918060590914914749057*c_0101_6^15 + 41784387350004138824473310/12918060590914914749057*c_0101_6^14 - 99043257263268517710207818/12918060590914914749057*c_0101_6^13 - 378847320607104519657725607/51672242363659658996228*c_0101_6^12 + 317280549710265875867098387/25836121181829829498114*c_0101_6^11 + 256292405460944596901960301/25836121181829829498114*c_0101_6^10 - 524141408969234266959676265/51672242363659658996228*c_0101_6^9 - 410198549735080685256184581/51672242363659658996228*c_0101_6^8 + 85574889572323977076381855/25836121181829829498114*c_0101_6^7 + 43699008200549605966306494/12918060590914914749057*c_0101_6^6 + 4323449939582267687944775/51672242363659658996228*c_0101_6^5 - 23358828353107792738498175/25836121181829829498114*c_0101_6^4 - 11659657110952800226042187/25836121181829829498114*c_0101_6^3 + 495439563738342331538173/51672242363659658996228*c_0101_6^2 + 834792283296273370939967/25836121181829829498114*c_0101_6 + 854025968430923866547279/51672242363659658996228, c_0011_0 - 1, c_0011_2 - 1541987391563299225491/25836121181829829498114*c_0101_6^21 + 155393688301521296592/12918060590914914749057*c_0101_6^20 + 18481095243275744692487/12918060590914914749057*c_0101_6^19 - 8751558985993240300233/25836121181829829498114*c_0101_6^18 - 158168755832651067603327/12918060590914914749057*c_0101_6^17 + 197605999367818461783085/25836121181829829498114*c_0101_6^16 + 656376646746775367335071/12918060590914914749057*c_0101_6^15 - 930168828825720239969852/12918060590914914749057*c_0101_6^14 - 1847784688031165680744118/12918060590914914749057*c_0101_6^13 + 6209964120543450114502801/25836121181829829498114*c_0101_6^12 + 3030546768489880045885282/12918060590914914749057*c_0101_6^11 - 5270961834090255443251525/12918060590914914749057*c_0101_6^10 - 5635774949466780587425713/25836121181829829498114*c_0101_6^9 + 9467789825949132584898579/25836121181829829498114*c_0101_6^8 + 1485125138863281411448400/12918060590914914749057*c_0101_6^7 - 2126865426880326277962052/12918060590914914749057*c_0101_6^6 - 817318497690179812783379/25836121181829829498114*c_0101_6^5 + 457666820284343526519002/12918060590914914749057*c_0101_6^4 + 94753006480511988200205/12918060590914914749057*c_0101_6^3 - 42159857326626284074743/25836121181829829498114*c_0101_6^2 - 12185362795104472097632/12918060590914914749057*c_0101_6 + 16059962216694197660687/25836121181829829498114, c_0101_0 + 1774605662967376667936/12918060590914914749057*c_0101_6^21 + 12629081357313810477447/25836121181829829498114*c_0101_6^20 - 47007632135960284463711/25836121181829829498114*c_0101_6^19 - 92027043422123066009854/12918060590914914749057*c_0101_6^18 + 88682580842115754896032/12918060590914914749057*c_0101_6^17 + 303701589445163318553799/12918060590914914749057*c_0101_6^16 - 1444525230797620469847177/25836121181829829498114*c_0101_6^15 - 2278389325870801359900107/25836121181829829498114*c_0101_6^14 + 2195947879809053094104758/12918060590914914749057*c_0101_6^13 + 5380588832501618756300325/25836121181829829498114*c_0101_6^12 - 3422690026962527614710247/12918060590914914749057*c_0101_6^11 - 7490540786430166548852613/25836121181829829498114*c_0101_6^10 + 5373381781795102316882495/25836121181829829498114*c_0101_6^9 + 6025726054645995274498097/25836121181829829498114*c_0101_6^8 - 1375878937441015731615433/25836121181829829498114*c_0101_6^7 - 1260218957402157144891836/12918060590914914749057*c_0101_6^6 - 473380016225265092304737/25836121181829829498114*c_0101_6^5 + 375968198352654780879227/12918060590914914749057*c_0101_6^4 + 527255360132557604795325/25836121181829829498114*c_0101_6^3 - 83327590890154244287275/25836121181829829498114*c_0101_6^2 - 66528117094433576948317/25836121181829829498114*c_0101_6 - 1261590519236261845095/12918060590914914749057, c_0101_1 - 1, c_0101_2 + 903412642653509928909/12918060590914914749057*c_0101_6^21 - 404901553608346050709/25836121181829829498114*c_0101_6^20 - 21776623778470815136382/12918060590914914749057*c_0101_6^19 + 10364352552149565334899/25836121181829829498114*c_0101_6^18 + 186883139069213125784303/12918060590914914749057*c_0101_6^17 - 113813158138355042312676/12918060590914914749057*c_0101_6^16 - 1545595167136738088181083/25836121181829829498114*c_0101_6^15 + 1089461083802395683271406/12918060590914914749057*c_0101_6^14 + 4380549892585028236008195/25836121181829829498114*c_0101_6^13 - 7246232139255296184517683/25836121181829829498114*c_0101_6^12 - 7205582583933337233241433/25836121181829829498114*c_0101_6^11 + 12220298971133881189444995/25836121181829829498114*c_0101_6^10 + 3323388048286290282100282/12918060590914914749057*c_0101_6^9 - 5409796873048435813763829/12918060590914914749057*c_0101_6^8 - 1699224492524767090845214/12918060590914914749057*c_0101_6^7 + 4636829826458827981268291/25836121181829829498114*c_0101_6^6 + 903959753214731953708159/25836121181829829498114*c_0101_6^5 - 877994232776146031234113/25836121181829829498114*c_0101_6^4 - 270944506526522582636371/25836121181829829498114*c_0101_6^3 - 19890061564652071093629/12918060590914914749057*c_0101_6^2 + 15002093441321340502616/12918060590914914749057*c_0101_6 + 12372626324503578376959/25836121181829829498114, c_0101_5 - 1298233679683973269766/12918060590914914749057*c_0101_6^21 - 7524564184360118986269/25836121181829829498114*c_0101_6^20 + 38852896213513894635455/25836121181829829498114*c_0101_6^19 + 53826753370899753425809/12918060590914914749057*c_0101_6^18 - 96561129193219832715117/12918060590914914749057*c_0101_6^17 - 149143630880142279776966/12918060590914914749057*c_0101_6^16 + 1213687548228354769593561/25836121181829829498114*c_0101_6^15 + 823920341619566888078583/25836121181829829498114*c_0101_6^14 - 1758198889916553076142828/12918060590914914749057*c_0101_6^13 - 1529806141018161523700837/25836121181829829498114*c_0101_6^12 + 2678117310026019155156451/12918060590914914749057*c_0101_6^11 + 1888184828788184416702507/25836121181829829498114*c_0101_6^10 - 4220798537530604234874759/25836121181829829498114*c_0101_6^9 - 1738657786464855408589537/25836121181829829498114*c_0101_6^8 + 1467959632125850899302673/25836121181829829498114*c_0101_6^7 + 542770881594270736876764/12918060590914914749057*c_0101_6^6 - 263421399784443262999281/25836121181829829498114*c_0101_6^5 - 242290781768198048886130/12918060590914914749057*c_0101_6^4 + 16567668917597449487635/25836121181829829498114*c_0101_6^3 + 17227266090483362266255/25836121181829829498114*c_0101_6^2 - 35332120399157024447631/25836121181829829498114*c_0101_6 + 220263286848921865452/12918060590914914749057, c_0101_6^22 + 3*c_0101_6^21 - 15*c_0101_6^20 - 44*c_0101_6^19 + 75*c_0101_6^18 + 137*c_0101_6^17 - 479*c_0101_6^16 - 407*c_0101_6^15 + 1477*c_0101_6^14 + 853*c_0101_6^13 - 2462*c_0101_6^12 - 1168*c_0101_6^11 + 2272*c_0101_6^10 + 1059*c_0101_6^9 - 1086*c_0101_6^8 - 583*c_0101_6^7 + 249*c_0101_6^6 + 220*c_0101_6^5 + 8*c_0101_6^4 - 38*c_0101_6^3 - 8*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB