Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2530675629] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2426 geometric_solution 5.77480726 oriented_manifold CS_known 0.0000000000000001 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 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.504111978836 0.281597698949 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 1 -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.983973083082 0.562960227552 1 4 3 5 0132 0132 3012 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 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.978011517923 0.870894318258 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 1 -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.978011517923 0.870894318258 4 2 3 4 3012 0132 1023 1230 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 1 0 -1 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.426149650144 0.730606332747 6 6 2 3 0132 3201 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 0.324842274762 1.089848468766 5 6 5 6 0132 2310 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.751832513866 0.560426115524 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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' : 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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1662938263415856622161735861/37175552317285273143528256*c_0101_0*c_\ 0101_3^15 + 5386319759036054315194374349/18587776158642636571764128\ *c_0101_0*c_0101_3^14 - 46381222327706667264409667951/3717555231728\ 5273143528256*c_0101_0*c_0101_3^13 + 365399264825959480571846387329/37175552317285273143528256*c_0101_0*\ c_0101_3^12 + 202297709908643996061716791109/3717555231728527314352\ 8256*c_0101_0*c_0101_3^11 - 271652566316951091333386522939/46469440\ 39660659142941032*c_0101_0*c_0101_3^10 + 43610007089542713800218304049/4646944039660659142941032*c_0101_0*c_\ 0101_3^9 + 935266810419625593072015226805/9293888079321318285882064\ *c_0101_0*c_0101_3^8 - 130499021568704166142773546655/3717555231728\ 5273143528256*c_0101_0*c_0101_3^7 - 1991511080250872591308777382109/37175552317285273143528256*c_0101_0\ *c_0101_3^6 - 30193198151502849767709902489/11617360099151647857352\ 58*c_0101_0*c_0101_3^5 + 3949583382417970938673791343/1161736009915\ 164785735258*c_0101_0*c_0101_3^4 + 557479028475701714329163107735/37175552317285273143528256*c_0101_0*\ c_0101_3^3 + 1609694056179885378015041311/1161736009915164785735258\ *c_0101_0*c_0101_3^2 + 12449180878832450977986387823/92938880793213\ 18285882064*c_0101_0*c_0101_3 - 3382693799883655765955048827/232347\ 2019830329571470516*c_0101_0, c_0011_0 - 1, c_0011_1 - 3880366631049764785832829/9293888079321318285882064*c_0101_3\ ^15 - 12495981390058542225403593/4646944039660659142941032*c_0101_3\ ^14 + 109249902827231031974876639/9293888079321318285882064*c_0101_\ 3^13 - 856157259588201823445377265/9293888079321318285882064*c_0101\ _3^12 - 442261045865566094219654445/9293888079321318285882064*c_010\ 1_3^11 + 638282365009072521223197719/1161736009915164785735258*c_01\ 01_3^10 - 62007937469281115151558226/580868004957582392867629*c_010\ 1_3^9 - 2199585747305544477859340541/2323472019830329571470516*c_01\ 01_3^8 + 635259141514062908433354599/9293888079321318285882064*c_01\ 01_3^7 + 4797028678813698082659851037/9293888079321318285882064*c_0\ 101_3^6 + 131543951973884240742992052/580868004957582392867629*c_01\ 01_3^5 - 56035348743024643825324435/1161736009915164785735258*c_010\ 1_3^4 - 1345206025138577233251745919/9293888079321318285882064*c_01\ 01_3^3 - 9434440132276678813687079/1161736009915164785735258*c_0101\ _3^2 - 23463293699833030280782061/2323472019830329571470516*c_0101_\ 3 + 8669684315664571405588299/580868004957582392867629, c_0011_3 + 6202965069072345378676427/18587776158642636571764128*c_0101_\ 0*c_0101_3^15 + 10010548308918441914936849/464694403966065914294103\ 2*c_0101_0*c_0101_3^14 - 173983072219242911829895509/18587776158642\ 636571764128*c_0101_0*c_0101_3^13 + 1366542932335263932980832021/18587776158642636571764128*c_0101_0*c_\ 0101_3^12 + 725364959953693284050339745/18587776158642636571764128*\ c_0101_0*c_0101_3^11 - 4069067974606084992293605101/929388807932131\ 8285882064*c_0101_0*c_0101_3^10 + 185709582269751910538457347/23234\ 72019830329571470516*c_0101_0*c_0101_3^9 + 3496878302999292483381260747/4646944039660659142941032*c_0101_0*c_0\ 101_3^8 - 840834985563665390311594601/18587776158642636571764128*c_\ 0101_0*c_0101_3^7 - 7450014755313734680668256445/185877761586426365\ 71764128*c_0101_0*c_0101_3^6 - 1734218054758738050519219479/9293888\ 079321318285882064*c_0101_0*c_0101_3^5 + 32934434362949930366195457/1161736009915164785735258*c_0101_0*c_010\ 1_3^4 + 2137840519033297101060298809/18587776158642636571764128*c_0\ 101_0*c_0101_3^3 + 77282683266007610966686661/929388807932131828588\ 2064*c_0101_0*c_0101_3^2 + 47886420039790279372043137/4646944039660\ 659142941032*c_0101_0*c_0101_3 - 28213895295099304407444039/2323472\ 019830329571470516*c_0101_0, c_0011_5 - 1703704616446393682906787/18587776158642636571764128*c_0101_\ 0*c_0101_3^15 - 2734703294367070016053397/4646944039660659142941032\ *c_0101_0*c_0101_3^14 + 47924065133013193649507053/1858777615864263\ 6571764128*c_0101_0*c_0101_3^13 - 378447996265932954834543821/18587\ 776158642636571764128*c_0101_0*c_0101_3^12 - 178760151444671813256244649/18587776158642636571764128*c_0101_0*c_0\ 101_3^11 + 1091928496158952206763409653/9293888079321318285882064*c\ _0101_0*c_0101_3^10 - 60228779835704840671490617/232347201983032957\ 1470516*c_0101_0*c_0101_3^9 - 884634360452663884276967811/464694403\ 9660659142941032*c_0101_0*c_0101_3^8 + 149597500906878226548482929/18587776158642636571764128*c_0101_0*c_0\ 101_3^7 + 1740511260650701618198722741/18587776158642636571764128*c\ _0101_0*c_0101_3^6 + 517193334059260843614250783/929388807932131828\ 5882064*c_0101_0*c_0101_3^5 - 4075581787118185846212302/58086800495\ 7582392867629*c_0101_0*c_0101_3^4 - 526554089130519319156170465/18587776158642636571764128*c_0101_0*c_0\ 101_3^3 - 32017880526614224704752805/9293888079321318285882064*c_01\ 01_0*c_0101_3^2 - 6971680837807580199316621/46469440396606591429410\ 32*c_0101_0*c_0101_3 + 7838052041525600740905819/232347201983032957\ 1470516*c_0101_0, c_0101_0^2 + 3880366631049764785832829/9293888079321318285882064*c_0101\ _3^15 + 12495981390058542225403593/4646944039660659142941032*c_0101\ _3^14 - 109249902827231031974876639/9293888079321318285882064*c_010\ 1_3^13 + 856157259588201823445377265/9293888079321318285882064*c_01\ 01_3^12 + 442261045865566094219654445/9293888079321318285882064*c_0\ 101_3^11 - 638282365009072521223197719/1161736009915164785735258*c_\ 0101_3^10 + 62007937469281115151558226/580868004957582392867629*c_0\ 101_3^9 + 2199585747305544477859340541/2323472019830329571470516*c_\ 0101_3^8 - 635259141514062908433354599/9293888079321318285882064*c_\ 0101_3^7 - 4797028678813698082659851037/9293888079321318285882064*c\ _0101_3^6 - 131543951973884240742992052/580868004957582392867629*c_\ 0101_3^5 + 56035348743024643825324435/1161736009915164785735258*c_0\ 101_3^4 + 1345206025138577233251745919/9293888079321318285882064*c_\ 0101_3^3 + 9434440132276678813687079/1161736009915164785735258*c_01\ 01_3^2 + 23463293699833030280782061/2323472019830329571470516*c_010\ 1_3 - 9250552320622153798455928/580868004957582392867629, c_0101_1 + 282095714001343837965717/1161736009915164785735258*c_0101_3^\ 15 + 7199679952360116597973041/4646944039660659142941032*c_0101_3^1\ 4 - 16132563657077069486043809/2323472019830329571470516*c_0101_3^1\ 3 + 250490498370068113355234353/4646944039660659142941032*c_0101_3^\ 12 + 115282781616346361871121249/4646944039660659142941032*c_0101_3\ ^11 - 1505845153327029463375428039/4646944039660659142941032*c_0101\ _3^10 + 46456976261375544683231907/580868004957582392867629*c_0101_\ 3^9 + 326551583262068314962063085/580868004957582392867629*c_0101_3\ ^8 - 44251629237733387934410515/580868004957582392867629*c_0101_3^7 - 1483355684115360620889632807/4646944039660659142941032*c_0101_3^6 - 534532642987768060531337705/4646944039660659142941032*c_0101_3^5 + 24450005813589867490789012/580868004957582392867629*c_0101_3^4 + 104082348768309643158347551/1161736009915164785735258*c_0101_3^3 + 11944248932406267534599147/4646944039660659142941032*c_0101_3^2 + 3077996305461428747557342/580868004957582392867629*c_0101_3 - 11053304346997770899661113/1161736009915164785735258, c_0101_3^16 + 6*c_0101_3^15 - 31*c_0101_3^14 + 233*c_0101_3^13 + 17*c_0101_3^12 - 1368*c_0101_3^11 + 836*c_0101_3^10 + 2164*c_0101_3^9 - 1171*c_0101_3^8 - 1173*c_0101_3^7 + 8*c_0101_3^6 + 356*c_0101_3^5 + 299*c_0101_3^4 - 132*c_0101_3^3 + 16*c_0101_3^2 - 48*c_0101_3 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB