Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 2395935325] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1215 geometric_solution 5.11308861 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 2.078909826995 0.810801692961 0 1 1 0 0132 3201 2310 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.657897074759 0.123754618539 0 3 4 0 3201 0132 0132 0132 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 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.736776115848 0.694261487091 5 2 6 6 0132 0132 0132 2310 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 -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.047241389511 0.637231398288 6 6 5 2 1023 3201 2310 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 -1 0 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.047241389511 0.637231398288 3 4 5 5 0132 3201 2031 1302 0 0 0 0 0 -1 1 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 0 -1 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.175350135697 1.056542688431 3 4 4 3 3201 1023 2310 0132 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 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.115703889696 1.560710897409 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(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_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), '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_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1764334880395659023491280068247/2682943141914349907383360625*c_0101\ _5^13 - 4321628571588061750051186542361/268294314191434990738336062\ 5*c_0101_5^12 - 33088581893711968701007649836143/536588628382869981\ 4766721250*c_0101_5^11 + 89819695128127037465634712756868/268294314\ 1914349907383360625*c_0101_5^10 - 245356529996443905111580465148112\ /2682943141914349907383360625*c_0101_5^9 + 639565892193944229170306888523291/2682943141914349907383360625*c_01\ 01_5^8 - 1268684153610503003720762477559017/26829431419143499073833\ 60625*c_0101_5^7 + 2633673507727188042815468090192469/5365886283828\ 699814766721250*c_0101_5^6 + 31920193516994296738927914808907/10731\ 77256765739962953344250*c_0101_5^5 - 2834840860619569558129375331061069/5365886283828699814766721250*c_0\ 101_5^4 + 27014736273260701823746967491147/214635451353147992590668\ 850*c_0101_5^3 + 676073624542359823397089682288431/2682943141914349\ 907383360625*c_0101_5^2 + 226577401751626542701887972235217/5365886\ 283828699814766721250*c_0101_5 - 35646417907155949999378584790981/5\ 365886283828699814766721250, c_0011_0 - 1, c_0011_2 - 4277850644741418936338/19789364867522403889975*c_0101_5^13 + 11119195998381649396189/19789364867522403889975*c_0101_5^12 + 39505354499620505971611/19789364867522403889975*c_0101_5^11 - 224410677710000667567662/19789364867522403889975*c_0101_5^10 + 617155528698154879161933/19789364867522403889975*c_0101_5^9 - 1609421281882104698184429/19789364867522403889975*c_0101_5^8 + 3231984726696179424602233/19789364867522403889975*c_0101_5^7 - 3450201498993318123044413/19789364867522403889975*c_0101_5^6 - 850679694937290432795/791574594700896155599*c_0101_5^5 + 3582190208395520747036123/19789364867522403889975*c_0101_5^4 - 201485823788760582878538/3957872973504480777995*c_0101_5^3 - 1725903494924772986493569/19789364867522403889975*c_0101_5^2 - 294293354142906478415684/19789364867522403889975*c_0101_5 + 27149205175861055305147/19789364867522403889975, c_0011_4 - 693267706328801243830561/14347289528953742820231875*c_0101_5\ ^13 + 1945741192582775210977718/14347289528953742820231875*c_0101_5\ ^12 + 5533010545320683430258442/14347289528953742820231875*c_0101_5\ ^11 - 36906302562400519358644634/14347289528953742820231875*c_0101_\ 5^10 + 112505561043061208225889481/14347289528953742820231875*c_010\ 1_5^9 - 301978269744165358202836408/14347289528953742820231875*c_01\ 01_5^8 + 633087551790722753169579021/14347289528953742820231875*c_0\ 101_5^7 - 815225066167255562785793336/14347289528953742820231875*c_\ 0101_5^6 + 76655263816123925802400262/2869457905790748564046375*c_0\ 101_5^5 + 333865896216869965713360411/14347289528953742820231875*c_\ 0101_5^4 - 12840642137981395756069546/573891581158149712809275*c_01\ 01_5^3 - 53641529693252483266322253/14347289528953742820231875*c_01\ 01_5^2 + 33123607504720428298401852/14347289528953742820231875*c_01\ 01_5 + 79733769570069877453764/14347289528953742820231875, c_0101_0 + 19391396957963547194734/14347289528953742820231875*c_0101_5^\ 13 - 316294724807915191264617/14347289528953742820231875*c_0101_5^1\ 2 - 184287454407629080325048/14347289528953742820231875*c_0101_5^11 + 4343713362830045606986096/14347289528953742820231875*c_0101_5^10 - 9807893132773757921216339/14347289528953742820231875*c_0101_5^9 + 19362817048892960981645852/14347289528953742820231875*c_0101_5^8 - 43052239327779939510647474/14347289528953742820231875*c_0101_5^7 + 25493734478122339717199334/14347289528953742820231875*c_0101_5^6 + 24783045821648051444312872/2869457905790748564046375*c_0101_5^5 - 310269441983125394989083134/14347289528953742820231875*c_0101_5^4 + 6595494339122800514081274/573891581158149712809275*c_0101_5^3 + 147071046129859482543809032/14347289528953742820231875*c_0101_5^2 - 40218393486829407463091213/14347289528953742820231875*c_0101_5 - 13182008322508999254373691/14347289528953742820231875, c_0101_1 + 2692117940773342150699588/14347289528953742820231875*c_0101_\ 5^13 - 6793673891978114347199669/14347289528953742820231875*c_0101_\ 5^12 - 24834990226277441529578486/14347289528953742820231875*c_0101\ _5^11 + 138673951376881609042738472/14347289528953742820231875*c_01\ 01_5^10 - 383369694809825480875823448/14347289528953742820231875*c_\ 0101_5^9 + 1004014269543211721927004814/14347289528953742820231875*\ c_0101_5^8 - 2012577422168277609887795893/1434728952895374282023187\ 5*c_0101_5^7 + 2165843746569598229744475538/14347289528953742820231\ 875*c_0101_5^6 - 16179122845445774488584621/28694579057907485640463\ 75*c_0101_5^5 - 2043859676839753056190340138/1434728952895374282023\ 1875*c_0101_5^4 + 21119646055830160756628523/5738915811581497128092\ 75*c_0101_5^3 + 988912981815054472696621324/14347289528953742820231\ 875*c_0101_5^2 + 199946787304099411101036359/1434728952895374282023\ 1875*c_0101_5 - 19205285014377932676120512/143472895289537428202318\ 75, c_0101_3 + 214561863861477504323042/14347289528953742820231875*c_0101_5\ ^13 - 1059069392370967204053021/14347289528953742820231875*c_0101_5\ ^12 - 1046256026086389287813624/14347289528953742820231875*c_0101_5\ ^11 + 15960170152740420153586623/14347289528953742820231875*c_0101_\ 5^10 - 53054384771130059847642532/14347289528953742820231875*c_0101\ _5^9 + 142983730524813083578334451/14347289528953742820231875*c_010\ 1_5^8 - 328061032278797710220233162/14347289528953742820231875*c_01\ 01_5^7 + 492058562540964018628569717/14347289528953742820231875*c_0\ 101_5^6 - 66680185631571035923902239/2869457905790748564046375*c_01\ 01_5^5 - 139495124305017483467028992/14347289528953742820231875*c_0\ 101_5^4 + 10594833577592208777012217/573891581158149712809275*c_010\ 1_5^3 + 38061495988785069468923541/14347289528953742820231875*c_010\ 1_5^2 - 23390963594273525684299394/14347289528953742820231875*c_010\ 1_5 - 2546888923238778812014483/14347289528953742820231875, c_0101_5^14 - 17/7*c_0101_5^13 - 66/7*c_0101_5^12 + 355/7*c_0101_5^11 - 138*c_0101_5^10 + 2517/7*c_0101_5^9 - 4980/7*c_0101_5^8 + 5118/7*c_0101_5^7 + 429/7*c_0101_5^6 - 5622/7*c_0101_5^5 + 1226/7*c_0101_5^4 + 2711/7*c_0101_5^3 + 503/7*c_0101_5^2 - 61/7*c_0101_5 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB