Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 3852761393] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1401 geometric_solution 5.24681457 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 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.496622221584 0.406877786881 3 4 2 0 0132 0132 2031 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 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.595381890934 0.653937894104 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 -1 0 1 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 -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.595381890934 0.653937894104 1 5 2 5 0132 0132 2310 1023 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 -1 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 1.093917063292 1.154883227689 4 1 2 4 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.238753413471 0.836115436611 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614650995033 0.233405950157 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600141915547 0.065799732074 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], '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_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 6361005742684221310870962454147626660887005/13393686618139724024817\ 61265235278987122146*c_0101_6^20 + 10975875967800801578305908281619219446356607/4464562206046574674939\ 20421745092995707382*c_0101_6^19 + 17027904953424591538404847316351148984750350/2232281103023287337469\ 60210872546497853691*c_0101_6^18 - 49053594911360907139326840306769078839719668/7440937010077624458232\ 0070290848832617897*c_0101_6^17 + 341622732940812876358943460732074\ 488408586845/148818740201552489164640140581697665235794*c_0101_6^16 - 4197410636331692000105271514127188362408606436/669684330906986201\ 240880632617639493561073*c_0101_6^15 + 4359674792587472988959404105822891267088937809/44645622060465746749\ 3920421745092995707382*c_0101_6^14 - 2010469497904939764986629682250125038993043375/13393686618139724024\ 81761265235278987122146*c_0101_6^13 - 13940355603587578918113107725494805945804162921/4464562206046574674\ 93920421745092995707382*c_0101_6^12 + 5679495491147319403893973148002794971231155267/70493087463893284341\ 145329749225209848534*c_0101_6^11 - 122980484461076896144088853585793794274249452031/133936866181397240\ 2481761265235278987122146*c_0101_6^10 + 3663002856370776832391850024585926132526412246/22322811030232873374\ 6960210872546497853691*c_0101_6^9 + 146810037022731579988305725810263753621899428981/133936866181397240\ 2481761265235278987122146*c_0101_6^8 - 250524327132154674328741700174649407663979068015/133936866181397240\ 2481761265235278987122146*c_0101_6^7 + 15489523811968533461934687393815995975270958566/9566919012956945732\ 0125804659662784794439*c_0101_6^6 - 53300442206710500617005222834527633793909729403/6696843309069862012\ 40880632617639493561073*c_0101_6^5 + 921750634599779571301582277836372352261654125/704930874638932843411\ 45329749225209848534*c_0101_6^4 + 706382871567857058113795982355638\ 1748652862787/669684330906986201240880632617639493561073*c_0101_6^3 - 2002676224183747043845655652778796035180522294/223228110302328733\ 746960210872546497853691*c_0101_6^2 + 694611705870303072928619687867101405380814442/223228110302328733746\ 960210872546497853691*c_0101_6 - 1168672739552374588617456553488449\ 92721935456/223228110302328733746960210872546497853691, c_0011_0 - 1, c_0011_1 - 176816391901975275666895551/7893664535543027698228455781*c_0\ 101_6^20 + 865477563474211228828372258/7893664535543027698228455781\ *c_0101_6^19 + 3072758225012543407335574175/78936645355430276982284\ 55781*c_0101_6^18 - 23618915366344269299799926951/78936645355430276\ 98228455781*c_0101_6^17 + 78973728826995320797960733060/78936645355\ 43027698228455781*c_0101_6^16 - 212662668794021300593867486607/7893\ 664535543027698228455781*c_0101_6^15 + 309337139191008469068083729899/7893664535543027698228455781*c_0101_\ 6^14 + 15522222099600044531988363843/7893664535543027698228455781*c\ _0101_6^13 - 1132330197981202485815580067179/7893664535543027698228\ 455781*c_0101_6^12 + 2672094593310496324772500655032/78936645355430\ 27698228455781*c_0101_6^11 - 2739004030792813541118573846405/789366\ 4535543027698228455781*c_0101_6^10 + 45464095300003818813585720248/7893664535543027698228455781*c_0101_6\ ^9 + 3838023100976291664166169065048/7893664535543027698228455781*c\ _0101_6^8 - 5806684473221459663302989363055/78936645355430276982284\ 55781*c_0101_6^7 + 4666756739610565442285554379166/7893664535543027\ 698228455781*c_0101_6^6 - 2158713044226830473292096774943/789366453\ 5543027698228455781*c_0101_6^5 + 333409268279067059629540096326/789\ 3664535543027698228455781*c_0101_6^4 + 272713946417787307933806894601/7893664535543027698228455781*c_0101_\ 6^3 - 235270016563379860270452860258/7893664535543027698228455781*c\ _0101_6^2 + 74771285520780102473221029662/7893664535543027698228455\ 781*c_0101_6 - 12796525843248303700050583154/7893664535543027698228\ 455781, c_0101_1 - 46618581250225935451913164484052232/958426653538599438184371\ 759481288981*c_0101_6^20 + 267406000889006301522566974138968108/958\ 426653538599438184371759481288981*c_0101_6^19 + 636074341749433454924725969837220806/958426653538599438184371759481\ 288981*c_0101_6^18 - 6999624308193405765011671600759139065/95842665\ 3538599438184371759481288981*c_0101_6^17 + 25761859796735939157401879772505934332/9584266535385994381843717594\ 81288981*c_0101_6^16 - 71118960480105999165117531987167903975/95842\ 6653538599438184371759481288981*c_0101_6^15 + 120358941578621772558202089986623401194/958426653538599438184371759\ 481288981*c_0101_6^14 - 42108657934086704467912199318723904542/9584\ 26653538599438184371759481288981*c_0101_6^13 - 335273955325649135947686309249958758181/958426653538599438184371759\ 481288981*c_0101_6^12 + 50246602273481994209693616196347676728/5044\ 3508080978917799177461025330999*c_0101_6^11 - 1192011591877922310621560952289432991698/95842665353859943818437175\ 9481288981*c_0101_6^10 + 328361799849034339383671635364744297575/95\ 8426653538599438184371759481288981*c_0101_6^9 + 1298726597558860714177327948173629239864/95842665353859943818437175\ 9481288981*c_0101_6^8 - 2367796629194032077412405085796042321216/95\ 8426653538599438184371759481288981*c_0101_6^7 + 2060107036916616040222090783907948603186/95842665353859943818437175\ 9481288981*c_0101_6^6 - 955377883971020460690800104388317206370/958\ 426653538599438184371759481288981*c_0101_6^5 + 5527465470903903098627329207283530522/50443508080978917799177461025\ 330999*c_0101_6^4 + 149321903810876049687024464609427270741/9584266\ 53538599438184371759481288981*c_0101_6^3 - 96546850472123697060775517416930532523/9584266535385994381843717594\ 81288981*c_0101_6^2 + 27124984973013631316680924515229459923/958426\ 653538599438184371759481288981*c_0101_6 - 2826271171724976255997226892857727872/95842665353859943818437175948\ 1288981, c_0101_2 - 11523774028780291340902166739833182499/354330333813220212296\ 7622394802325362757*c_0101_6^20 + 891679646919387744901969362084775\ 02529/3543303338132202122967622394802325362757*c_0101_6^19 + 91432678804790274921645694146407306230/3543303338132202122967622394\ 802325362757*c_0101_6^18 - 2322662012742817564002564685503816028111\ /3543303338132202122967622394802325362757*c_0101_6^17 + 8447879517343198101012294043620322095100/35433033381322021229676223\ 94802325362757*c_0101_6^16 - 22321975306783272033824926199675595734\ 215/3543303338132202122967622394802325362757*c_0101_6^15 + 41575941352310423145917266313806745278274/3543303338132202122967622\ 394802325362757*c_0101_6^14 - 1015693920157575323169952383237954180\ 8209/3543303338132202122967622394802325362757*c_0101_6^13 - 125468401044990855254639782110556890881933/354330333813220212296762\ 2394802325362757*c_0101_6^12 + 171133398996835489925852607739393497\ 23539/186489649375379059103559073410648703303*c_0101_6^11 - 369403158604477521623370517739998111508332/354330333813220212296762\ 2394802325362757*c_0101_6^10 - 159984549495271573210339254481086122\ 06721/3543303338132202122967622394802325362757*c_0101_6^9 + 525931777618846108565023707823381608028807/354330333813220212296762\ 2394802325362757*c_0101_6^8 - 6893018357462670770284927379008472824\ 97103/3543303338132202122967622394802325362757*c_0101_6^7 + 468884196200364584198640260309174823905331/354330333813220212296762\ 2394802325362757*c_0101_6^6 - 1755164493463880399269628421717185973\ 01363/3543303338132202122967622394802325362757*c_0101_6^5 + 2376202047126840520237426397893954226069/18648964937537905910355907\ 3410648703303*c_0101_6^4 + 1251047266388127052435035995169240365293\ 5/3543303338132202122967622394802325362757*c_0101_6^3 - 26274220706392835315469534904461064539018/3543303338132202122967622\ 394802325362757*c_0101_6^2 + 14376844974821098773773113005202308642\ 363/3543303338132202122967622394802325362757*c_0101_6 - 1231117118736439315744742723272462141344/35433033381322021229676223\ 94802325362757, c_0101_4 + 167208196900483209119218654620819145991/35433033381322021229\ 67622394802325362757*c_0101_6^20 - 1020486978231798127153878539318014394919/35433033381322021229676223\ 94802325362757*c_0101_6^19 - 19809489953761851498667385481968537857\ 82/3543303338132202122967622394802325362757*c_0101_6^18 + 26187629700837046019813291663969253209227/3543303338132202122967622\ 394802325362757*c_0101_6^17 - 1006557482835882748944904262865944857\ 90258/3543303338132202122967622394802325362757*c_0101_6^16 + 282159482419767533016707921580928593215980/354330333813220212296762\ 2394802325362757*c_0101_6^15 - 503927178792063399715866278261823377\ 162493/3543303338132202122967622394802325362757*c_0101_6^14 + 253701268292676407892377058656142080027754/354330333813220212296762\ 2394802325362757*c_0101_6^13 + 122046712248162915632796939760733892\ 6104208/3543303338132202122967622394802325362757*c_0101_6^12 - 201504968674252057451530940158815616741215/186489649375379059103559\ 073410648703303*c_0101_6^11 + 5188954546596249349225199454737180902\ 149512/3543303338132202122967622394802325362757*c_0101_6^10 - 2054364719141624116124229796268913377991117/35433033381322021229676\ 22394802325362757*c_0101_6^9 - 477677322024179283130562636197865650\ 1282690/3543303338132202122967622394802325362757*c_0101_6^8 + 9905411372800401264864784912951432916667393/35433033381322021229676\ 22394802325362757*c_0101_6^7 - 934466508846237183706963512907690135\ 7344806/3543303338132202122967622394802325362757*c_0101_6^6 + 4830397611095176445879236968281904000890648/35433033381322021229676\ 22394802325362757*c_0101_6^5 - 456133769506834563685051766523064074\ 44424/186489649375379059103559073410648703303*c_0101_6^4 - 574482955183333012912768261023410200081214/354330333813220212296762\ 2394802325362757*c_0101_6^3 + 4777231742435089108321679184395234362\ 52563/3543303338132202122967622394802325362757*c_0101_6^2 - 156350501164719217571255553134632977599998/354330333813220212296762\ 2394802325362757*c_0101_6 + 229373023479301040450270501837901033767\ 59/3543303338132202122967622394802325362757, c_0101_5 + 37856929181340302133349035510364615/958426653538599438184371\ 759481288981*c_0101_6^20 - 209911864828227982256346765921568086/958\ 426653538599438184371759481288981*c_0101_6^19 - 542626938943258862908461157328807136/958426653538599438184371759481\ 288981*c_0101_6^18 + 5514873863443011361327174397879236967/95842665\ 3538599438184371759481288981*c_0101_6^17 - 20127127123353253549644603738995411345/9584266535385994381843717594\ 81288981*c_0101_6^16 + 55732727391745172137466741762138123517/95842\ 6653538599438184371759481288981*c_0101_6^15 - 92888931512327412792768342106666699294/9584266535385994381843717594\ 81288981*c_0101_6^14 + 31632389424550579986762068713018112325/95842\ 6653538599438184371759481288981*c_0101_6^13 + 258372613313193556191319091980859048127/958426653538599438184371759\ 481288981*c_0101_6^12 - 38665385555939458276195764686135794488/5044\ 3508080978917799177461025330999*c_0101_6^11 + 919569127296672099088072752850533012495/958426653538599438184371759\ 481288981*c_0101_6^10 - 280466390603804524991197300056774004038/958\ 426653538599438184371759481288981*c_0101_6^9 - 952504897533224070798643326542698103749/958426653538599438184371759\ 481288981*c_0101_6^8 + 1811137137723105789225332441552214047901/958\ 426653538599438184371759481288981*c_0101_6^7 - 1647544847362875275915852295333395869319/95842665353859943818437175\ 9481288981*c_0101_6^6 + 833282947458960374432454875787725629862/958\ 426653538599438184371759481288981*c_0101_6^5 - 7603350551805769038861364008563034251/50443508080978917799177461025\ 330999*c_0101_6^4 - 101941658724246702680130830580465526266/9584266\ 53538599438184371759481288981*c_0101_6^3 + 83509894189574125388526168277268017009/9584266535385994381843717594\ 81288981*c_0101_6^2 - 27436884918272969326356547528625542594/958426\ 653538599438184371759481288981*c_0101_6 + 4055245471062791941549805144826478337/95842665353859943818437175948\ 1288981, c_0101_6^21 - 6*c_0101_6^20 - 12*c_0101_6^19 + 153*c_0101_6^18 - 594*c_0101_6^17 + 1691*c_0101_6^16 - 3057*c_0101_6^15 + 1784*c_0101_6^14 + 6618*c_0101_6^13 - 22264*c_0101_6^12 + 31942*c_0101_6^11 - 16512*c_0101_6^10 - 22670*c_0101_6^9 + 57392*c_0101_6^8 - 61586*c_0101_6^7 + 38968*c_0101_6^6 - 13126*c_0101_6^5 - 487*c_0101_6^4 + 3012*c_0101_6^3 - 1632*c_0101_6^2 + 447*c_0101_6 - 63 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB