Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 661044171] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0687 geometric_solution 4.65258587 oriented_manifold CS_known -0.0000000000000001 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 -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.637148257122 0.091197548584 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 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.824867506561 0.128940214559 1 3 1 3 0132 0132 1023 1023 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 0 1 -1 -1 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.774490888042 0.429103924255 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -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 0 0 0 0 0 0 -1 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 2.144866748501 0.767351894582 3 5 5 6 0132 1230 0213 0132 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 -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.648294772701 0.651306097475 6 4 4 3 0132 0213 3012 0132 0 0 0 0 0 -1 0 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 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.648294772701 0.651306097475 5 6 4 6 0132 2310 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 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.818790421624 0.434463879916 ==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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 8555974391677850350876068201949115791773/24923866749000422141996658\ 10819562893*c_0101_5^18 + 45843363674870389269864705410823251989203\ /2492386674900042214199665810819562893*c_0101_5^17 + 21089168202378591760289420007565042275275/2265806068090947467454241\ 64619960263*c_0101_5^16 - 20423497685902014647715788281338938606411\ 7/2492386674900042214199665810819562893*c_0101_5^15 - 1919575134268096808684024754089713314432936/24923866749000422141996\ 65810819562893*c_0101_5^14 + 14875968374779062708493371289146336688\ 15878/2492386674900042214199665810819562893*c_0101_5^13 - 1976361352098014197677335019001381720195383/24923866749000422141996\ 65810819562893*c_0101_5^12 - 13569968771806790720492554546757654638\ 080087/2492386674900042214199665810819562893*c_0101_5^11 + 23172277156003365831746089173327731861238521/2492386674900042214199\ 665810819562893*c_0101_5^10 + 2924654952141280078724685641337641293\ 2153340/2492386674900042214199665810819562893*c_0101_5^9 + 3532738993787109584336769263938890164056658/22658060680909474674542\ 4164619960263*c_0101_5^8 + 5623102683334603342323501777277788516035\ 3769/2492386674900042214199665810819562893*c_0101_5^7 + 49741264438658640276828353154521234517774/2265806068090947467454241\ 64619960263*c_0101_5^6 - 253971139680121890201566481563648840414103\ 99/2492386674900042214199665810819562893*c_0101_5^5 - 45482627237248811148589606617533446817079/1793083938777008787194004\ 1804457287*c_0101_5^4 + 1074483520087323252069519888351233088815310\ /2492386674900042214199665810819562893*c_0101_5^3 + 880127168072420835415364446098972990970875/249238667490004221419966\ 5810819562893*c_0101_5^2 + 4163059293685832689142503064471549723295\ 6/2492386674900042214199665810819562893*c_0101_5 - 37006331788331423897260110247942052573535/2492386674900042214199665\ 810819562893, c_0011_0 - 1, c_0011_1 + 3170511137586214190590851409977973/1138596014116054003745850\ 073467137*c_0101_5^18 - 16930848151415169818667909444355308/1138596\ 014116054003745850073467137*c_0101_5^17 - 86276608276415385326391417307949876/1138596014116054003745850073467\ 137*c_0101_5^16 + 74190214916045918931509979651307304/1138596014116\ 054003745850073467137*c_0101_5^15 + 712874252701797361662336624589746026/113859601411605400374585007346\ 7137*c_0101_5^14 - 538819595726271052157296367874051063/11385960141\ 16054003745850073467137*c_0101_5^13 + 720777968080631201034684692919969300/113859601411605400374585007346\ 7137*c_0101_5^12 + 5044328359929710973713662622793694813/1138596014\ 116054003745850073467137*c_0101_5^11 - 8500262801529717514594385569986271506/11385960141160540037458500734\ 67137*c_0101_5^10 - 11002648845933346745184249308348553885/11385960\ 14116054003745850073467137*c_0101_5^9 - 14563729075291502159637276253592458546/1138596014116054003745850073\ 467137*c_0101_5^8 - 21087480027121409520805656964673335523/11385960\ 14116054003745850073467137*c_0101_5^7 - 543905623594529397323218672970914464/113859601411605400374585007346\ 7137*c_0101_5^6 + 9438540342618405044595590211658404961/11385960141\ 16054003745850073467137*c_0101_5^5 + 17896117163363543114767962170906302/8191338231050748228387410600483\ *c_0101_5^4 - 369534520322742635691912011417057445/1138596014116054\ 003745850073467137*c_0101_5^3 - 33326942415533956947963756810077083\ 9/1138596014116054003745850073467137*c_0101_5^2 - 20819047357792696762248183917678642/1138596014116054003745850073467\ 137*c_0101_5 + 13678137716804738210751208151845757/1138596014116054\ 003745850073467137, c_0011_5 + 3808385528144082552326225651912252/1138596014116054003745850\ 073467137*c_0101_5^18 - 20191813519195574273434235810202973/1138596\ 014116054003745850073467137*c_0101_5^17 - 104361949121106142568056695206931567/113859601411605400374585007346\ 7137*c_0101_5^16 + 84912239455840701405590313170046225/113859601411\ 6054003745850073467137*c_0101_5^15 + 858311592267831619737355561833747806/113859601411605400374585007346\ 7137*c_0101_5^14 - 613732144239494315872321434713311348/11385960141\ 16054003745850073467137*c_0101_5^13 + 852253029149395903418745095718798218/113859601411605400374585007346\ 7137*c_0101_5^12 + 6086606905494861094663257390153446805/1138596014\ 116054003745850073467137*c_0101_5^11 - 9969399235647792068063839712914096776/11385960141160540037458500734\ 67137*c_0101_5^10 - 13526135129584080089947646922597539021/11385960\ 14116054003745850073467137*c_0101_5^9 - 18109845115874225656812649106878957015/1138596014116054003745850073\ 467137*c_0101_5^8 - 26193538740034367869455452341405290907/11385960\ 14116054003745850073467137*c_0101_5^7 - 1891802551548937528259835601208370374/11385960141160540037458500734\ 67137*c_0101_5^6 + 10925140663576155317042666453338002176/113859601\ 4116054003745850073467137*c_0101_5^5 + 23880395264420909081111859417338820/8191338231050748228387410600483\ *c_0101_5^4 - 207607647849991930684027767344332063/1138596014116054\ 003745850073467137*c_0101_5^3 - 34955418004176544288334483854882506\ 7/1138596014116054003745850073467137*c_0101_5^2 - 30561145153925443124222039312622653/1138596014116054003745850073467\ 137*c_0101_5 + 12967006373830881107864611457228703/1138596014116054\ 003745850073467137, c_0101_0 + 3414895336853262828754537354993151/1138596014116054003745850\ 073467137*c_0101_5^18 - 18164590269666860763907410194675112/1138596\ 014116054003745850073467137*c_0101_5^17 - 93275171399378849034068035904532878/1138596014116054003745850073467\ 137*c_0101_5^16 + 77801761431533898715406815139621708/1138596014116\ 054003745850073467137*c_0101_5^15 + 768575484788269969748510719314527232/113859601411605400374585007346\ 7137*c_0101_5^14 - 563710260840199116571756661110326517/11385960141\ 16054003745850073467137*c_0101_5^13 + 771692494038009051788079367851943658/113859601411605400374585007346\ 7137*c_0101_5^12 + 5445075685848180119537158341849268265/1138596014\ 116054003745850073467137*c_0101_5^11 - 9036128125077409796435305364580840008/11385960141160540037458500734\ 67137*c_0101_5^10 - 11988076492719545469102135671250538520/11385960\ 14116054003745850073467137*c_0101_5^9 - 16012570507471190864766247876243164017/1138596014116054003745850073\ 467137*c_0101_5^8 - 23171349351407014969473882345646433983/11385960\ 14116054003745850073467137*c_0101_5^7 - 1219730787405735156529415963204894762/11385960141160540037458500734\ 67137*c_0101_5^6 + 9909396454247603776856831881253978933/1138596014\ 116054003745850073467137*c_0101_5^5 + 20559315218868158291180715628621803/8191338231050748228387410600483\ *c_0101_5^4 - 240187584786413573523449448965927129/1138596014116054\ 003745850073467137*c_0101_5^3 - 33124224346277392786911241661759922\ 5/1138596014116054003745850073467137*c_0101_5^2 - 27155955588300471943875279583188254/1138596014116054003745850073467\ 137*c_0101_5 + 12031986703363903141354223314640873/1138596014116054\ 003745850073467137, c_0101_1 - 8049358935352918837405521067870449/1138596014116054003745850\ 073467137*c_0101_5^18 + 42679038523590072834488200884322852/1138596\ 014116054003745850073467137*c_0101_5^17 + 220578149557781176101091324007213883/113859601411605400374585007346\ 7137*c_0101_5^16 - 179563072469245009828168298087161572/11385960141\ 16054003745850073467137*c_0101_5^15 - 1814399678227678012039241450399486640/11385960141160540037458500734\ 67137*c_0101_5^14 + 1297587851326705293522996169904103052/113859601\ 4116054003745850073467137*c_0101_5^13 - 1799074004541220497824927357108417960/11385960141160540037458500734\ 67137*c_0101_5^12 - 12863833049507292895574170371268429514/11385960\ 14116054003745850073467137*c_0101_5^11 + 21073847457228320955009201280891664658/1138596014116054003745850073\ 467137*c_0101_5^10 + 28603190774493423206149268832526821394/1138596\ 014116054003745850073467137*c_0101_5^9 + 38257334638178971153345538168078103221/1138596014116054003745850073\ 467137*c_0101_5^8 + 55287578569269552441566665502410893510/11385960\ 14116054003745850073467137*c_0101_5^7 + 3923977284677759397874117733987790790/11385960141160540037458500734\ 67137*c_0101_5^6 - 23199106332378649166161538926440777514/113859601\ 4116054003745850073467137*c_0101_5^5 - 50800988640302854901080282040143522/8191338231050748228387410600483\ *c_0101_5^4 + 481022118884702239164495391558211012/1138596014116054\ 003745850073467137*c_0101_5^3 + 75793305332329355027381404497859954\ 0/1138596014116054003745850073467137*c_0101_5^2 + 63265843245277215741568600956326258/1138596014116054003745850073467\ 137*c_0101_5 - 27999585509987169516378993313629726/1138596014116054\ 003745850073467137, c_0101_3 + 5375365781728175002635383075451007/1138596014116054003745850\ 073467137*c_0101_5^18 - 28549826213119831192166941400218237/1138596\ 014116054003745850073467137*c_0101_5^17 - 147025654521754603021839974230180378/113859601411605400374585007346\ 7137*c_0101_5^16 + 121142038813983649036054889074858211/11385960141\ 16054003745850073467137*c_0101_5^15 + 1210136404146781348412146142605222000/11385960141160540037458500734\ 67137*c_0101_5^14 - 876893895269036298533045691969332307/1138596014\ 116054003745850073467137*c_0101_5^13 + 1212927670296413101552760133104271796/11385960141160540037458500734\ 67137*c_0101_5^12 + 8574765545780424474738057934593187883/113859601\ 4116054003745850073467137*c_0101_5^11 - 14143593798752090003026707181980457713/1138596014116054003745850073\ 467137*c_0101_5^10 - 18949867951460025131150505443929904884/1138596\ 014116054003745850073467137*c_0101_5^9 - 25433999950002985472314330998181730666/1138596014116054003745850073\ 467137*c_0101_5^8 - 36716262990677179126483231336375113602/11385960\ 14116054003745850073467137*c_0101_5^7 - 2368993609296282891090243648744105957/11385960141160540037458500734\ 67137*c_0101_5^6 + 15434577033509418954805320243480455218/113859601\ 4116054003745850073467137*c_0101_5^5 + 33061360757871746495465416144425415/8191338231050748228387410600483\ *c_0101_5^4 - 339965844957578447319537593035346770/1138596014116054\ 003745850073467137*c_0101_5^3 - 49639793466063809788700288758392010\ 7/1138596014116054003745850073467137*c_0101_5^2 - 40546287827063637444902747862756791/1138596014116054003745850073467\ 137*c_0101_5 + 18612648872667676876387742305677046/1138596014116054\ 003745850073467137, c_0101_5^19 - 5*c_0101_5^18 - 29*c_0101_5^17 + 14*c_0101_5^16 + 232*c_0101_5^15 - 93*c_0101_5^14 + 176*c_0101_5^13 + 1665*c_0101_5^12 - 2134*c_0101_5^11 - 4336*c_0101_5^10 - 5839*c_0101_5^9 - 8325*c_0101_5^8 - 2593*c_0101_5^7 + 2693*c_0101_5^6 + 1737*c_0101_5^5 + 217*c_0101_5^4 - 105*c_0101_5^3 - 35*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB