Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 1663238071] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1389 geometric_solution 5.24081769 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.501099322679 0.160370790308 2 0 2 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688697112660 0.418963012680 1 3 1 4 0132 0132 1023 0132 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 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 2.055895963738 1.102583977296 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 -1 0 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.050675772115 1.001199575052 3 6 2 5 3201 1023 0132 3201 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 -0.050675772115 1.001199575052 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 1 0 -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.424700661267 0.324953214540 4 6 6 3 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050425228169 0.996249586479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 126625323178722481451215743751/27739276932646751127361474400*c_0101\ _6^22 + 350827625809825989065213654269/693481923316168778184036860*\ c_0101_6^20 - 67266648443784581524210578572111/13869638466323375563\ 680737200*c_0101_6^18 + 1116197846668907631029938418503433/27739276\ 932646751127361474400*c_0101_6^16 - 4040525335173857324839040958492207/27739276932646751127361474400*c_\ 0101_6^14 + 3486761638419263875707856634692009/13869638466323375563\ 680737200*c_0101_6^12 - 3250726689025078935420193215742891/13869638\ 466323375563680737200*c_0101_6^10 + 2746744579735607019644277697492933/27739276932646751127361474400*c_\ 0101_6^8 - 105671880040900187577773079484583/2773927693264675112736\ 1474400*c_0101_6^6 + 178899237725214327762978528237063/277392769326\ 46751127361474400*c_0101_6^4 + 47568901616152115823649079989737/277\ 39276932646751127361474400*c_0101_6^2 + 4404063804101067305064729104401/27739276932646751127361474400, c_0011_0 - 1, c_0011_1 + 6308886915545516547285561/1733704808290421945460092150*c_010\ 1_6^22 - 281903134624133932519184821/693481923316168778184036860*c_\ 0101_6^20 + 14643623137888622615368037499/3467409616580843890920184\ 300*c_0101_6^18 - 123136998803451857934872215081/346740961658084389\ 0920184300*c_0101_6^16 + 250735422849816316883316059927/17337048082\ 90421945460092150*c_0101_6^14 - 1054601758897006816533391741941/346\ 7409616580843890920184300*c_0101_6^12 + 1272825912957699769571633766189/3467409616580843890920184300*c_0101\ _6^10 - 855912297289987192669159959111/3467409616580843890920184300\ *c_0101_6^8 + 61799913936872339439875178049/86685240414521097273004\ 6075*c_0101_6^6 - 12343757799720003366384736121/3467409616580843890\ 920184300*c_0101_6^4 + 947420092245280167138561814/8668524041452109\ 72730046075*c_0101_6^2 + 1503466512270298349665663843/3467409616580\ 843890920184300, c_0011_4 + 33258274396351627194729731/6934819233161687781840368600*c_01\ 01_6^23 - 363972391959490261250925611/693481923316168778184036860*c\ _0101_6^21 + 3778010256742832864867406229/8668524041452109727300460\ 75*c_0101_6^19 - 243784377172736899000137605423/6934819233161687781\ 840368600*c_0101_6^17 + 651022205436837172127650195867/693481923316\ 1687781840368600*c_0101_6^15 - 41014322333058741539186244226/866852\ 404145210972730046075*c_0101_6^13 - 236584032869386404615597069277/1733704808290421945460092150*c_0101_\ 6^11 + 1833392446294992052451855812977/6934819233161687781840368600\ *c_0101_6^9 - 1131874162620119750223576820577/693481923316168778184\ 0368600*c_0101_6^7 + 40197587844057660575222742347/6934819233161687\ 781840368600*c_0101_6^5 - 65749818534114060785502910097/69348192331\ 61687781840368600*c_0101_6^3 - 8873010612607239080067552831/6934819\ 233161687781840368600*c_0101_6, c_0101_0 - 201392458605978557416318761/1733704808290421945460092150*c_0\ 101_6^23 + 8944615904970465413730107879/693481923316168778184036860\ *c_0101_6^21 - 437361298935857939071102113059/346740961658084389092\ 0184300*c_0101_6^19 + 3642081707225410024649979728351/3467409616580\ 843890920184300*c_0101_6^17 - 3403481739531905032378619185551/86685\ 2404145210972730046075*c_0101_6^15 + 24998710458237159699628212645821/3467409616580843890920184300*c_010\ 1_6^13 - 25748727378184743529569164912079/3467409616580843890920184\ 300*c_0101_6^11 + 13792479217230996963554291959551/3467409616580843\ 890920184300*c_0101_6^9 - 716296417368209757167701926669/8668524041\ 45210972730046075*c_0101_6^7 + 980542520049684476346936044411/34674\ 09616580843890920184300*c_0101_6^5 - 14300242883164210899320516793/1733704808290421945460092150*c_0101_6\ ^3 + 10467240020187974307319007197/3467409616580843890920184300*c_0\ 101_6, c_0101_1 - 2879484160325257152153748/866852404145210972730046075*c_0101\ _6^22 + 256557621892725867501450259/693481923316168778184036860*c_0\ 101_6^20 - 12938637206876634925228871499/34674096165808438909201843\ 00*c_0101_6^18 + 108285162541866275706537214661/3467409616580843890\ 920184300*c_0101_6^16 - 211820236494144138860819854597/173370480829\ 0421945460092150*c_0101_6^14 + 839011050760607198927225011481/34674\ 09616580843890920184300*c_0101_6^12 - 950821766268971453099978149919/3467409616580843890920184300*c_0101_\ 6^10 + 593201199369151658920193059461/3467409616580843890920184300*\ c_0101_6^8 - 80420090034057320438875119143/173370480829042194546009\ 2150*c_0101_6^6 + 26885514839088231147068558721/3467409616580843890\ 920184300*c_0101_6^4 - 1338333068258457624245008424/866852404145210\ 972730046075*c_0101_6^2 + 1177176145094327022688154767/346740961658\ 0843890920184300, c_0101_3 + 341377059343496929899202187/6934819233161687781840368600*c_0\ 101_6^23 - 945911440656755992938208156/173370480829042194546009215*\ c_0101_6^21 + 181555452810465937150623216997/3467409616580843890920\ 184300*c_0101_6^19 - 3013175730658142503380072285781/69348192331616\ 87781840368600*c_0101_6^17 + 10925620747402399678116242828359/69348\ 19233161687781840368600*c_0101_6^15 - 9457881514863279535722386731403/3467409616580843890920184300*c_0101\ _6^13 + 8854694776822502650434713672827/346740961658084389092018430\ 0*c_0101_6^11 - 7525395074642926699971596242741/6934819233161687781\ 840368600*c_0101_6^9 + 256884298014859178929715509011/6934819233161\ 687781840368600*c_0101_6^7 - 391163273595355438556559454051/6934819\ 233161687781840368600*c_0101_6^5 - 160985006292959137033106413529/6934819233161687781840368600*c_0101_\ 6^3 - 5433382909832050188441072857/6934819233161687781840368600*c_0\ 101_6, c_0101_6^24 - 111*c_0101_6^22 + 1082*c_0101_6^20 - 9005*c_0101_6^18 + 33490*c_0101_6^16 - 60925*c_0101_6^14 + 61900*c_0101_6^12 - 32265*c_0101_6^10 + 6166*c_0101_6^8 - 2296*c_0101_6^6 - 24*c_0101_6^4 - 14*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB