Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2783197403] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3017 geometric_solution 6.19098006 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 0132 0 0 0 0 0 -1 -1 2 0 0 1 -1 0 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 1 -1 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.488141004567 0.510780190266 0 3 4 3 0132 0132 0132 3012 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 -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.660061753533 0.467796065038 5 3 0 4 0132 0321 0132 0321 0 0 0 0 0 1 -2 1 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 -1 1 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 1.351006637396 0.750667442352 6 1 1 2 0132 0132 1230 0321 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 -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.768484421149 1.089312746105 5 2 6 1 3120 0321 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -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 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.816023317998 0.752357843021 2 6 6 4 0132 1302 3120 3120 0 0 0 0 0 0 -1 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 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 1.125896777620 1.004528695420 3 4 5 5 0132 1230 3120 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085454793848 1.720127971275 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : 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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : negation(d['c_0101_3']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1254092458829763215487/153652004809508481289*c_1001_1^15 - 178466719234020905857811/2304780072142627219335*c_1001_1^14 - 57232694916089848616521/1536520048095084812890*c_1001_1^13 + 2745029243814199139224367/4609560144285254438670*c_1001_1^12 - 84460742807915310788474/768260024047542406445*c_1001_1^11 - 275248982726306068375873/153652004809508481289*c_1001_1^10 + 106397555637439534074191/118193849853468062530*c_1001_1^9 + 4284738967299570678986549/1536520048095084812890*c_1001_1^8 - 9979594808438930368162913/4609560144285254438670*c_1001_1^7 - 1771644675867963426399742/768260024047542406445*c_1001_1^6 + 2349356734646755652417971/921912028857050887734*c_1001_1^5 + 1808261956306548053333918/2304780072142627219335*c_1001_1^4 - 1391915534607612872547019/921912028857050887734*c_1001_1^3 + 249895037253172701434249/2304780072142627219335*c_1001_1^2 + 5958806609936466125368/15895034980293980823*c_1001_1 - 246468201582135774047698/2304780072142627219335, c_0011_0 - 1, c_0011_2 + 2213825920033371925/1222694998484152371*c_1001_1^15 - 7085218165505431140/407564999494717457*c_1001_1^14 - 7742883343620428948/1222694998484152371*c_1001_1^13 + 54353389004843546502/407564999494717457*c_1001_1^12 - 16059978506653689525/407564999494717457*c_1001_1^11 - 162235251477760946435/407564999494717457*c_1001_1^10 + 99735337032302210844/407564999494717457*c_1001_1^9 + 746052005300177645480/1222694998484152371*c_1001_1^8 - 223668166579568693420/407564999494717457*c_1001_1^7 - 595352935923171196829/1222694998484152371*c_1001_1^6 + 760394029879997880566/1222694998484152371*c_1001_1^5 + 177462879604389249575/1222694998484152371*c_1001_1^4 - 438360284604609700423/1222694998484152371*c_1001_1^3 + 45858489048627921925/1222694998484152371*c_1001_1^2 + 104935221997711860359/1222694998484152371*c_1001_1 - 10566994712464401223/407564999494717457, c_0011_4 + 425397226760246110/1222694998484152371*c_1001_1^15 - 1303548839268864719/407564999494717457*c_1001_1^14 - 2840818957221810506/1222694998484152371*c_1001_1^13 + 9247674076559587266/407564999494717457*c_1001_1^12 + 770023253559536746/407564999494717457*c_1001_1^11 - 25647873872316027290/407564999494717457*c_1001_1^10 + 4887975731768911414/407564999494717457*c_1001_1^9 + 114424442323440827171/1222694998484152371*c_1001_1^8 - 14427151217559489689/407564999494717457*c_1001_1^7 - 98922971624297090033/1222694998484152371*c_1001_1^6 + 47676721475499402467/1222694998484152371*c_1001_1^5 + 48134894215965985862/1222694998484152371*c_1001_1^4 - 24421445592180114190/1222694998484152371*c_1001_1^3 - 12032014601271744599/1222694998484152371*c_1001_1^2 + 5766672510435077567/1222694998484152371*c_1001_1 + 597244748645425824/407564999494717457, c_0101_0 - 658366640444392555/1222694998484152371*c_1001_1^15 + 2177726280296521782/407564999494717457*c_1001_1^14 + 595541564225085692/1222694998484152371*c_1001_1^13 - 17321323767313161371/407564999494717457*c_1001_1^12 + 8411685145584649932/407564999494717457*c_1001_1^11 + 52864290873644867844/407564999494717457*c_1001_1^10 - 39125421986350388904/407564999494717457*c_1001_1^9 - 243049505204045756198/1222694998484152371*c_1001_1^8 + 80687715944731091348/407564999494717457*c_1001_1^7 + 187355202129623053799/1222694998484152371*c_1001_1^6 - 264549979860746781272/1222694998484152371*c_1001_1^5 - 48982114108976327636/1222694998484152371*c_1001_1^4 + 145839564147260571034/1222694998484152371*c_1001_1^3 - 20156884685221778494/1222694998484152371*c_1001_1^2 - 32651472547919806877/1222694998484152371*c_1001_1 + 3457135777612114989/407564999494717457, c_0101_1 - 441789962608033405/407564999494717457*c_1001_1^15 + 4204433455897949061/407564999494717457*c_1001_1^14 + 1877789364004100393/407564999494717457*c_1001_1^13 - 32201426550073818440/407564999494717457*c_1001_1^12 + 7267437075424911685/407564999494717457*c_1001_1^11 + 96852404666661216096/407564999494717457*c_1001_1^10 - 53719732409120260965/407564999494717457*c_1001_1^9 - 151796709458091185060/407564999494717457*c_1001_1^8 + 127460960805320272548/407564999494717457*c_1001_1^7 + 126575439645729553603/407564999494717457*c_1001_1^6 - 150216332712169115040/407564999494717457*c_1001_1^5 - 42793050307977837459/407564999494717457*c_1001_1^4 + 90829892750723653630/407564999494717457*c_1001_1^3 - 7344177344975959860/407564999494717457*c_1001_1^2 - 23083159272042852037/407564999494717457*c_1001_1 + 7049042759594833232/407564999494717457, c_0101_3 + 945879055492238395/1222694998484152371*c_1001_1^15 - 2919776364773613423/407564999494717457*c_1001_1^14 - 6252005031090235913/1222694998484152371*c_1001_1^13 + 22455077189252451161/407564999494717457*c_1001_1^12 + 72137150836862808/407564999494717457*c_1001_1^11 - 68938182520800446454/407564999494717457*c_1001_1^10 + 23625578669585500934/407564999494717457*c_1001_1^9 + 336610919987653604825/1222694998484152371*c_1001_1^8 - 69144968159299979714/407564999494717457*c_1001_1^7 - 302441004008172543014/1222694998484152371*c_1001_1^6 + 269088583001569811096/1222694998484152371*c_1001_1^5 + 126557365247294325845/1222694998484152371*c_1001_1^4 - 173881072372708915627/1222694998484152371*c_1001_1^3 - 3372985752140377046/1222694998484152371*c_1001_1^2 + 46299407888832665057/1222694998484152371*c_1001_1 - 3568784742177029324/407564999494717457, c_1001_1^16 - 51/5*c_1001_1^15 + 11/5*c_1001_1^14 + 381/5*c_1001_1^13 - 327/5*c_1001_1^12 - 210*c_1001_1^11 + 1332/5*c_1001_1^10 + 1321/5*c_1001_1^9 - 2544/5*c_1001_1^8 - 481/5*c_1001_1^7 + 515*c_1001_1^6 - 617/5*c_1001_1^5 - 256*c_1001_1^4 + 719/5*c_1001_1^3 + 38*c_1001_1^2 - 228/5*c_1001_1 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB