Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 4122241264] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3332 geometric_solution 6.46872793 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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.363532105337 0.217860910895 2 0 3 0 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612560791926 0.995045015420 1 4 5 6 0132 0132 0132 0132 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 0 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.538038836432 1.184053064034 6 5 4 1 3201 1023 3201 0132 0 0 0 0 0 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 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.538038836432 1.184053064034 3 2 6 6 2310 0132 1302 2031 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 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.156752431219 1.009590245081 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581494274136 0.599421721033 4 4 2 3 2031 1302 0132 2310 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 -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.511955612451 0.821937736475 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : 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' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 212047097688223745977/266078531289898982400*c_0101_0*c_0101_3^13 + 2060878520212096377799/66519632822474745600*c_0101_0*c_0101_3^12 - 276568484507692587719/88692843763299660800*c_0101_0*c_0101_3^11 + 179227494412876470517/2078738525702335800*c_0101_0*c_0101_3^10 + 28705662870383785894787/88692843763299660800*c_0101_0*c_0101_3^9 + 32345823102766876700603/66519632822474745600*c_0101_0*c_0101_3^8 + 153523256935255819313233/266078531289898982400*c_0101_0*c_0101_3^7 + 55511165331664237675787/33259816411237372800*c_0101_0*c_0101_3^6 + 49086207232433479506121/13303926564494949120*c_0101_0*c_0101_3^5 + 7731315143689762255159/4157477051404671600*c_0101_0*c_0101_3^4 - 1898507300372031233/6588711650403600*c_0101_0*c_0101_3^3 - 554155210204820668919/554330273520622880*c_0101_0*c_0101_3^2 + 14375353940523847309/166299082056186864*c_0101_0*c_0101_3 + 253143227983406421051/692912841900778600*c_0101_0, c_0011_0 - 1, c_0011_1 + 813999608963883/443464218816498304*c_0101_3^13 - 7881954646652671/110866054704124576*c_0101_3^12 - 1113601865597047/443464218816498304*c_0101_3^11 - 48777149821471627/221732109408249152*c_0101_3^10 - 340387405022843231/443464218816498304*c_0101_3^9 - 35144201672803467/27716513676031144*c_0101_3^8 - 769744422399497641/443464218816498304*c_0101_3^7 - 944110022253686271/221732109408249152*c_0101_3^6 - 1028878847283941739/110866054704124576*c_0101_3^5 - 90729059209120125/13858256838015572*c_0101_3^4 - 11546547320767/5490593042003*c_0101_3^3 + 30236608558309709/13858256838015572*c_0101_3^2 + 10327327355793227/6929128419007786*c_0101_3 - 660253160034600/3464564209503893, c_0011_3 - 15437212705163/221732109408249152*c_0101_0*c_0101_3^13 + 48558848571597/13858256838015572*c_0101_0*c_0101_3^12 - 885516504202627/27716513676031144*c_0101_0*c_0101_3^11 + 2094263921072009/55433027352062288*c_0101_0*c_0101_3^10 - 20360573082242067/221732109408249152*c_0101_0*c_0101_3^9 - 10370373353406201/55433027352062288*c_0101_0*c_0101_3^8 - 26926334235900335/110866054704124576*c_0101_0*c_0101_3^7 - 15733276907491387/55433027352062288*c_0101_0*c_0101_3^6 - 63199201727104579/55433027352062288*c_0101_0*c_0101_3^5 - 131448420988449921/55433027352062288*c_0101_0*c_0101_3^4 - 860602429279/10981186084006*c_0101_0*c_0101_3^3 - 2343029948728084/3464564209503893*c_0101_0*c_0101_3^2 + 4992214040504133/6929128419007786*c_0101_0*c_0101_3 - 1623176870618407/3464564209503893*c_0101_0, c_0011_6 + 2413298115276383/886928437632996608*c_0101_0*c_0101_3^13 - 23597337641417499/221732109408249152*c_0101_0*c_0101_3^12 + 31900176650382623/886928437632996608*c_0101_0*c_0101_3^11 - 68580025061861041/221732109408249152*c_0101_0*c_0101_3^10 - 922472101507435647/886928437632996608*c_0101_0*c_0101_3^9 - 318705288810914409/221732109408249152*c_0101_0*c_0101_3^8 - 1512877953893541691/886928437632996608*c_0101_0*c_0101_3^7 - 1227056417600484783/221732109408249152*c_0101_0*c_0101_3^6 - 2558202272320179305/221732109408249152*c_0101_0*c_0101_3^5 - 230888594519544721/55433027352062288*c_0101_0*c_0101_3^4 + 30108956959679/43924744336024*c_0101_0*c_0101_3^3 + 49620604105642845/27716513676031144*c_0101_0*c_0101_3^2 - 15314746339459263/13858256838015572*c_0101_0*c_0101_3 - 1924971967769909/6929128419007786*c_0101_0, c_0101_0^2 - 813999608963883/443464218816498304*c_0101_3^13 + 7881954646652671/110866054704124576*c_0101_3^12 + 1113601865597047/443464218816498304*c_0101_3^11 + 48777149821471627/221732109408249152*c_0101_3^10 + 340387405022843231/443464218816498304*c_0101_3^9 + 35144201672803467/27716513676031144*c_0101_3^8 + 769744422399497641/443464218816498304*c_0101_3^7 + 944110022253686271/221732109408249152*c_0101_3^6 + 1028878847283941739/110866054704124576*c_0101_3^5 + 90729059209120125/13858256838015572*c_0101_3^4 + 11546547320767/5490593042003*c_0101_3^3 - 30236608558309709/13858256838015572*c_0101_3^2 - 10327327355793227/6929128419007786*c_0101_3 - 2804311049469293/3464564209503893, c_0101_1 + 121806508369319/443464218816498304*c_0101_3^13 - 2451486158085773/221732109408249152*c_0101_3^12 + 6945906386938845/443464218816498304*c_0101_3^11 - 5923606842164885/221732109408249152*c_0101_3^10 - 36794459872695503/443464218816498304*c_0101_3^9 + 5716203596058317/221732109408249152*c_0101_3^8 + 10788604187273083/443464218816498304*c_0101_3^7 - 67403074465710167/221732109408249152*c_0101_3^6 - 9397908999730349/27716513676031144*c_0101_3^5 + 74127708749126583/55433027352062288*c_0101_3^4 + 21846019435589/21962372168012*c_0101_3^3 + 4443409038313893/13858256838015572*c_0101_3^2 + 3729411055020181/6929128419007786*c_0101_3 + 12335601810625/3464564209503893, c_0101_3^14 - 39*c_0101_3^13 + 9*c_0101_3^12 - 119*c_0101_3^11 - 385*c_0101_3^10 - 593*c_0101_3^9 - 733*c_0101_3^8 - 2109*c_0101_3^7 - 4492*c_0101_3^6 - 2228*c_0101_3^5 - 256*c_0101_3^4 + 1184*c_0101_3^3 - 160*c_0101_3^2 - 192*c_0101_3 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB