Magma V2.19-8 Tue Aug 20 2013 23:38:32 on localhost [Seed = 4088764355] Type ? for help. Type -D to quit. Loading file "K9a34__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a34 geometric_solution 9.13509404 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1230 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 -1 0 1 0 0 7 -7 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.481488947023 0.714825015276 0 3 5 4 0132 2103 0132 0132 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 0 1 -1 0 0 0 6 -6 0 0 0 0 -1 -6 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887226895130 0.756429272105 4 0 4 0 3012 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 7 0 0 -7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664903941469 0.916643854339 6 1 0 5 0132 2103 0132 0132 0 0 0 0 0 0 0 0 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 0 -1 1 -7 0 7 0 1 -1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970274946485 1.785874698763 2 7 1 2 2031 0132 0132 1230 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 1 0 6 -7 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.481488947023 0.714825015276 8 7 3 1 0132 2310 0132 0132 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 0 -1 1 6 0 0 -6 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000516620497 0.659179264067 3 8 9 8 0132 1302 0132 0132 0 0 0 0 0 1 0 -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 -6 0 6 7 0 -7 0 6 -6 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033459640440 1.341858752527 9 4 9 5 0132 0132 3012 3201 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 7 0 0 -7 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.378834328925 1.212542759310 5 9 6 6 0132 1230 0132 2031 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 -6 6 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.535769110014 0.772434314400 7 7 8 6 0132 1230 3012 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -7 0 0 7 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.334660534155 0.653272108251 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_8'], 's_2_8' : d['1'], 's_2_9' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_8']), 'c_1100_8' : negation(d['c_1001_8']), 'c_1100_5' : d['c_0110_2'], 'c_1100_4' : d['c_0110_2'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0101_0'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_8'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : negation(d['c_1001_4']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_4'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_5, c_0110_2, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 9770546551337983583517635833/1012917684538315560968963265*c_1001_8^\ 17 + 14218548035395141499318418155/607750610722989336581377959*c_10\ 01_8^16 - 34666324109043314956411210064/607750610722989336581377959\ *c_1001_8^15 + 8782710443254746675393082921/14470252636261650870985\ 1895*c_1001_8^14 - 22476709566541015838976728114/144702526362616508\ 709851895*c_1001_8^13 - 602916196998154289389992586771/303875305361\ 4946682906889795*c_1001_8^12 + 3411614007948508873419798526682/3038\ 753053614946682906889795*c_1001_8^11 + 8349476644203643281438530524973/3038753053614946682906889795*c_1001\ _8^10 - 227523792386624754834461038739/74115928136949919095289995*c\ _1001_8^9 - 2771813328144625907937417379738/43410757908784952612955\ 5685*c_1001_8^8 + 169461027131073005937939925019/178750179624408628\ 406287635*c_1001_8^7 + 15685365782099128568643113521708/30387530536\ 14946682906889795*c_1001_8^6 - 108194684125890846254746147064/30387\ 53053614946682906889795*c_1001_8^5 - 410784774494782112108952589501/434107579087849526129555685*c_1001_8\ ^4 - 1890473832648976595844554492402/3038753053614946682906889795*c\ _1001_8^3 + 2853822279162317079508051983/48234175454205502903283965\ *c_1001_8^2 + 208402323791564791910143974106/3038753053614946682906\ 889795*c_1001_8 + 106378515565679280225199639478/303875305361494668\ 2906889795, c_0011_0 - 1, c_0011_3 + 3158553895182807902302/13840509456013056787169*c_1001_8^17 - 8644561958517956256364/13840509456013056787169*c_1001_8^16 + 20798973167204499304414/13840509456013056787169*c_1001_8^15 - 25256409859921304775565/13840509456013056787169*c_1001_8^14 + 55797679707725135166909/13840509456013056787169*c_1001_8^13 + 50048643684448112338669/13840509456013056787169*c_1001_8^12 - 392040122259164881162385/13840509456013056787169*c_1001_8^11 - 792576615011631259497028/13840509456013056787169*c_1001_8^10 + 1308476964294984347902087/13840509456013056787169*c_1001_8^9 + 1874010983021890048652977/13840509456013056787169*c_1001_8^8 - 965593435409452418769071/13840509456013056787169*c_1001_8^7 - 1783240071502699890634709/13840509456013056787169*c_1001_8^6 + 366923813172431616481336/13840509456013056787169*c_1001_8^5 + 354617924304425685424290/13840509456013056787169*c_1001_8^4 + 231586486825909213875845/13840509456013056787169*c_1001_8^3 - 23365900252398267623775/13840509456013056787169*c_1001_8^2 - 45912598728619046475883/13840509456013056787169*c_1001_8 - 15303104134758582078280/13840509456013056787169, c_0011_4 + 753012369387561180665/13840509456013056787169*c_1001_8^17 - 1500844846804353300943/13840509456013056787169*c_1001_8^16 + 3582761123453202666046/13840509456013056787169*c_1001_8^15 - 2458289971403451331509/13840509456013056787169*c_1001_8^14 + 9229832718950514998814/13840509456013056787169*c_1001_8^13 + 22168498537195757016263/13840509456013056787169*c_1001_8^12 - 83219555091995935627102/13840509456013056787169*c_1001_8^11 - 251475879529264985537995/13840509456013056787169*c_1001_8^10 + 159737788556302647808578/13840509456013056787169*c_1001_8^9 + 606928721164438080892506/13840509456013056787169*c_1001_8^8 + 69054361915149191941675/13840509456013056787169*c_1001_8^7 - 445702091093865924611737/13840509456013056787169*c_1001_8^6 - 62552630257379897606861/13840509456013056787169*c_1001_8^5 + 124346502897960616876033/13840509456013056787169*c_1001_8^4 + 29233194004179396442030/13840509456013056787169*c_1001_8^3 - 137480862826576399028/13840509456013056787169*c_1001_8^2 - 35717421168004864604552/13840509456013056787169*c_1001_8 - 757127732114573632366/13840509456013056787169, c_0011_5 - 8587052748380738714389/13840509456013056787169*c_1001_8^17 + 21278455346904621224427/13840509456013056787169*c_1001_8^16 - 51297839715665502615667/13840509456013056787169*c_1001_8^15 + 55481358629957043635881/13840509456013056787169*c_1001_8^14 - 137843899878243874253272/13840509456013056787169*c_1001_8^13 - 172619865836838921358644/13840509456013056787169*c_1001_8^12 + 1018652023106447405643167/13840509456013056787169*c_1001_8^11 + 2406331703229041275779971/13840509456013056787169*c_1001_8^10 - 2919533650792709281536558/13840509456013056787169*c_1001_8^9 - 5719040064723387016401384/13840509456013056787169*c_1001_8^8 + 1244299874258496253084593/13840509456013056787169*c_1001_8^7 + 4898284489216190135940622/13840509456013056787169*c_1001_8^6 - 138852111807923836997908/13840509456013056787169*c_1001_8^5 - 976103474617542574270820/13840509456013056787169*c_1001_8^4 - 580534988803942316695726/13840509456013056787169*c_1001_8^3 + 12311917711903235803059/13840509456013056787169*c_1001_8^2 + 89122127739214590177983/13840509456013056787169*c_1001_8 + 30412379129926342611647/13840509456013056787169, c_0101_0 + 5007891327520456500750/13840509456013056787169*c_1001_8^17 - 9258654922926339369134/13840509456013056787169*c_1001_8^16 + 22772188803985574058353/13840509456013056787169*c_1001_8^15 - 14745081802704604540227/13840509456013056787169*c_1001_8^14 + 63499206533374893814990/13840509456013056787169*c_1001_8^13 + 148271144064059807704883/13840509456013056787169*c_1001_8^12 - 519623864669025416004432/13840509456013056787169*c_1001_8^11 - 1760036067550611663795309/13840509456013056787169*c_1001_8^10 + 759070171353356515952706/13840509456013056787169*c_1001_8^9 + 4182518244903446678593455/13840509456013056787169*c_1001_8^8 + 1414986170158520892042484/13840509456013056787169*c_1001_8^7 - 2899354142571506126785306/13840509456013056787169*c_1001_8^6 - 1390032047415947859678783/13840509456013056787169*c_1001_8^5 + 557250279695640216000447/13840509456013056787169*c_1001_8^4 + 511813233451900585919027/13840509456013056787169*c_1001_8^3 + 52919471668404920495229/13840509456013056787169*c_1001_8^2 - 21835038820585115899112/13840509456013056787169*c_1001_8 - 21408339911484396868704/13840509456013056787169, c_0101_1 + 753012369387561180665/13840509456013056787169*c_1001_8^17 - 1500844846804353300943/13840509456013056787169*c_1001_8^16 + 3582761123453202666046/13840509456013056787169*c_1001_8^15 - 2458289971403451331509/13840509456013056787169*c_1001_8^14 + 9229832718950514998814/13840509456013056787169*c_1001_8^13 + 22168498537195757016263/13840509456013056787169*c_1001_8^12 - 83219555091995935627102/13840509456013056787169*c_1001_8^11 - 251475879529264985537995/13840509456013056787169*c_1001_8^10 + 159737788556302647808578/13840509456013056787169*c_1001_8^9 + 606928721164438080892506/13840509456013056787169*c_1001_8^8 + 69054361915149191941675/13840509456013056787169*c_1001_8^7 - 445702091093865924611737/13840509456013056787169*c_1001_8^6 - 62552630257379897606861/13840509456013056787169*c_1001_8^5 + 124346502897960616876033/13840509456013056787169*c_1001_8^4 + 29233194004179396442030/13840509456013056787169*c_1001_8^3 - 137480862826576399028/13840509456013056787169*c_1001_8^2 - 35717421168004864604552/13840509456013056787169*c_1001_8 - 757127732114573632366/13840509456013056787169, c_0101_5 - 908516353893857397741/13840509456013056787169*c_1001_8^17 + 3358516521603863186445/13840509456013056787169*c_1001_8^16 - 8024782050735470797757/13840509456013056787169*c_1001_8^15 + 12386808180453275247081/13840509456013056787169*c_1001_8^14 - 21386174569081839114058/13840509456013056787169*c_1001_8^13 - 145535302364638982223/13840509456013056787169*c_1001_8^12 + 131341144983679270044508/13840509456013056787169*c_1001_8^11 + 129893513502480684051419/13840509456013056787169*c_1001_8^10 - 629656644885734475248812/13840509456013056787169*c_1001_8^9 - 297146821350402770714011/13840509456013056787169*c_1001_8^8 + 827967553322873342265336/13840509456013056787169*c_1001_8^7 + 503311728637369123715271/13840509456013056787169*c_1001_8^6 - 455520432895098267765780/13840509456013056787169*c_1001_8^5 - 100992320434636597593071/13840509456013056787169*c_1001_8^4 - 78960908624058273104255/13840509456013056787169*c_1001_8^3 + 28110766072091542493366/13840509456013056787169*c_1001_8^2 + 26503130700261730119547/13840509456013056787169*c_1001_8 + 8894472548392608965333/13840509456013056787169, c_0110_2 - 6350205852206538648977/13840509456013056787169*c_1001_8^17 + 13265330543866808170712/13840509456013056787169*c_1001_8^16 - 32053534934147751694951/13840509456013056787169*c_1001_8^15 + 26202979830386760638357/13840509456013056787169*c_1001_8^14 - 86075261955264643077195/13840509456013056787169*c_1001_8^13 - 169016659447265039518161/13840509456013056787169*c_1001_8^12 + 702326896489778151724900/13840509456013056787169*c_1001_8^11 + 2058875438503005546209891/13840509456013056787169*c_1001_8^10 - 1456689901110043508099832/13840509456013056787169*c_1001_8^9 - 4930066020985415981853806/13840509456013056787169*c_1001_8^8 - 587027327883466211392217/13840509456013056787169*c_1001_8^7 + 3689492481411987257722224/13840509456013056787169*c_1001_8^6 + 819114398207863833206626/13840509456013056787169*c_1001_8^5 - 741701052385742975209444/13840509456013056787169*c_1001_8^4 - 352958641778211997242862/13840509456013056787169*c_1001_8^3 - 45386750322706780698242/13840509456013056787169*c_1001_8^2 + 23814856086119620208307/13840509456013056787169*c_1001_8 + 11387377364472714806817/13840509456013056787169, c_1001_4 + 1717167153403521503443/13840509456013056787169*c_1001_8^17 - 2898226200868851819259/13840509456013056787169*c_1001_8^16 + 6541749099706260468000/13840509456013056787169*c_1001_8^15 - 1421723213310135996168/13840509456013056787169*c_1001_8^14 + 15274972564550117662608/13840509456013056787169*c_1001_8^13 + 62244642484952223966099/13840509456013056787169*c_1001_8^12 - 185279381677936340629668/13840509456013056787169*c_1001_8^11 - 638738573217463902779315/13840509456013056787169*c_1001_8^10 + 263253523603043008086335/13840509456013056787169*c_1001_8^9 + 1632649240513211840583207/13840509456013056787169*c_1001_8^8 + 313566108431080899875672/13840509456013056787169*c_1001_8^7 - 1289440860115021783633237/13840509456013056787169*c_1001_8^6 - 228352944816729363937220/13840509456013056787169*c_1001_8^5 + 544303282039825170749633/13840509456013056787169*c_1001_8^4 + 17369085480104145708044/13840509456013056787169*c_1001_8^3 - 877459959666776524464/13840509456013056787169*c_1001_8^2 - 27224046633867200027584/13840509456013056787169*c_1001_8 - 1962613622221254212229/13840509456013056787169, c_1001_8^18 - 2*c_1001_8^17 + 5*c_1001_8^16 - 4*c_1001_8^15 + 14*c_1001_8^14 + 27*c_1001_8^13 - 106*c_1001_8^12 - 331*c_1001_8^11 + 185*c_1001_8^10 + 757*c_1001_8^9 + 200*c_1001_8^8 - 488*c_1001_8^7 - 190*c_1001_8^6 + 51*c_1001_8^5 + 82*c_1001_8^4 + 23*c_1001_8^3 - 2*c_1001_8^2 - 4*c_1001_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB