Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2564359237] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0871 geometric_solution 4.77845977 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.675858503991 0.342769577274 0 2 2 0 3201 0132 1023 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 1 -2 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 1.014590109835 0.711492368805 3 1 1 4 0132 0132 1023 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 -1 0 1 -1 0 2 -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.382432764142 0.195168671805 2 4 5 4 0132 1302 0132 0321 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 1 0 -1 1 0 0 -1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768725656674 0.671637989774 5 3 2 3 0132 0321 0132 2031 0 0 0 0 0 1 -1 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 -1 0 0 0 1 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768725656674 0.671637989774 4 6 6 3 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933033008066 0.323462606350 5 5 6 6 2310 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 1.434579020284 0.381628802078 ==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' : 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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], '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_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1990655858914208733314015024514966/23406113574567966011318895479789\ *c_0101_6^16 + 4044358928024011584679421392474872/23406113574567966\ 011318895479789*c_0101_6^15 - 89484321858067914206860423217846565/2\ 3406113574567966011318895479789*c_0101_6^14 - 984265269265292082346787061020313985/234061135745679660113188954797\ 89*c_0101_6^13 - 3477477772854115502254202780963176251/234061135745\ 67966011318895479789*c_0101_6^12 - 7820942470100531680286287061842272107/23406113574567966011318895479\ 789*c_0101_6^11 - 15033748885155197444488533346093462513/2340611357\ 4567966011318895479789*c_0101_6^10 - 13617378818201760551677850403607949366/2340611357456796601131889547\ 9789*c_0101_6^9 + 7051230577825290271312636648682874118/23406113574\ 567966011318895479789*c_0101_6^8 + 21876331909158810740551544818941061155/2340611357456796601131889547\ 9789*c_0101_6^7 + 12041339831468868504468341087991711521/2340611357\ 4567966011318895479789*c_0101_6^6 - 1714017819756582101860369454821871825/23406113574567966011318895479\ 789*c_0101_6^5 - 4871287011909156341400274086557395426/234061135745\ 67966011318895479789*c_0101_6^4 - 290999221122067339255013064970321\ 8505/23406113574567966011318895479789*c_0101_6^3 - 732856800101387905102352252060965795/234061135745679660113188954797\ 89*c_0101_6^2 + 145442812684974739599836683188839518/23406113574567\ 966011318895479789*c_0101_6 + 80370589384568184913095372371788341/2\ 3406113574567966011318895479789, c_0011_0 - 1, c_0011_1 - 223969018056776897773391137906/32966357147278825368054782365\ 9*c_0101_6^16 - 238670731099383480799249016967/32966357147278825368\ 0547823659*c_0101_6^15 + 10305700385781882173935948658902/329663571\ 472788253680547823659*c_0101_6^14 + 100788326710650635827179010011688/329663571472788253680547823659*c_\ 0101_6^13 + 293550172365511438403213745874808/329663571472788253680\ 547823659*c_0101_6^12 + 593264208872354711335342401871495/329663571\ 472788253680547823659*c_0101_6^11 + 1110468244904941866812735037632239/329663571472788253680547823659*c\ _0101_6^10 + 444888512136324689694599630757159/32966357147278825368\ 0547823659*c_0101_6^9 - 1249112749881698458065847226493617/32966357\ 1472788253680547823659*c_0101_6^8 - 1249948456735917691711783510116003/329663571472788253680547823659*c\ _0101_6^7 - 97162249031348024127395689001267/3296635714727882536805\ 47823659*c_0101_6^6 + 313323006975189198080566223597317/32966357147\ 2788253680547823659*c_0101_6^5 + 233349120461957152351624966156188/\ 329663571472788253680547823659*c_0101_6^4 + 88595467401589036753009940716932/329663571472788253680547823659*c_0\ 101_6^3 - 9365738313807659561914897111614/3296635714727882536805478\ 23659*c_0101_6^2 - 8571475100000784581197530675619/3296635714727882\ 53680547823659*c_0101_6 + 396027847956984690729905187936/3296635714\ 72788253680547823659, c_0011_4 + 336768757526018428981477523734/32966357147278825368054782365\ 9*c_0101_6^16 + 391027465737817185315540054715/32966357147278825368\ 0547823659*c_0101_6^15 - 15482245488646037392693439354865/329663571\ 472788253680547823659*c_0101_6^14 - 153037182449611427197899996608856/329663571472788253680547823659*c_\ 0101_6^13 - 454919941306189205608798466599491/329663571472788253680\ 547823659*c_0101_6^12 - 925617780484291537964662735361699/329663571\ 472788253680547823659*c_0101_6^11 - 1733589430001173191551274498396653/329663571472788253680547823659*c\ _0101_6^10 - 786719580783725099597272423238140/32966357147278825368\ 0547823659*c_0101_6^9 + 1892363724963937087005812212395405/32966357\ 1472788253680547823659*c_0101_6^8 + 2056399998392007515359810402826750/329663571472788253680547823659*c\ _0101_6^7 + 229004254185957226173450741781790/329663571472788253680\ 547823659*c_0101_6^6 - 502903191117614204875683210113827/3296635714\ 72788253680547823659*c_0101_6^5 - 386625210098729358622816344223047\ /329663571472788253680547823659*c_0101_6^4 - 151611462243492568292683249915759/329663571472788253680547823659*c_\ 0101_6^3 + 11885267866999632529116914492291/32966357147278825368054\ 7823659*c_0101_6^2 + 15575540282167442864142491785091/3296635714727\ 88253680547823659*c_0101_6 - 206648900961039537697929561543/3296635\ 71472788253680547823659, c_0101_0 + 8264902177383004914357137929/329663571472788253680547823659*\ c_0101_6^16 - 680221309127824665623166794/3296635714727882536805478\ 23659*c_0101_6^15 - 385785288218717778974412420787/3296635714727882\ 53680547823659*c_0101_6^14 - 3282800153765576907754367103156/329663\ 571472788253680547823659*c_0101_6^13 - 6775989342385163807690928963667/329663571472788253680547823659*c_01\ 01_6^12 - 11308397052757426338655195695287/329663571472788253680547\ 823659*c_0101_6^11 - 19900963873110883892995393064792/3296635714727\ 88253680547823659*c_0101_6^10 + 22800602692300567104364390349372/32\ 9663571472788253680547823659*c_0101_6^9 + 50470520615547409377103848488880/329663571472788253680547823659*c_0\ 101_6^8 - 143169100275664247333962050142/32966357147278825368054782\ 3659*c_0101_6^7 - 30128687843436360932677458905015/3296635714727882\ 53680547823659*c_0101_6^6 - 10400036638328248591177138391553/329663\ 571472788253680547823659*c_0101_6^5 + 4426745709897328091326211065701/329663571472788253680547823659*c_01\ 01_6^4 + 4368371165366489942473158709463/32966357147278825368054782\ 3659*c_0101_6^3 + 1018485860516262043398605722580/32966357147278825\ 3680547823659*c_0101_6^2 - 711437036605981223553802837458/329663571\ 472788253680547823659*c_0101_6 - 390963576703856069616084282071/329\ 663571472788253680547823659, c_0101_3 + 393840233569026326852676319272/32966357147278825368054782365\ 9*c_0101_6^16 + 456461538674231893604406936467/32966357147278825368\ 0547823659*c_0101_6^15 - 18100837720745472487260673768510/329663571\ 472788253680547823659*c_0101_6^14 - 178935767484280909352966250945521/329663571472788253680547823659*c_\ 0101_6^13 - 531915798624514237019146815515392/329663571472788253680\ 547823659*c_0101_6^12 - 1083716849209801216195897252034289/32966357\ 1472788253680547823659*c_0101_6^11 - 2029775513059531946829762400821175/329663571472788253680547823659*c\ _0101_6^10 - 925132240302469015144492041581775/32966357147278825368\ 0547823659*c_0101_6^9 + 2197529947849819412487842993132833/32966357\ 1472788253680547823659*c_0101_6^8 + 2411775691086032195084523940223974/329663571472788253680547823659*c\ _0101_6^7 + 279447790510714663780753216815527/329663571472788253680\ 547823659*c_0101_6^6 - 588703498697505120120034480688725/3296635714\ 72788253680547823659*c_0101_6^5 - 449321865499381510694655200071856\ /329663571472788253680547823659*c_0101_6^4 - 179487599083639071104919662579044/329663571472788253680547823659*c_\ 0101_6^3 + 11881981410245483449974397754118/32966357147278825368054\ 7823659*c_0101_6^2 + 18584684614825613662397259690740/3296635714727\ 88253680547823659*c_0101_6 - 456007855983844273822180609417/3296635\ 71472788253680547823659, c_0101_5 - 7165299126288106781861030961/329663571472788253680547823659*\ c_0101_6^16 - 1687029394286156562101161897/329663571472788253680547\ 823659*c_0101_6^15 + 328605167166582085363408557381/329663571472788\ 253680547823659*c_0101_6^14 + 2948107521834143719507154148059/32966\ 3571472788253680547823659*c_0101_6^13 + 7058495429560245841489057382624/329663571472788253680547823659*c_01\ 01_6^12 + 14285523780437782416209216793808/329663571472788253680547\ 823659*c_0101_6^11 + 27311037400823424413748498675345/3296635714727\ 88253680547823659*c_0101_6^10 - 921657448182789734947192293132/3296\ 63571472788253680547823659*c_0101_6^9 - 25159551688862224866268947511125/329663571472788253680547823659*c_0\ 101_6^8 - 11105822123660776715627856467875/329663571472788253680547\ 823659*c_0101_6^7 - 8567736153698078674975865219706/329663571472788\ 253680547823659*c_0101_6^6 - 2162201733684110057908535171799/329663\ 571472788253680547823659*c_0101_6^5 + 6502978719191335083003655679974/329663571472788253680547823659*c_01\ 01_6^4 + 2500743495572515942593399703938/32966357147278825368054782\ 3659*c_0101_6^3 + 859370338934514200260043773726/329663571472788253\ 680547823659*c_0101_6^2 + 513973477096561193144481608111/3296635714\ 72788253680547823659*c_0101_6 - 204523990437382264095418618988/3296\ 63571472788253680547823659, c_0101_6^17 + 2*c_0101_6^16 - 45*c_0101_6^15 - 493*c_0101_6^14 - 1732*c_0101_6^13 - 3881*c_0101_6^12 - 7450*c_0101_6^11 - 6647*c_0101_6^10 + 3673*c_0101_6^9 + 10837*c_0101_6^8 + 5789*c_0101_6^7 - 957*c_0101_6^6 - 2406*c_0101_6^5 - 1403*c_0101_6^4 - 339*c_0101_6^3 + 77*c_0101_6^2 + 38*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB