Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 3204391522] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1168 geometric_solution 5.04254922 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 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 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.306713832537 0.206812163255 0 0 1 1 0132 2310 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 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 0 -1 1 -1 0 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 1.597664729551 1.264330585745 4 0 3 5 0132 0132 3201 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 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.402335270449 1.264330585745 2 5 4 0 2310 1023 2310 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 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.402335270449 1.264330585745 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.597664729551 1.264330585745 3 6 2 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625167649875 0.965267373500 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369863246766 0.218344838850 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 144892099344732574928822348864/82769237178032843750188895*c_0110_6^\ 19 - 260658986399740240973508639328/16553847435606568750037779*c_01\ 10_6^17 + 1288374542790776055336629052316/8276923717803284375018889\ 5*c_0110_6^15 - 2877072675830897735500927578927/1655384743560656875\ 0037779*c_0110_6^13 + 216533549737438101293197554849/16553847435606\ 5687500377790*c_0110_6^11 - 54823326196040476742226724156784/827692\ 37178032843750188895*c_0110_6^9 - 107132787118207124740882520450353\ /165538474356065687500377790*c_0110_6^7 - 50935067900405869380883645613213/82769237178032843750188895*c_0110_\ 6^5 + 701515310627033096471019337166/16553847435606568750037779*c_0\ 110_6^3 - 821573245462677393514826277572/82769237178032843750188895\ *c_0110_6, c_0011_0 - 1, c_0011_3 + 15548539777958672464164352/82769237178032843750188895*c_0110\ _6^19 - 139255940965359325889057792/82769237178032843750188895*c_01\ 10_6^17 + 132937460467335892670177824/82769237178032843750188895*c_\ 0110_6^15 - 1538952708059516232259191896/82769237178032843750188895\ *c_0110_6^13 - 49634848623542983437103296/8276923717803284375018889\ 5*c_0110_6^11 - 5891577521455139836895187902/8276923717803284375018\ 8895*c_0110_6^9 - 1199440312962809433906307284/16553847435606568750\ 037779*c_0110_6^7 - 5746756586251084610867884793/827692371780328437\ 50188895*c_0110_6^5 + 66323675986488052956559346/827692371780328437\ 50188895*c_0110_6^3 - 242140390613682342035523329/82769237178032843\ 750188895*c_0110_6, c_0101_0 + 5885773039516414300141824/82769237178032843750188895*c_0110_\ 6^18 - 53575592900042672114273088/82769237178032843750188895*c_0110\ _6^16 + 11660686163991340249041712/16553847435606568750037779*c_011\ 0_6^14 - 592442368236169612102798224/82769237178032843750188895*c_0\ 110_6^12 + 69775284558033029967499129/82769237178032843750188895*c_\ 0110_6^10 - 2253519861930375566165552829/82769237178032843750188895\ *c_0110_6^8 - 1930447645032792544576135476/827692371780328437501888\ 95*c_0110_6^6 - 1929732427246348748426693549/8276923717803284375018\ 8895*c_0110_6^4 + 292179912839791841715199379/827692371780328437501\ 88895*c_0110_6^2 - 93164963857291683596206259/827692371780328437501\ 88895, c_0101_1 + 270756480555967390805465408/82769237178032843750188895*c_011\ 0_6^19 - 2439956684270845215911096704/82769237178032843750188895*c_\ 0110_6^17 + 2448236405787753799932177644/82769237178032843750188895\ *c_0110_6^15 - 26921842910024558394132675877/8276923717803284375018\ 8895*c_0110_6^13 + 129971840902901268331103657/16553847435606568750\ 037779*c_0110_6^11 - 102451743142094488002513016248/827692371780328\ 43750188895*c_0110_6^9 - 98404258256051588471310718639/827692371780\ 32843750188895*c_0110_6^7 - 93528698130094885334380092989/827692371\ 78032843750188895*c_0110_6^5 + 8073670746878632516757840232/8276923\ 7178032843750188895*c_0110_6^3 - 348194092533798254404584671/165538\ 47435606568750037779*c_0110_6, c_0101_4 + 62293716864102233076859648/82769237178032843750188895*c_0110\ _6^19 - 558260821063323100979245568/82769237178032843750188895*c_01\ 10_6^17 + 535705165828118803051320336/82769237178032843750188895*c_\ 0110_6^15 - 6169743515192758104856202444/82769237178032843750188895\ *c_0110_6^13 - 156062852789656300364671704/827692371780328437501888\ 95*c_0110_6^11 - 23604047249701462212148965933/82769237178032843750\ 188895*c_0110_6^9 - 4764870507255255829695339352/165538474356065687\ 50037779*c_0110_6^7 - 22782190178336021708772847417/827692371780328\ 43750188895*c_0110_6^5 + 598984883816422397440664114/82769237178032\ 843750188895*c_0110_6^3 - 385160389607397889313074431/8276923717803\ 2843750188895*c_0110_6, c_0101_6 + 55114606679341959335612672/82769237178032843750188895*c_0110\ _6^19 - 495255241357682768408913024/82769237178032843750188895*c_01\ 10_6^17 + 96983651059902542773819248/16553847435606568750037779*c_0\ 110_6^15 - 5461249770048257676739048732/82769237178032843750188895*\ c_0110_6^13 - 15251599456136231904449558/82769237178032843750188895\ *c_0110_6^11 - 20784401187817217932672793987/8276923717803284375018\ 8895*c_0110_6^9 - 20569281892862883677913808688/8276923717803284375\ 0188895*c_0110_6^7 - 19309743019844235228994879462/8276923717803284\ 3750188895*c_0110_6^5 + 1413192267233995504577106457/82769237178032\ 843750188895*c_0110_6^3 - 171165701560914895745403892/8276923717803\ 2843750188895*c_0110_6, c_0110_6^20 - 9*c_0110_6^18 + 143/16*c_0110_6^16 - 6357/64*c_0110_6^14 + 5/4*c_0110_6^12 - 3027/8*c_0110_6^10 - 11769/32*c_0110_6^8 - 11189/32*c_0110_6^6 + 26*c_0110_6^4 - 185/32*c_0110_6^2 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB