Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 3414841014] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2981 geometric_solution 6.15912224 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 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.785403021172 0.515465505968 0 3 5 4 0132 0321 0132 0132 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 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 0 0 0 0 0 0 0.677405062003 1.038707577908 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 1.622789716628 0.834703983846 5 6 0 1 1023 0132 0132 0321 0 0 0 0 0 1 -1 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 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.677405062003 1.038707577908 6 5 1 6 3012 3201 0132 1230 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276455249505 0.529274586314 6 3 4 1 2310 1023 2310 0132 0 0 0 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 0 0 0 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 0 0 0 -0.180346139749 1.495608061907 4 3 5 4 3012 0132 3201 1230 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 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.276455249505 0.529274586314 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], '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_0011_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 44704165190153999298958163281/159806786291083739190414779458*c_0101\ _5^20 + 212766336976668622930733570003/1598067862910837391904147794\ 58*c_0101_5^19 + 177665199563703051246184501151/1598067862910837391\ 90414779458*c_0101_5^18 + 803969029432608773512106955/2755289418811\ 788606731289301*c_0101_5^17 + 280767431470441693463146828017/159806\ 786291083739190414779458*c_0101_5^16 - 506718945077859150566639126827/79903393145541869595207389729*c_0101\ _5^15 - 1723007101607104126930161176253/159806786291083739190414779\ 458*c_0101_5^14 - 1351665999548229292794890038692/79903393145541869\ 595207389729*c_0101_5^13 - 2921487466257055654395554748383/15980678\ 6291083739190414779458*c_0101_5^12 - 1404603394170917814908307314852/79903393145541869595207389729*c_010\ 1_5^11 - 3409647064017815052366922499585/79903393145541869595207389\ 729*c_0101_5^10 - 1393887627667969380325732109906/79903393145541869\ 595207389729*c_0101_5^9 + 3604776786032760705587928038383/159806786\ 291083739190414779458*c_0101_5^8 - 26991432164948958644599082563/2755289418811788606731289301*c_0101_5\ ^7 + 3451945142407645129230130785203/79903393145541869595207389729*\ c_0101_5^6 + 6865213625709063223442284363628/7990339314554186959520\ 7389729*c_0101_5^5 + 8955886817355667636449674321585/15980678629108\ 3739190414779458*c_0101_5^4 + 8597215052910236295038395669231/15980\ 6786291083739190414779458*c_0101_5^3 + 6944819081194589826234401180157/159806786291083739190414779458*c_01\ 01_5^2 + 4904237418343652870242231320823/15980678629108373919041477\ 9458*c_0101_5 + 407638203575804726755102450948/79903393145541869595\ 207389729, c_0011_0 - 1, c_0011_3 + 10456389349294183918884754/725076162845207528087181395*c_010\ 1_5^20 + 37340324855812959546034829/725076162845207528087181395*c_0\ 101_5^19 - 17850644768836850418767743/725076162845207528087181395*c\ _0101_5^18 - 33622825228642034995630346/725076162845207528087181395\ *c_0101_5^17 + 80987662475680101014445244/7250761628452075280871813\ 95*c_0101_5^16 - 57923643171160042326985349/14501523256904150561743\ 6279*c_0101_5^15 - 122698930488299569294086177/72507616284520752808\ 7181395*c_0101_5^14 - 146303282336215968499844103/72507616284520752\ 8087181395*c_0101_5^13 - 79382095578792357332590857/725076162845207\ 528087181395*c_0101_5^12 - 58471663050796812229952103/7250761628452\ 07528087181395*c_0101_5^11 - 1198700412124495449692701908/725076162\ 845207528087181395*c_0101_5^10 + 1065447544209459447662437773/72507\ 6162845207528087181395*c_0101_5^9 + 1449606651990800269125836482/725076162845207528087181395*c_0101_5^8 - 1886778179978929519317726252/725076162845207528087181395*c_0101_5\ ^7 + 1751236330757443583224783242/725076162845207528087181395*c_010\ 1_5^6 + 1862495279135266085143393397/725076162845207528087181395*c_\ 0101_5^5 - 1150677595600917803844979964/725076162845207528087181395\ *c_0101_5^4 + 585682818581550348753632044/7250761628452075280871813\ 95*c_0101_5^3 + 615947953188330814091140751/72507616284520752808718\ 1395*c_0101_5^2 + 99414166857209460405141357/1450152325690415056174\ 36279*c_0101_5 - 1047249313845912794337510942/725076162845207528087\ 181395, c_0011_4 - 10456389349294183918884754/725076162845207528087181395*c_010\ 1_5^20 - 37340324855812959546034829/725076162845207528087181395*c_0\ 101_5^19 + 17850644768836850418767743/725076162845207528087181395*c\ _0101_5^18 + 33622825228642034995630346/725076162845207528087181395\ *c_0101_5^17 - 80987662475680101014445244/7250761628452075280871813\ 95*c_0101_5^16 + 57923643171160042326985349/14501523256904150561743\ 6279*c_0101_5^15 + 122698930488299569294086177/72507616284520752808\ 7181395*c_0101_5^14 + 146303282336215968499844103/72507616284520752\ 8087181395*c_0101_5^13 + 79382095578792357332590857/725076162845207\ 528087181395*c_0101_5^12 + 58471663050796812229952103/7250761628452\ 07528087181395*c_0101_5^11 + 1198700412124495449692701908/725076162\ 845207528087181395*c_0101_5^10 - 1065447544209459447662437773/72507\ 6162845207528087181395*c_0101_5^9 - 1449606651990800269125836482/725076162845207528087181395*c_0101_5^8 + 1886778179978929519317726252/725076162845207528087181395*c_0101_5\ ^7 - 1751236330757443583224783242/725076162845207528087181395*c_010\ 1_5^6 - 1862495279135266085143393397/725076162845207528087181395*c_\ 0101_5^5 + 1150677595600917803844979964/725076162845207528087181395\ *c_0101_5^4 - 585682818581550348753632044/7250761628452075280871813\ 95*c_0101_5^3 - 615947953188330814091140751/72507616284520752808718\ 1395*c_0101_5^2 - 99414166857209460405141357/1450152325690415056174\ 36279*c_0101_5 + 1047249313845912794337510942/725076162845207528087\ 181395, c_0101_0 + 14240373618347793732133921/725076162845207528087181395*c_010\ 1_5^20 + 47509623605021910439746576/725076162845207528087181395*c_0\ 101_5^19 - 22751739722401518326840667/725076162845207528087181395*c\ _0101_5^18 + 7484803966635125926933101/725076162845207528087181395*\ c_0101_5^17 + 107311262520003876678466776/7250761628452075280871813\ 95*c_0101_5^16 - 86155151425377724145022600/14501523256904150561743\ 6279*c_0101_5^15 - 10567858838779256349069838/725076162845207528087\ 181395*c_0101_5^14 - 532861779245866468796838532/725076162845207528\ 087181395*c_0101_5^13 - 128137808890128532890364833/725076162845207\ 528087181395*c_0101_5^12 - 596326939115817409147174862/725076162845\ 207528087181395*c_0101_5^11 - 1500378988115107063981314582/72507616\ 2845207528087181395*c_0101_5^10 + 1358699975616185765954863612/7250\ 76162845207528087181395*c_0101_5^9 + 478391808726957050828323278/725076162845207528087181395*c_0101_5^8 - 2108050190454018637043878838/725076162845207528087181395*c_0101_5^7 + 3880648560574246974114329703/725076162845207528087181395*c_0101_5\ ^6 + 1005620300493488805289677288/725076162845207528087181395*c_010\ 1_5^5 - 11766302106588245645674546/725076162845207528087181395*c_01\ 01_5^4 + 1312778970121389378928099671/725076162845207528087181395*c\ _0101_5^3 + 1449215723222058530126238884/72507616284520752808718139\ 5*c_0101_5^2 - 36440426183017134735563150/1450152325690415056174362\ 79*c_0101_5 - 980777253302509468235041618/7250761628452075280871813\ 95, c_0101_1 - 2292140018738045727671356/725076162845207528087181395*c_0101\ _5^20 - 12952544344005792723934591/725076162845207528087181395*c_01\ 01_5^19 - 12461438767946996621383103/725076162845207528087181395*c_\ 0101_5^18 + 4901094953564667908072924/725076162845207528087181395*c\ _0101_5^17 - 50276189270229343833248871/725076162845207528087181395\ *c_0101_5^16 + 7112836092320691796621016/14501523256904150561743627\ 9*c_0101_5^15 + 182416061608373232188270663/72507616284520752808718\ 1395*c_0101_5^14 + 4768069306120019166222817/7250761628452075280871\ 81395*c_0101_5^13 + 418648457171983140484393413/7250761628452075280\ 87181395*c_0101_5^12 + 142733454079596050392299572/7250761628452075\ 28087181395*c_0101_5^11 + 751024297807658849590658867/7250761628452\ 07528087181395*c_0101_5^10 + 242082935503422425369157418/7250761628\ 45207528087181395*c_0101_5^9 - 474331492887031930778462963/72507616\ 2845207528087181395*c_0101_5^8 + 1037686903807246544399982528/72507\ 6162845207528087181395*c_0101_5^7 - 211942453066401524803733698/725076162845207528087181395*c_0101_5^6 - 2409053312102844969665451893/725076162845207528087181395*c_0101_5^5 + 552020356149617198073425761/725076162845207528087181395*c_0101_5^\ 4 - 1134327013456853466743962706/725076162845207528087181395*c_0101\ _5^3 - 880669532795288093928448479/725076162845207528087181395*c_01\ 01_5^2 - 160693989958026624315074101/145015232569041505617436279*c_\ 0101_5 + 743452885725798256078320503/725076162845207528087181395, c_0101_2 + 15192358117924094753049244/725076162845207528087181395*c_010\ 1_5^20 + 63908656547955035108043044/725076162845207528087181395*c_0\ 101_5^19 + 23827115927812326150696932/725076162845207528087181395*c\ _0101_5^18 - 18059414139956500168997221/725076162845207528087181395\ *c_0101_5^17 + 34393540790144036103146429/7250761628452075280871813\ 95*c_0101_5^16 - 79828427136226283476675947/14501523256904150561743\ 6279*c_0101_5^15 - 351027882875810878668075127/72507616284520752808\ 7181395*c_0101_5^14 - 736934082947220500227059168/72507616284520752\ 8087181395*c_0101_5^13 - 147414161647534684353737462/72507616284520\ 7528087181395*c_0101_5^12 - 339460272664781656933949988/72507616284\ 5207528087181395*c_0101_5^11 - 1353749572708233604464391548/7250761\ 62845207528087181395*c_0101_5^10 + 240536523570795624287052833/725076162845207528087181395*c_0101_5^9 + 1500526308578302660988969782/725076162845207528087181395*c_0101_5^8 + 125822901666129215909712873/725076162845207528087181395*c_0101_5^\ 7 + 2050837210026567786638064332/725076162845207528087181395*c_0101\ _5^6 + 1745908691147111969315304562/725076162845207528087181395*c_0\ 101_5^5 + 1897858073004968256912749651/725076162845207528087181395*\ c_0101_5^4 - 810113892163229499378339641/72507616284520752808718139\ 5*c_0101_5^3 - 70449941326943657817924349/7250761628452075280871813\ 95*c_0101_5^2 + 53268006231614302773437450/145015232569041505617436\ 279*c_0101_5 + 118480561101035495346990103/725076162845207528087181\ 395, c_0101_5^21 + 4*c_0101_5^20 + c_0101_5^19 + 4*c_0101_5^17 - 27*c_0101_5^16 - 18*c_0101_5^15 - 51*c_0101_5^14 - 14*c_0101_5^13 - 41*c_0101_5^12 - 93*c_0101_5^11 + 26*c_0101_5^10 + 79*c_0101_5^9 - 29*c_0101_5^8 + 189*c_0101_5^7 + 122*c_0101_5^6 + 133*c_0101_5^5 - 2*c_0101_5^4 + 67*c_0101_5^3 - 13*c_0101_5^2 - 28*c_0101_5 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB