Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 2715827521] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0648 geometric_solution 4.63521367 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255263361684 0.065198026400 0 1 0 1 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 0 0 0 0 0 0 0 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.933038769766 0.242963370313 3 0 3 0 0132 2310 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.270092587561 1.526978113384 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 2 -1 0 0 1 -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 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.064323301852 0.960044042944 6 5 5 3 0132 1023 2031 0132 0 0 0 0 0 1 1 -2 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 0 0 -1 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.355184906484 0.763785605573 4 6 3 4 1023 2310 0132 1302 0 0 0 0 0 0 1 -1 -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 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.355184906484 0.763785605573 4 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 -1 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 1 -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.049839874225 0.980064408753 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], '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_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : 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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1291680451499240772/9325236941655103*c_0101_4^18 - 16134436780186769812/9325236941655103*c_0101_4^17 + 11094124448388270926/1332176705950729*c_0101_4^16 - 24427921874677501349/1332176705950729*c_0101_4^15 + 14823529830010473234/1332176705950729*c_0101_4^14 + 335854453425558854781/9325236941655103*c_0101_4^13 - 851853893320804674981/9325236941655103*c_0101_4^12 + 76166136754239815675/1332176705950729*c_0101_4^11 + 737348101786011997550/9325236941655103*c_0101_4^10 - 1403911620852666066020/9325236941655103*c_0101_4^9 + 64405408106646484142/1332176705950729*c_0101_4^8 + 137503975331491239859/1332176705950729*c_0101_4^7 - 426495334861702234770/9325236941655103*c_0101_4^6 - 232568426011710398042/9325236941655103*c_0101_4^5 - 72042396416196765507/9325236941655103*c_0101_4^4 + 7355392704270271319/1332176705950729*c_0101_4^3 + 37965847346449946159/9325236941655103*c_0101_4^2 - 6146958409070238974/9325236941655103*c_0101_4 - 2569168666770835216/9325236941655103, c_0011_0 - 1, c_0011_2 - 126972095622801/25831681278823*c_0101_4^18 + 1595561247642189/25831681278823*c_0101_4^17 - 7743190121857882/25831681278823*c_0101_4^16 + 17261041232401982/25831681278823*c_0101_4^15 - 10892775784668679/25831681278823*c_0101_4^14 - 33451414677313622/25831681278823*c_0101_4^13 + 86830675514687364/25831681278823*c_0101_4^12 - 56181437691829875/25831681278823*c_0101_4^11 - 74349762862193843/25831681278823*c_0101_4^10 + 146465612020677955/25831681278823*c_0101_4^9 - 49129083172990950/25831681278823*c_0101_4^8 - 100134524280982530/25831681278823*c_0101_4^7 + 50843163272039400/25831681278823*c_0101_4^6 + 26425563685085654/25831681278823*c_0101_4^5 + 4163775684847425/25831681278823*c_0101_4^4 - 7109495987754827/25831681278823*c_0101_4^3 - 4504076304768139/25831681278823*c_0101_4^2 + 881123116618873/25831681278823*c_0101_4 + 412077201145486/25831681278823, c_0011_4 - 61230463493053101/9325236941655103*c_0101_4^18 + 108053176484183100/1332176705950729*c_0101_4^17 - 3576984857862056160/9325236941655103*c_0101_4^16 + 7612845880982793365/9325236941655103*c_0101_4^15 - 3866198839111154737/9325236941655103*c_0101_4^14 - 16485054515098409351/9325236941655103*c_0101_4^13 + 38203843979286215896/9325236941655103*c_0101_4^12 - 20105966431353858892/9325236941655103*c_0101_4^11 - 37842297680501124645/9325236941655103*c_0101_4^10 + 61801241776815785490/9325236941655103*c_0101_4^9 - 13252114877510469563/9325236941655103*c_0101_4^8 - 47759378439711531951/9325236941655103*c_0101_4^7 + 14418083965408107941/9325236941655103*c_0101_4^6 + 12652643091539788861/9325236941655103*c_0101_4^5 + 659074725210275918/1332176705950729*c_0101_4^4 - 1599857389609837914/9325236941655103*c_0101_4^3 - 1869869480134908611/9325236941655103*c_0101_4^2 + 126098839396116652/9325236941655103*c_0101_4 + 118550493213262576/9325236941655103, c_0101_0 - 48923661400561799/9325236941655103*c_0101_4^18 + 607456906058528321/9325236941655103*c_0101_4^17 - 2896050105341220640/9325236941655103*c_0101_4^16 + 6259485404367164444/9325236941655103*c_0101_4^15 - 3452812389236612424/9325236941655103*c_0101_4^14 - 13024180801391226527/9325236941655103*c_0101_4^13 + 31391478514307671472/9325236941655103*c_0101_4^12 - 17921080330276451218/9325236941655103*c_0101_4^11 - 29414724180856070543/9325236941655103*c_0101_4^10 + 51398740267901984589/9325236941655103*c_0101_4^9 - 13543228550051029995/9325236941655103*c_0101_4^8 - 37727060409571285232/9325236941655103*c_0101_4^7 + 13918810217581194377/9325236941655103*c_0101_4^6 + 9625109147002112801/9325236941655103*c_0101_4^5 + 3104329688626335768/9325236941655103*c_0101_4^4 - 1640559058832489570/9325236941655103*c_0101_4^3 - 1481240312357949590/9325236941655103*c_0101_4^2 + 180614818833214771/9325236941655103*c_0101_4 + 100533941344679897/9325236941655103, c_0101_1 + 30241514493132158/9325236941655103*c_0101_4^18 - 381399885483051290/9325236941655103*c_0101_4^17 + 1861761388253828953/9325236941655103*c_0101_4^16 - 4198025974970878040/9325236941655103*c_0101_4^15 + 2796676713234512790/9325236941655103*c_0101_4^14 + 7810808322080153440/9325236941655103*c_0101_4^13 - 21004768831695681350/9325236941655103*c_0101_4^12 + 14364469344202273638/9325236941655103*c_0101_4^11 + 2416748428967663073/1332176705950729*c_0101_4^10 - 5070510337471040829/1332176705950729*c_0101_4^9 + 13333650428668491472/9325236941655103*c_0101_4^8 + 23004313528526656688/9325236941655103*c_0101_4^7 - 12932161832421109193/9325236941655103*c_0101_4^6 - 5682090879939722426/9325236941655103*c_0101_4^5 - 869713459434053335/9325236941655103*c_0101_4^4 + 1779332394572775932/9325236941655103*c_0101_4^3 + 965628556985628296/9325236941655103*c_0101_4^2 - 244476611486950513/9325236941655103*c_0101_4 - 82756038637733366/9325236941655103, c_0101_2 - 5579302308459482/1332176705950729*c_0101_4^18 + 68604201469480075/1332176705950729*c_0101_4^17 - 322090999599527262/1332176705950729*c_0101_4^16 + 675927605174844292/1332176705950729*c_0101_4^15 - 315886567425469887/1332176705950729*c_0101_4^14 - 1518055255702918470/1332176705950729*c_0101_4^13 + 3400973309148107976/1332176705950729*c_0101_4^12 - 1659630205435492153/1332176705950729*c_0101_4^11 - 3522778428961978689/1332176705950729*c_0101_4^10 + 5450972597850818429/1332176705950729*c_0101_4^9 - 958501088274159941/1332176705950729*c_0101_4^8 - 4371214793521184983/1332176705950729*c_0101_4^7 + 1100291735135087607/1332176705950729*c_0101_4^6 + 1154198637959885837/1332176705950729*c_0101_4^5 + 476716430374084602/1332176705950729*c_0101_4^4 - 104046014161247200/1332176705950729*c_0101_4^3 - 169351884030164865/1332176705950729*c_0101_4^2 + 4471273086261651/1332176705950729*c_0101_4 + 9528794872501190/1332176705950729, c_0101_4^19 - 12*c_0101_4^18 + 54*c_0101_4^17 - 103*c_0101_4^16 + 16*c_0101_4^15 + 298*c_0101_4^14 - 531*c_0101_4^13 + 92*c_0101_4^12 + 766*c_0101_4^11 - 802*c_0101_4^10 - 178*c_0101_4^9 + 904*c_0101_4^8 + 40*c_0101_4^7 - 334*c_0101_4^6 - 148*c_0101_4^5 + 11*c_0101_4^4 + 48*c_0101_4^3 + 10*c_0101_4^2 - 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB