Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 526287871] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1967 geometric_solution 5.54422726 oriented_manifold CS_known 0.0000000000000002 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.606178936588 0.240974095909 0 2 2 0 3201 0132 1023 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 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 1.228198433815 0.519557172167 3 1 1 4 0132 0132 1023 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410165328064 0.428500992514 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -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.536311606075 0.628723417281 3 6 2 5 2031 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 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.536311606075 0.628723417281 5 3 4 5 3012 0132 0132 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 0 0 0 0 0 0 0 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.214682488798 0.920635510590 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 1 -1 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.406611332395 0.602770839595 ==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_0011_4']), 'c_1100_5' : negation(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' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2738572478440642993926864/23771604399880430896535*c_0101_5^29 + 64071276387656751543715933/23771604399880430896535*c_0101_5^27 - 320074835256941992954885993/23771604399880430896535*c_0101_5^25 - 162564842763872641125650662/23771604399880430896535*c_0101_5^23 + 511546952604662668241691869/4754320879976086179307*c_0101_5^21 + 31868979897640955580641728/4754320879976086179307*c_0101_5^19 - 7104036482720865061503913781/23771604399880430896535*c_0101_5^17 + 2023300528866967294094892131/23771604399880430896535*c_0101_5^15 + 2812538403860191240347352594/23771604399880430896535*c_0101_5^13 + 1985995713465270055939887127/23771604399880430896535*c_0101_5^11 - 2557859630444631159393980746/23771604399880430896535*c_0101_5^9 - 5502827171341347746647338/23771604399880430896535*c_0101_5^7 + 242625849716003779669072312/23771604399880430896535*c_0101_5^5 + 17838676878782405159673998/23771604399880430896535*c_0101_5^3 - 6022316231885942182641637/23771604399880430896535*c_0101_5, c_0011_0 - 1, c_0011_1 - 40476964422565415085264/23771604399880430896535*c_0101_5^28 + 946326838088320384988848/23771604399880430896535*c_0101_5^26 - 4715419330213716782662063/23771604399880430896535*c_0101_5^24 - 2475643082320225386221182/23771604399880430896535*c_0101_5^22 + 7547629843519294978947829/4754320879976086179307*c_0101_5^20 + 594499399699188909477519/4754320879976086179307*c_0101_5^18 - 104756869608667285516509311/23771604399880430896535*c_0101_5^16 + 28126559659169174490049546/23771604399880430896535*c_0101_5^14 + 41495869140944216531610059/23771604399880430896535*c_0101_5^12 + 30382442911091699734009397/23771604399880430896535*c_0101_5^10 - 37110632373729672873911446/23771604399880430896535*c_0101_5^8 - 676163040268591642449583/23771604399880430896535*c_0101_5^6 + 3302806874197701200584922/23771604399880430896535*c_0101_5^4 + 374541152060534292995598/23771604399880430896535*c_0101_5^2 - 46745807225527328372962/23771604399880430896535, c_0011_4 + 13406329596328741799334/23771604399880430896535*c_0101_5^28 - 314924334758542312623603/23771604399880430896535*c_0101_5^26 + 1595450169898617902506163/23771604399880430896535*c_0101_5^24 + 674369004054054946173617/23771604399880430896535*c_0101_5^22 - 2544443533362256604477218/4754320879976086179307*c_0101_5^20 + 55946333307988109443439/4754320879976086179307*c_0101_5^18 + 35882973253508793611845576/23771604399880430896535*c_0101_5^16 - 12651124089502809483311951/23771604399880430896535*c_0101_5^14 - 15526795034163685620320339/23771604399880430896535*c_0101_5^12 - 8780390597113424459626802/23771604399880430896535*c_0101_5^10 + 14202174191883939224484276/23771604399880430896535*c_0101_5^8 + 28953064853907659567253/23771604399880430896535*c_0101_5^6 - 1670156807531719725685322/23771604399880430896535*c_0101_5^4 - 67884522584572341443908/23771604399880430896535*c_0101_5^2 + 36864681013290747343167/23771604399880430896535, c_0011_6 - 11091780624347758864137/23771604399880430896535*c_0101_5^28 + 260427142530249506476259/23771604399880430896535*c_0101_5^26 - 1317725225523599287530584/23771604399880430896535*c_0101_5^24 - 557019191369400693829416/23771604399880430896535*c_0101_5^22 + 2089248853799377590363797/4754320879976086179307*c_0101_5^20 - 37907072687170548863264/4754320879976086179307*c_0101_5^18 - 29099443126758063812316088/23771604399880430896535*c_0101_5^16 + 10483132687545789550725793/23771604399880430896535*c_0101_5^14 + 11504986407647306885087887/23771604399880430896535*c_0101_5^12 + 7167380567572443236162331/23771604399880430896535*c_0101_5^10 - 11495151865553161465113438/23771604399880430896535*c_0101_5^8 + 471317099741213355133336/23771604399880430896535*c_0101_5^6 + 1168311089525217807676966/23771604399880430896535*c_0101_5^4 + 92811134596240385923034/23771604399880430896535*c_0101_5^2 - 37020707143553789392476/23771604399880430896535, c_0101_0 + 7951330855068982204333/23771604399880430896535*c_0101_5^29 - 180396644436938728328996/23771604399880430896535*c_0101_5^27 + 800570567925978984657331/23771604399880430896535*c_0101_5^25 + 1060747952363531971489839/23771604399880430896535*c_0101_5^23 - 1351884623193498213541840/4754320879976086179307*c_0101_5^21 - 1092228764218795597537809/4754320879976086179307*c_0101_5^19 + 17597338280077806872909967/23771604399880430896535*c_0101_5^17 + 7857385513565507067844513/23771604399880430896535*c_0101_5^15 - 5045639730225606827305693/23771604399880430896535*c_0101_5^13 - 11906746939177413069341609/23771604399880430896535*c_0101_5^11 + 899951600167723390572017/23771604399880430896535*c_0101_5^9 + 2451297859956667705393526/23771604399880430896535*c_0101_5^7 + 1089645494077773460168156/23771604399880430896535*c_0101_5^5 - 358537087780165410941181/23771604399880430896535*c_0101_5^3 - 79049519421570692834776/23771604399880430896535*c_0101_5, c_0101_2 + 10994318300059762293486/23771604399880430896535*c_0101_5^29 - 257568625851641068317852/23771604399880430896535*c_0101_5^27 + 1294168994980300114164607/23771604399880430896535*c_0101_5^25 + 586979436469894198176863/23771604399880430896535*c_0101_5^23 - 2032682339179653031194479/4754320879976086179307*c_0101_5^21 - 50564588295048335505716/4754320879976086179307*c_0101_5^19 + 27539364080349464012056299/23771604399880430896535*c_0101_5^17 - 9084811845819209225771339/23771604399880430896535*c_0101_5^15 - 8262999812645695311049181/23771604399880430896535*c_0101_5^13 - 8374503945008497220436748/23771604399880430896535*c_0101_5^11 + 9495466590104171228792944/23771604399880430896535*c_0101_5^9 - 1184645360537187815527163/23771604399880430896535*c_0101_5^7 - 88213514444080498307093/23771604399880430896535*c_0101_5^5 - 45756190299332577356712/23771604399880430896535*c_0101_5^3 - 12157431944576546448757/23771604399880430896535*c_0101_5, c_0101_5^30 - 24*c_0101_5^28 + 131*c_0101_5^26 - 11*c_0101_5^24 - 971*c_0101_5^22 + 505*c_0101_5^20 + 2639*c_0101_5^18 - 2302*c_0101_5^16 - 608*c_0101_5^14 - 106*c_0101_5^12 + 1385*c_0101_5^10 - 551*c_0101_5^8 - 97*c_0101_5^6 + 44*c_0101_5^4 + 7*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB