Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 3103335544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0389 geometric_solution 4.45640031 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 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 2.378619353618 0.123444769029 0 2 2 0 0132 0132 3201 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 -1 0 1 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.984054444039 0.378311778977 1 1 3 3 2310 0132 0132 3201 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 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.293195183132 0.238161579135 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953920520243 0.767321822356 3 6 5 5 0132 0132 3012 1230 0 0 0 0 0 -1 1 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235061940200 1.141300759274 4 4 6 3 3012 1230 0132 0132 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 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 1.235061940200 1.141300759274 6 4 6 5 2031 0132 1302 0132 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 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.405222762435 0.604599340453 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 351937515250699499959508054942123/11516166997474457777680559059008*\ c_0101_5^27 - 3092827491440243370978958885867621/575808349873722888\ 8840279529504*c_0101_5^25 + 67315138501783021187963213781413581/575\ 8083498737228888840279529504*c_0101_5^23 - 49335541352538399672253027007431899/274194452320820423278108549024*\ c_0101_5^21 + 1497834549170851917240738197838444655/164516671392492\ 2539668651294144*c_0101_5^19 - 277260604710699994457207561866933739\ 75/11516166997474457777680559059008*c_0101_5^17 + 6735564786705399584794706541142949395/14395208746843072222100698823\ 76*c_0101_5^15 - 45802844975590960449897805202964069049/57580834987\ 37228888840279529504*c_0101_5^13 + 3758467028224482047536900323312099845/35988021867107680555251747059\ 4*c_0101_5^11 - 26011955879259657989252588326224262985/287904174936\ 8614444420139764752*c_0101_5^9 + 5425179047829868442465335766850014\ 4499/11516166997474457777680559059008*c_0101_5^7 - 15484928139390475169980911645682333873/1151616699747445777768055905\ 9008*c_0101_5^5 + 160483502378623542404869837896669575/959680583122\ 871481473379921584*c_0101_5^3 - 896790680297575844083788258451187/3\ 59880218671076805552517470594*c_0101_5, c_0011_0 - 1, c_0011_3 - 9242944730236555170818528559/959680583122871481473379921584*\ c_0101_5^26 + 95500739677868901245325911919/47984029156143574073668\ 9960792*c_0101_5^24 - 2013069162963904772035736510189/4798402915614\ 35740736689960792*c_0101_5^22 + 4653020622618910715735510083761/685\ 48613080205105819527137256*c_0101_5^20 - 62732646281074229699708125799611/137097226160410211639054274512*c_0\ 101_5^18 + 1512585176149385300982474294416175/959680583122871481473\ 379921584*c_0101_5^16 - 835397093075016956758044415576321/239920145\ 780717870368344980396*c_0101_5^14 + 2985245649601468728846987915198749/479840291561435740736689960792*c\ _0101_5^12 - 1136628717338359200566453371376815/1199600728903589351\ 84172490198*c_0101_5^10 + 2498194354914544524790942227621817/239920\ 145780717870368344980396*c_0101_5^8 - 6764300227843596726599771930207559/959680583122871481473379921584*c\ _0101_5^6 + 2491658644865300906931523416352233/95968058312287148147\ 3379921584*c_0101_5^4 - 50033048708038923204141247077421/1199600728\ 90358935184172490198*c_0101_5^2 + 647317973127634326228839538862/59\ 980036445179467592086245099, c_0011_5 + 2048626570055425696844542742091/9596805831228714814733799215\ 84*c_0101_5^26 - 17966848360736411656603522334643/47984029156143574\ 0736689960792*c_0101_5^24 + 391224295262505375194071765430825/47984\ 0291561435740736689960792*c_0101_5^22 - 859611704019820215836729963085653/68548613080205105819527137256*c_0\ 101_5^20 + 8660128515461921998736185017696887/137097226160410211639\ 054274512*c_0101_5^18 - 159498577316354204333766894295507435/959680\ 583122871481473379921584*c_0101_5^16 + 77308810383954975880845338048843609/239920145780717870368344980396*\ c_0101_5^14 - 262638388980810251237097515551135777/4798402915614357\ 40736689960792*c_0101_5^12 + 85879008426588364623223037439241139/11\ 9960072890358935184172490198*c_0101_5^10 - 147643328765809018560820407670742169/239920145780717870368344980396\ *c_0101_5^8 + 306148436291079807162885080422482835/9596805831228714\ 81473379921584*c_0101_5^6 - 87532637350374943880339147602579549/959\ 680583122871481473379921584*c_0101_5^4 + 1412212248863230865644927948639433/119960072890358935184172490198*c\ _0101_5^2 - 17834492753217206327273693377114/5998003644517946759208\ 6245099, c_0101_0 - 3201384732356659081763191866329/1919361166245742962946759843\ 168*c_0101_5^27 + 28048375680582253522911071182999/9596805831228714\ 81473379921584*c_0101_5^25 - 610880403409365469974679842402887/9596\ 80583122871481473379921584*c_0101_5^23 + 1341796095315602210329364958758235/137097226160410211639054274512*c\ _0101_5^21 - 13486895284734901647168050055476325/274194452320820423\ 278108549024*c_0101_5^19 + 247714257037134879215808705833417501/191\ 9361166245742962946759843168*c_0101_5^17 - 59938678156399354786710084797550515/239920145780717870368344980396*\ c_0101_5^15 + 406970845833191773427927661402462811/9596805831228714\ 81473379921584*c_0101_5^13 - 33191534124062584792149237426028952/59\ 980036445179467592086245099*c_0101_5^11 + 227233805751892393157326864584306307/479840291561435740736689960792\ *c_0101_5^9 - 468177503684033241748857537474589041/1919361166245742\ 962946759843168*c_0101_5^7 + 132712976036638395037333071004016091/1\ 919361166245742962946759843168*c_0101_5^5 - 4230702663703404134632407924026683/479840291561435740736689960792*c\ _0101_5^3 + 25914269357161391499393390572329/1199600728903589351841\ 72490198*c_0101_5, c_0101_1 - 298024501806661112124185097007/23992014578071787036834498039\ 6*c_0101_5^26 + 5219779075166681514505998090359/2399201457807178703\ 68344980396*c_0101_5^24 - 28423779353839406289072625158166/59980036\ 445179467592086245099*c_0101_5^22 + 62423141913652976914574984011264/8568576635025638227440892157*c_010\ 1_5^20 - 1253546683065875687874703055930425/34274306540102552909763\ 568628*c_0101_5^18 + 11496497795835254972193511417416127/1199600728\ 90358935184172490198*c_0101_5^16 - 44471745600818687488444695567390121/239920145780717870368344980396*\ c_0101_5^14 + 37731797943366027013107196146160387/11996007289035893\ 5184172490198*c_0101_5^12 - 49181599979038379289485487682974727/119\ 960072890358935184172490198*c_0101_5^10 + 20995684502110919105815877039807013/59980036445179467592086245099*c\ _0101_5^8 - 43121134377168355693355123463059951/2399201457807178703\ 68344980396*c_0101_5^6 + 6090662778934911108975322061354979/1199600\ 72890358935184172490198*c_0101_5^4 - 1550289760370598233651664247687491/239920145780717870368344980396*c\ _0101_5^2 + 9716188476943202359083919155697/59980036445179467592086\ 245099, c_0101_2 + 999989413885461256425578053181/95968058312287148147337992158\ 4*c_0101_5^27 - 4391950927702851588702354406283/2399201457807178703\ 68344980396*c_0101_5^25 + 191204306946121238168784720074701/4798402\ 91561435740736689960792*c_0101_5^23 - 420340489910272235072312800042013/68548613080205105819527137256*c_0\ 101_5^21 + 4249881001994034953834848350422781/137097226160410211639\ 054274512*c_0101_5^19 - 78615831797909430797960991991777539/9596805\ 83122871481473379921584*c_0101_5^17 + 76406852475263178072324214008536435/479840291561435740736689960792*\ c_0101_5^15 - 129926277124867810296403857815945967/4798402915614357\ 40736689960792*c_0101_5^13 + 85275604778987764091358771007072517/23\ 9920145780717870368344980396*c_0101_5^11 - 73825396559338617213616490350732739/239920145780717870368344980396*\ c_0101_5^9 + 154583413702091266653695729379359805/95968058312287148\ 1473379921584*c_0101_5^7 - 44710807697547336958928616524341197/9596\ 80583122871481473379921584*c_0101_5^5 + 2921725394317736018853729012864703/479840291561435740736689960792*c\ _0101_5^3 - 18823313074049905122069967628879/1199600728903589351841\ 72490198*c_0101_5, c_0101_5^28 - 18*c_0101_5^26 + 390*c_0101_5^24 - 6050*c_0101_5^22 + 32291*c_0101_5^20 - 91457*c_0101_5^18 + 186732*c_0101_5^16 - 325782*c_0101_5^14 + 453208*c_0101_5^12 - 442412*c_0101_5^10 + 281929*c_0101_5^8 - 111399*c_0101_5^6 + 25144*c_0101_5^4 - 2672*c_0101_5^2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB