Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2328565427] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s075 geometric_solution 3.61331690 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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.485919924416 0.041814057920 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471254608937 0.133973799484 1 3 1 3 0132 0132 1023 2310 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 -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.940018487216 3.614685770916 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 0 1 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.027480566468 0.506822699891 5 5 3 5 1230 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 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 -1 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.982252306199 1.000799233184 4 4 4 3 1023 3012 1230 0132 0 0 0 0 0 1 -1 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 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.982252306199 1.000799233184 ==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' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_4'], 'c_0011_4' : 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_0011_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 106531572533966576706858881571174507109486405/909695736426289005276\ 3935706090165017429616*c_0101_4^20 - 1387761117308644580900341301647090272843673/11371196705328612565954\ 91963261270627178702*c_0101_4^19 + 744862633935280242868340345690166437782738079/113711967053286125659\ 5491963261270627178702*c_0101_4^18 - 881218893523820235810225628970594424573270347/113711967053286125659\ 5491963261270627178702*c_0101_4^17 - 32559514980879212581548622420252919205313624695/3032319121420963350\ 921311902030055005809872*c_0101_4^16 + 8054270818794991381041768910584705507807747649/11371196705328612565\ 95491963261270627178702*c_0101_4^15 + 48453485332195695593959365599366447525737934111/7580797803552408377\ 30327975507513751452468*c_0101_4^14 - 15697584140167373920183334401609778458715191919/5685598352664306282\ 97745981630635313589351*c_0101_4^13 - 1634041047629981815499516855822020837257060502637/90969573642628900\ 52763935706090165017429616*c_0101_4^12 + 43668214175760403187385152292959024602734906063/7580797803552408377\ 30327975507513751452468*c_0101_4^11 + 761772262878660009357953193921896190296506903945/303231912142096335\ 0921311902030055005809872*c_0101_4^10 - 720897775403746918065275647528907152945773463555/909695736426289005\ 2763935706090165017429616*c_0101_4^9 - 511529324396423227686156368704117884877514204457/303231912142096335\ 0921311902030055005809872*c_0101_4^8 + 284498509494424266321504280733967676745336128901/454847868213144502\ 6381967853045082508714808*c_0101_4^7 + 398955190029557910130460975302319910574410910891/909695736426289005\ 2763935706090165017429616*c_0101_4^6 - 552072660082838229924968358069061580378497327/494399856753417937650\ 21389707011766399074*c_0101_4^5 + 108691698989541827840355973768269\ 6771132002781/1516159560710481675460655951015027502904936*c_0101_4^\ 4 - 3581536215543429792055032052741914615313937551/3790398901776204\ 18865163987753756875726234*c_0101_4^3 - 14271938632154051433280606428553411122271501039/9096957364262890052\ 763935706090165017429616*c_0101_4^2 + 2611955922620968585452664170432549231907568173/22742393410657225131\ 90983926522541254357404*c_0101_4 + 2888632698567730531838525433085279650194172451/90969573642628900527\ 63935706090165017429616, c_0011_0 - 1, c_0011_1 - 1202496702266445321223798294233103827516/1895199450888102094\ 32581993876878437863117*c_0101_4^20 + 829637843440845815584770122310223651934/189519945088810209432581993\ 876878437863117*c_0101_4^19 + 6608822356571912336577468797861674154\ 2581/189519945088810209432581993876878437863117*c_0101_4^18 - 132348936348721404562270771328931860799460/189519945088810209432581\ 993876878437863117*c_0101_4^17 - 9694241964213984811643438667211143\ 73268954/189519945088810209432581993876878437863117*c_0101_4^16 + 1476155510952596553627904443858534159866079/18951994508881020943258\ 1993876878437863117*c_0101_4^15 + 494439646246309424561829983448455\ 3187344453/189519945088810209432581993876878437863117*c_0101_4^14 - 6713485403964060960450828832531189597383489/18951994508881020943258\ 1993876878437863117*c_0101_4^13 - 108147632444862798837297553046272\ 63483524936/189519945088810209432581993876878437863117*c_0101_4^12 + 14935532330348549247025039355956882051266891/1895199450888102094325\ 81993876878437863117*c_0101_4^11 + 8991194052103265298383058780441475956570879/18951994508881020943258\ 1993876878437863117*c_0101_4^10 - 174815337186557982907026065498803\ 48559931021/189519945088810209432581993876878437863117*c_0101_4^9 + 504990847099192916907134643207143265517330/189519945088810209432581\ 993876878437863117*c_0101_4^8 + 93765706832251279013258884426868170\ 79816599/189519945088810209432581993876878437863117*c_0101_4^7 - 3613313813252695986043831473716885591061217/18951994508881020943258\ 1993876878437863117*c_0101_4^6 - 5893829867002870695738204817630455\ 4420148/8239997612556965627503564951168627733179*c_0101_4^5 + 1329393962540225647281484671330211408415418/18951994508881020943258\ 1993876878437863117*c_0101_4^4 + 8936927368438898955058561454055753\ 3616425/189519945088810209432581993876878437863117*c_0101_4^3 - 278070841807652226904147228017923553930662/189519945088810209432581\ 993876878437863117*c_0101_4^2 - 73070037058315726452974675760545146\ 14392/189519945088810209432581993876878437863117*c_0101_4 - 80817285278114978997771628513751417312537/1895199450888102094325819\ 93876878437863117, c_0011_4 + 841088498056128492962337609390616054703/18951994508881020943\ 2581993876878437863117*c_0101_4^20 + 918650652202781153873134945923339375479/189519945088810209432581993\ 876878437863117*c_0101_4^19 - 4705944856325438380308274205206321247\ 3064/189519945088810209432581993876878437863117*c_0101_4^18 + 9341097162396108102401169517476635232199/18951994508881020943258199\ 3876878437863117*c_0101_4^17 + 831771542404416919990996970507242445\ 071584/189519945088810209432581993876878437863117*c_0101_4^16 + 236972409887989565769036606559570961066909/189519945088810209432581\ 993876878437863117*c_0101_4^15 - 5173628437782372265598960060658912\ 411255935/189519945088810209432581993876878437863117*c_0101_4^14 - 2336311188116116781389705143313312533803969/18951994508881020943258\ 1993876878437863117*c_0101_4^13 + 153203342492012108404695051666269\ 58074865290/189519945088810209432581993876878437863117*c_0101_4^12 + 7488057598838262571047537489867090174860419/18951994508881020943258\ 1993876878437863117*c_0101_4^11 - 234478700465337965412355205203508\ 29531754496/189519945088810209432581993876878437863117*c_0101_4^10 - 9367440970889009922904099538445406214764794/18951994508881020943258\ 1993876878437863117*c_0101_4^9 + 1986562982621845512968018173244015\ 1383172525/189519945088810209432581993876878437863117*c_0101_4^8 + 4116939392067111340540478182106010452853144/18951994508881020943258\ 1993876878437863117*c_0101_4^7 - 9654110060926392234853993231663903\ 374146781/189519945088810209432581993876878437863117*c_0101_4^6 - 18753733318638217276106583456932478410792/8239997612556965627503564\ 951168627733179*c_0101_4^5 + 19936526161945632639643681475715223289\ 12678/189519945088810209432581993876878437863117*c_0101_4^4 + 213663862011618721693747365205863203994428/189519945088810209432581\ 993876878437863117*c_0101_4^3 + 33161475475337490349431437052987232\ 9939906/189519945088810209432581993876878437863117*c_0101_4^2 - 49181862551382493440694940141558834199346/1895199450888102094325819\ 93876878437863117*c_0101_4 - 28961938453306031796447643949246743395\ 897/189519945088810209432581993876878437863117, c_0101_0 + 2468508516861610613497505913568907686560/1895199450888102094\ 32581993876878437863117*c_0101_4^20 + 861862305980103628516024192217535632150/189519945088810209432581993\ 876878437863117*c_0101_4^19 - 1386423047776712526131930140650019051\ 82999/189519945088810209432581993876878437863117*c_0101_4^18 + 130334416156414401835545303995134966912773/189519945088810209432581\ 993876878437863117*c_0101_4^17 + 2338158268883753544349823314796358\ 806983768/189519945088810209432581993876878437863117*c_0101_4^16 - 1027459548401582894395189891839933070218904/18951994508881020943258\ 1993876878437863117*c_0101_4^15 - 143332834052280661458183622166899\ 54356523221/189519945088810209432581993876878437863117*c_0101_4^14 + 3598302984659953192135415441680766641212700/18951994508881020943258\ 1993876878437863117*c_0101_4^13 + 419079758747383747765505132808326\ 53915501425/189519945088810209432581993876878437863117*c_0101_4^12 - 7834664927447437126794332321356591001115134/18951994508881020943258\ 1993876878437863117*c_0101_4^11 - 623143167346785247069869396223078\ 01447430065/189519945088810209432581993876878437863117*c_0101_4^10 + 14156716323711695519498350349691315539663447/1895199450888102094325\ 81993876878437863117*c_0101_4^9 + 470117233832639913119800126770964\ 58179724582/189519945088810209432581993876878437863117*c_0101_4^8 - 14523360144277916389350319776248199692120314/1895199450888102094325\ 81993876878437863117*c_0101_4^7 - 156985907319522054201373368491317\ 42976458850/189519945088810209432581993876878437863117*c_0101_4^6 + 164684543348855087321605685593308201485397/823999761255696562750356\ 4951168627733179*c_0101_4^5 + 1158420081503255962688493193723173323\ 309921/189519945088810209432581993876878437863117*c_0101_4^4 + 2117875754691194212277356474903249010756783/18951994508881020943258\ 1993876878437863117*c_0101_4^3 + 7261440647815109311534996324659012\ 394456/189519945088810209432581993876878437863117*c_0101_4^2 - 619866456625162154263312194743195054853199/189519945088810209432581\ 993876878437863117*c_0101_4 - 3995845520727963804006317987717918049\ 4146/189519945088810209432581993876878437863117, c_0101_1 + 179888064474216255056272256014199735617/18951994508881020943\ 2581993876878437863117*c_0101_4^20 - 208535866842931822065631679573921379657/189519945088810209432581993\ 876878437863117*c_0101_4^19 - 9658571644360344190371942503266213014\ 018/189519945088810209432581993876878437863117*c_0101_4^18 + 24214883608003073245264118548071820025410/1895199450888102094325819\ 93876878437863117*c_0101_4^17 + 12657555940599481027991280563078726\ 8489241/189519945088810209432581993876878437863117*c_0101_4^16 - 264553014001809839148938106932670600671239/189519945088810209432581\ 993876878437863117*c_0101_4^15 - 5161756340958207479193477093495768\ 64217132/189519945088810209432581993876878437863117*c_0101_4^14 + 1075491686246149564996933044279282557199717/18951994508881020943258\ 1993876878437863117*c_0101_4^13 + 638398711502183882052489368719738\ 224512216/189519945088810209432581993876878437863117*c_0101_4^12 - 1825516626277636402099243225375099950971781/18951994508881020943258\ 1993876878437863117*c_0101_4^11 + 452351130713801818291746687787061\ 650397309/189519945088810209432581993876878437863117*c_0101_4^10 + 1120237272965859594673221549572278231568571/18951994508881020943258\ 1993876878437863117*c_0101_4^9 - 1195317957165569901916191449473305\ 405437815/189519945088810209432581993876878437863117*c_0101_4^8 + 196131960208854287527580044308995470112160/189519945088810209432581\ 993876878437863117*c_0101_4^7 - 35314687917389050965950062901548237\ 480142/189519945088810209432581993876878437863117*c_0101_4^6 - 7579722199494954476635379595000423115567/82399976125569656275035649\ 51168627733179*c_0101_4^5 + 792529884015900196822015771243618375782\ 808/189519945088810209432581993876878437863117*c_0101_4^4 - 17608577265207161164271871949322398655657/1895199450888102094325819\ 93876878437863117*c_0101_4^3 - 346228173749767462167647068972270152\ 857299/189519945088810209432581993876878437863117*c_0101_4^2 - 2742620971160983051461940682969256137356/18951994508881020943258199\ 3876878437863117*c_0101_4 + 686688506409042709320015655897019603762\ 23/189519945088810209432581993876878437863117, c_0101_4^21 - 56*c_0101_4^19 + 72*c_0101_4^18 + 913*c_0101_4^17 - 704*c_0101_4^16 - 5444*c_0101_4^15 + 2960*c_0101_4^14 + 15385*c_0101_4^13 - 6652*c_0101_4^12 - 21759*c_0101_4^11 + 9295*c_0101_4^10 + 14839*c_0101_4^9 - 7258*c_0101_4^8 - 3935*c_0101_4^7 + 1680*c_0101_4^6 + 10*c_0101_4^5 + 744*c_0101_4^4 + 67*c_0101_4^3 - 156*c_0101_4^2 - 23*c_0101_4 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB