Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 3221103466] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1537 geometric_solution 5.33110654 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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.177454894972 0.130244724931 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 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 -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 2.823319477308 2.595202725673 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 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.174873187836 0.479740510726 2 5 4 6 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266716028751 0.661328098250 3 6 2 5 2031 2310 0132 2310 0 0 0 0 0 -1 0 1 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 1 -1 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.266716028751 0.661328098250 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 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 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.475476753244 1.300566609696 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513198436110 0.888266156777 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], '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_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(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_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 167364579842809561493658067916/14858350043717963839826489722827*c_0\ 101_5^26 + 4733295556166414919462601196737/148583500437179638398264\ 89722827*c_0101_5^24 - 80243796982478905038108242432699/19811133391\ 623951786435319630436*c_0101_5^22 + 1805008878899331682811187351315395/59433400174871855359305958891308\ *c_0101_5^20 - 8879576060975827177550473913863567/59433400174871855\ 359305958891308*c_0101_5^18 + 15090486525973258893575786634444343/2\ 9716700087435927679652979445654*c_0101_5^16 - 24464881280742435875468164408376637/1981113339162395178643531963043\ 6*c_0101_5^14 + 138488910532631921095149670938050833/59433400174871\ 855359305958891308*c_0101_5^12 - 2256645260732253002244158214429305\ 39/59433400174871855359305958891308*c_0101_5^10 + 94629282090522219462922785921571357/1981113339162395178643531963043\ 6*c_0101_5^8 - 217377202114371805719676684884369953/594334001748718\ 55359305958891308*c_0101_5^6 + 9085021088723584993886168977652673/9\ 905566695811975893217659815218*c_0101_5^4 - 6022667292257700328809376177192405/59433400174871855359305958891308\ *c_0101_5^2 + 365616102941101679485957405855273/2971670008743592767\ 9652979445654, c_0011_0 - 1, c_0011_2 + 17580310904084133447499580783/900506063255634172110696346838\ *c_0101_5^26 - 208971731650442708502322806735/450253031627817086055\ 348173419*c_0101_5^24 + 4493932685291258036847226471075/90050606325\ 5634172110696346838*c_0101_5^22 - 14225250904185085624681562232820/\ 450253031627817086055348173419*c_0101_5^20 + 59314480922895662477906311709235/450253031627817086055348173419*c_0\ 101_5^18 - 170833236612590795406621787976389/4502530316278170860553\ 48173419*c_0101_5^16 + 722626126008210831165001916964149/9005060632\ 55634172110696346838*c_0101_5^14 - 1294811927196144380700137618546125/900506063255634172110696346838*c\ _0101_5^12 + 1912518154828783537354532820775731/9005060632556341721\ 10696346838*c_0101_5^10 - 997294637693658393543812691616963/4502530\ 31627817086055348173419*c_0101_5^8 + 562973309657116071402008511608235/450253031627817086055348173419*c_\ 0101_5^6 - 330005747158405782612129515190777/9005060632556341721106\ 96346838*c_0101_5^4 + 49762772699514656544856911550585/900506063255\ 634172110696346838*c_0101_5^2 - 1114290723253444708970622797595/450\ 253031627817086055348173419, c_0011_4 - 1406568728472141168234367176/450253031627817086055348173419*\ c_0101_5^26 + 98288907860510219063352245648/13507590948834512581660\ 44520257*c_0101_5^24 - 1031067415051981695721437779255/135075909488\ 3451258166044520257*c_0101_5^22 + 6324946934602589330300994585658/1\ 350759094883451258166044520257*c_0101_5^20 - 25344656069578204188947727520759/1350759094883451258166044520257*c_\ 0101_5^18 + 23088723594976609988646459861831/4502530316278170860553\ 48173419*c_0101_5^16 - 137852550456465124879768114762898/1350759094\ 883451258166044520257*c_0101_5^14 + 238056848785336692244610685628543/1350759094883451258166044520257*c\ _0101_5^12 - 110475471991070399601200989426111/45025303162781708605\ 5348173419*c_0101_5^10 + 296483058427336506518077616903471/13507590\ 94883451258166044520257*c_0101_5^8 - 94749061836482002919395290771784/1350759094883451258166044520257*c_\ 0101_5^6 + 2779315381757766782778016489690/135075909488345125816604\ 4520257*c_0101_5^4 + 1020463212998212775646256162453/13507590948834\ 51258166044520257*c_0101_5^2 - 96830334060775816613064325183/135075\ 9094883451258166044520257, c_0011_6 + 51044237998324452385109638237/270151818976690251633208904051\ 4*c_0101_5^26 - 201770642985441877507555889777/45025303162781708605\ 5348173419*c_0101_5^24 + 12981427731345576695531572728469/270151818\ 9766902516332089040514*c_0101_5^22 - 13651530703105152087652122634564/450253031627817086055348173419*c_0\ 101_5^20 + 170093663048777581067828779722971/1350759094883451258166\ 044520257*c_0101_5^18 - 487555344780450355412693440510781/135075909\ 4883451258166044520257*c_0101_5^16 + 2052354951138658369997619544554889/2701518189766902516332089040514*\ c_0101_5^14 - 3669400407941834242189914992237803/270151818976690251\ 6332089040514*c_0101_5^12 + 5398349130880741227433264726012717/2701\ 518189766902516332089040514*c_0101_5^10 - 2788995637880201093862536917665500/1350759094883451258166044520257*\ c_0101_5^8 + 514142773408314504643185064717824/45025303162781708605\ 5348173419*c_0101_5^6 - 909617545177161057198434419168475/270151818\ 9766902516332089040514*c_0101_5^4 + 48260400854816506922685009594803/900506063255634172110696346838*c_0\ 101_5^2 - 3329411749673077919477380974973/1350759094883451258166044\ 520257, c_0101_0 + 274208524599793889069338474625/54030363795338050326641780810\ 28*c_0101_5^27 - 1638477918224922924645253893779/135075909488345125\ 8166044520257*c_0101_5^25 + 70924697091903248922769184976013/540303\ 6379533805032664178081028*c_0101_5^23 - 113164053001465534177981973169193/1350759094883451258166044520257*c\ _0101_5^21 + 158867630099412820074856357912279/45025303162781708605\ 5348173419*c_0101_5^19 - 1390453703878387093541542286389196/1350759\ 094883451258166044520257*c_0101_5^17 + 11936874797275215018627122723430181/5403036379533805032664178081028\ *c_0101_5^15 - 7197901796179415866245851016684477/18010121265112683\ 44221392693676*c_0101_5^13 + 32324720867762407748269616400899555/54\ 03036379533805032664178081028*c_0101_5^11 - 17384518097900948801892913437774383/2701518189766902516332089040514\ *c_0101_5^9 + 5329493022866010472227711262969405/135075909488345125\ 8166044520257*c_0101_5^7 - 7182798684725720745460033385806163/54030\ 36379533805032664178081028*c_0101_5^5 + 1328696224273144773577917946435241/5403036379533805032664178081028*\ c_0101_5^3 - 8252533134172650772874655681869/4502530316278170860553\ 48173419*c_0101_5, c_0101_1 + 23274486708960234772247985629/270151818976690251633208904051\ 4*c_0101_5^26 - 273633501976633713849087656123/13507590948834512581\ 66044520257*c_0101_5^24 + 1935467865897365515549672064763/900506063\ 255634172110696346838*c_0101_5^22 - 18067507163647282372373130953614/1350759094883451258166044520257*c_\ 0101_5^20 + 73713110914028779115527400126054/1350759094883451258166\ 044520257*c_0101_5^18 - 206255044152452940765972120889357/135075909\ 4883451258166044520257*c_0101_5^16 + 281046609617115253029737948308413/900506063255634172110696346838*c_\ 0101_5^14 - 1476721980998563010681430129699163/27015181897669025163\ 32089040514*c_0101_5^12 + 2109346748208281213836891969884353/270151\ 8189766902516332089040514*c_0101_5^10 - 337175719102166096359142870190677/450253031627817086055348173419*c_\ 0101_5^8 + 430933591239027406161014144872069/1350759094883451258166\ 044520257*c_0101_5^6 - 35353171687575905186846559884671/90050606325\ 5634172110696346838*c_0101_5^4 - 20215641197339970342019094954741/2\ 701518189766902516332089040514*c_0101_5^2 + 3172085108593907050495046652053/1350759094883451258166044520257, c_0101_5^28 - 24*c_0101_5^26 + 261*c_0101_5^24 - 1676*c_0101_5^22 + 7112*c_0101_5^20 - 20948*c_0101_5^18 + 45445*c_0101_5^16 - 82791*c_0101_5^14 + 125123*c_0101_5^12 - 137482*c_0101_5^10 + 88868*c_0101_5^8 - 32451*c_0101_5^6 + 6685*c_0101_5^4 - 652*c_0101_5^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB