Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1393741702] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1529 geometric_solution 5.32410282 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.466527833170 0.213062647212 0 2 2 0 3201 0132 1023 0132 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 -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 1.142213703623 0.274324360988 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.800169064917 0.452205833305 2 5 6 4 0132 0132 0132 2031 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 -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.518575938207 0.505848448862 6 3 2 5 2310 1302 0132 1023 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 1 -1 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.518575938207 0.505848448862 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 -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 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.025635808443 1.049947449781 6 6 4 3 1302 2031 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 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.523916343833 0.487368729290 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], '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' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 463464434443562306896095439/156012837111060242012762496*c_0101_3^14 - 1080692293456274413748046281/78006418555530121006381248*c_0101_3^\ 13 - 526198553982202386570826943/39003209277765060503190624*c_0101_\ 3^12 - 5440477498904581215460155403/39003209277765060503190624*c_01\ 01_3^11 + 2237673784574579568428730551/52004279037020080670920832*c\ _0101_3^10 + 5345575286398234729925270221/7429182719574297238702976\ *c_0101_3^9 + 114155336868518176180691337383/7800641855553012100638\ 1248*c_0101_3^8 - 353587616443612916345800752545/156012837111060242\ 012762496*c_0101_3^7 - 97947444513495219905313596403/13001069759255\ 020167730208*c_0101_3^6 - 263356690893981638212081838387/1560128371\ 11060242012762496*c_0101_3^5 - 32387393619264263833107071213/156012\ 837111060242012762496*c_0101_3^4 + 590149961391178738853659405387/156012837111060242012762496*c_0101_3\ ^3 + 77589898749361164496097282679/52004279037020080670920832*c_010\ 1_3^2 + 132137772170757627157060937827/156012837111060242012762496*\ c_0101_3 + 3218790141395125521942375583/156012837111060242012762496\ , c_0011_0 - 1, c_0011_1 - 6974791382054243875595/116080979993348394354734*c_0101_3^14 - 16947209829725523674872/58040489996674197177367*c_0101_3^13 - 18521485821563908601129/58040489996674197177367*c_0101_3^12 - 164676084103960710884446/58040489996674197177367*c_0101_3^11 + 39640889030285798474951/116080979993348394354734*c_0101_3^10 + 1754562300075271194950189/116080979993348394354734*c_0101_3^9 + 1868456128150925925810184/58040489996674197177367*c_0101_3^8 - 4892839086120581459909163/116080979993348394354734*c_0101_3^7 - 9564042017937014010609142/58040489996674197177367*c_0101_3^6 - 6456179157536804818261581/116080979993348394354734*c_0101_3^5 + 1026182273790647266571151/116080979993348394354734*c_0101_3^4 + 8231843226514900832316141/116080979993348394354734*c_0101_3^3 + 4953710397451157915610583/116080979993348394354734*c_0101_3^2 + 2044541643556184378167833/116080979993348394354734*c_0101_3 + 296059457604800803025083/116080979993348394354734, c_0011_4 + 132012380175261976148383/928647839946787154837872*c_0011_6*c\ _0101_3^14 + 326938370511104264674529/464323919973393577418936*c_00\ 11_6*c_0101_3^13 + 195214383522878703269715/23216195998669678870946\ 8*c_0011_6*c_0101_3^12 + 1594536278897225421821123/2321619599866967\ 88709468*c_0011_6*c_0101_3^11 - 139485812852785397428869/9286478399\ 46787154837872*c_0011_6*c_0101_3^10 - 32410822974427628375287185/928647839946787154837872*c_0011_6*c_0101\ _3^9 - 37352126440262551942766951/464323919973393577418936*c_0011_6\ *c_0101_3^8 + 81370466810918755692624497/928647839946787154837872*c\ _0011_6*c_0101_3^7 + 91137235492933903721934037/2321619599866967887\ 09468*c_0011_6*c_0101_3^6 + 177654977355972599049362515/92864783994\ 6787154837872*c_0011_6*c_0101_3^5 + 30711066821070867716435981/928647839946787154837872*c_0011_6*c_0101\ _3^4 - 183628018530073072133666331/928647839946787154837872*c_0011_\ 6*c_0101_3^3 - 110596879933224841407786469/928647839946787154837872\ *c_0011_6*c_0101_3^2 - 56262547529724360411800163/92864783994678715\ 4837872*c_0011_6*c_0101_3 - 6958200933718204149263023/9286478399467\ 87154837872*c_0011_6, c_0011_6^2 + 35049507084125050105151/1857295679893574309675744*c_0101_3\ ^14 + 76587289310396093191497/928647839946787154837872*c_0101_3^13 + 26725830023568970888103/464323919973393577418936*c_0101_3^12 + 396865947265629069713139/464323919973393577418936*c_0101_3^11 - 972161875599815231809749/1857295679893574309675744*c_0101_3^10 - 8517103960222947436470081/1857295679893574309675744*c_0101_3^9 - 7163124483280885628157591/928647839946787154837872*c_0101_3^8 + 32629118195921145360499537/1857295679893574309675744*c_0101_3^7 + 20263969255763870237933961/464323919973393577418936*c_0101_3^6 - 12994066358780814306581853/1857295679893574309675744*c_0101_3^5 - 6200619210452627765039683/1857295679893574309675744*c_0101_3^4 - 27490688952456296791627995/1857295679893574309675744*c_0101_3^3 - 10032921555615647244184565/1857295679893574309675744*c_0101_3^2 - 4661697308453456249767475/1857295679893574309675744*c_0101_3 - 1115693521794749807309487/1857295679893574309675744, c_0101_0 + 55694517456656452271127/464323919973393577418936*c_0101_3^14 + 146162981187882679698733/232161959986696788709468*c_0101_3^13 + 96110304629725035284925/116080979993348394354734*c_0101_3^12 + 666060531832470543144819/116080979993348394354734*c_0101_3^11 + 625378307882783861587195/464323919973393577418936*c_0101_3^10 - 14894936839439830672475201/464323919973393577418936*c_0101_3^9 - 17583205469545132126185799/232161959986696788709468*c_0101_3^8 + 31905769465835690373733281/464323919973393577418936*c_0101_3^7 + 44166559634014280627180127/116080979993348394354734*c_0101_3^6 + 97745994422023442828622627/464323919973393577418936*c_0101_3^5 - 36054596578381264076278011/464323919973393577418936*c_0101_3^4 - 78172314045935875760105515/464323919973393577418936*c_0101_3^3 - 49020998058336461110247061/464323919973393577418936*c_0101_3^2 - 14248348738298144359040891/464323919973393577418936*c_0101_3 - 989551398549959076458527/464323919973393577418936, c_0101_2 + 2321328651008605749353/232161959986696788709468*c_0101_3^14 + 9842249212928109398719/116080979993348394354734*c_0101_3^13 + 12361298512474965958266/58040489996674197177367*c_0101_3^12 + 33775713542537255319893/58040489996674197177367*c_0101_3^11 + 360378172786005354294385/232161959986696788709468*c_0101_3^10 - 805435045218732072182047/232161959986696788709468*c_0101_3^9 - 1689766524644091485185247/116080979993348394354734*c_0101_3^8 - 1857517401298400409225069/232161959986696788709468*c_0101_3^7 + 3624789850284066097109136/58040489996674197177367*c_0101_3^6 + 22723675863542457874219157/232161959986696788709468*c_0101_3^5 - 4273275550971951721972941/232161959986696788709468*c_0101_3^4 - 8939681122623952591912769/232161959986696788709468*c_0101_3^3 - 7604439683682394903617379/232161959986696788709468*c_0101_3^2 - 2002900097493482034786245/232161959986696788709468*c_0101_3 + 45874110284406817532495/232161959986696788709468, c_0101_3^15 + 5*c_0101_3^14 + 6*c_0101_3^13 + 48*c_0101_3^12 + c_0101_3^11 - 252*c_0101_3^10 - 571*c_0101_3^9 + 625*c_0101_3^8 + 2837*c_0101_3^7 + 1313*c_0101_3^6 - 2*c_0101_3^5 - 1184*c_0101_3^4 - 862*c_0101_3^3 - 394*c_0101_3^2 - 92*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB