Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 863153943] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s300 geometric_solution 4.46507885 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 3 0132 0132 0132 1302 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 -1 1 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.295606561675 0.722983309829 0 1 1 3 0132 1230 3012 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 1 0 0 -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 1.515469062643 1.185047377906 3 0 4 4 0132 0132 3201 0132 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 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 0 0 0 0 -0.329253766479 0.571201944798 2 1 0 0 0132 2310 2031 0132 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 1 0 -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.295606561675 0.722983309829 2 5 2 5 2310 0132 0132 2310 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 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.467256019090 2.482209733570 4 4 5 5 3201 0132 1230 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.185497333881 0.148709438728 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_1_0' : 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_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 321721966770024588685349914289/19099733166644925484591161104*c_0110\ _5^17 + 12971022432588372955761497632/1193733322915307842786947569*\ c_0110_5^16 + 19089811697457042747321839123299/19099733166644925484\ 591161104*c_0110_5^15 + 22818095389397054442099472943581/1909973316\ 6644925484591161104*c_0110_5^14 - 134843675613898474264945485050601\ /19099733166644925484591161104*c_0110_5^13 - 157168460588772531330404723019001/19099733166644925484591161104*c_0\ 110_5^12 + 58178148039553975346757980936967/95498665833224627422955\ 80552*c_0110_5^11 - 55288192060846257848732161002925/95498665833224\ 62742295580552*c_0110_5^10 + 632585650108513620254449723305617/1909\ 9733166644925484591161104*c_0110_5^9 + 663160418735790970643903964003067/9549866583322462742295580552*c_01\ 10_5^8 - 1118606281605711842489779132715415/19099733166644925484591\ 161104*c_0110_5^7 - 1177585092289279403377429151953207/190997331666\ 44925484591161104*c_0110_5^6 - 4264638992936428792998124205193/9549\ 866583322462742295580552*c_0110_5^5 + 61854916664275534781257859802881/9549866583322462742295580552*c_011\ 0_5^4 + 59705525299515610360989096455769/19099733166644925484591161\ 104*c_0110_5^3 - 102844943316224304218313655397/1469210243588071191\ 122397008*c_0110_5^2 - 1119831486545306241125903603943/954986658332\ 2462742295580552*c_0110_5 - 515030430054069131197223847761/19099733\ 166644925484591161104, c_0011_0 - 1, c_0011_4 - 5180915236980044439442/12111373668773351488763*c_0110_5^17 + 4213628889715358352491/12111373668773351488763*c_0110_5^16 + 306571518427591791012151/12111373668773351488763*c_0110_5^15 + 316022917571091231912413/12111373668773351488763*c_0110_5^14 - 2216657550980450941131216/12111373668773351488763*c_0110_5^13 - 2151352631353862443674195/12111373668773351488763*c_0110_5^12 + 2179141549600224336227049/12111373668773351488763*c_0110_5^11 - 2188508940669704739984938/12111373668773351488763*c_0110_5^10 + 10602811820969162895208148/12111373668773351488763*c_0110_5^9 + 19486847078750023547413478/12111373668773351488763*c_0110_5^8 - 21001407574523664926841612/12111373668773351488763*c_0110_5^7 - 15029885490984370673623050/12111373668773351488763*c_0110_5^6 + 1840830518614891692425294/12111373668773351488763*c_0110_5^5 + 1550966017002307375172879/12111373668773351488763*c_0110_5^4 + 694780136501882171876182/12111373668773351488763*c_0110_5^3 - 5468717615568728653972/931644128367180883751*c_0110_5^2 - 42505112562044846872448/12111373668773351488763*c_0110_5 - 4496249267941593311588/12111373668773351488763, c_0101_0 + 83189945104690342915477942/1193733322915307842786947569*c_01\ 10_5^17 - 56810738657989583934251499/1193733322915307842786947569*c\ _0110_5^16 - 4914164673013118913706146005/1193733322915307842786947\ 569*c_0110_5^15 - 5733767093163495642621318046/11937333229153078427\ 86947569*c_0110_5^14 + 33915565347333386131296855408/11937333229153\ 07842786947569*c_0110_5^13 + 38335261087049941787442919238/11937333\ 22915307842786947569*c_0110_5^12 - 23109795917436037552808614459/1193733322915307842786947569*c_0110_5\ ^11 + 35910508240342259928048188272/1193733322915307842786947569*c_\ 0110_5^10 - 173000918931334264138643483183/119373332291530784278694\ 7569*c_0110_5^9 - 324277686414942746754825735480/119373332291530784\ 2786947569*c_0110_5^8 + 259381220441950534611863224116/119373332291\ 5307842786947569*c_0110_5^7 + 230659612652124203868936217748/119373\ 3322915307842786947569*c_0110_5^6 + 79617906058775421363901146697/1193733322915307842786947569*c_0110_5\ ^5 - 8121109822218862630025871728/1193733322915307842786947569*c_01\ 10_5^4 - 22702493376213135428034479305/1193733322915307842786947569\ *c_0110_5^3 + 62414635661493560616443608/91825640224254449445149813\ *c_0110_5^2 - 999058858121000968126926723/1193733322915307842786947\ 569*c_0110_5 + 878609326034449300104956698/119373332291530784278694\ 7569, c_0101_1 + 871793734356375024482329510/1193733322915307842786947569*c_0\ 110_5^17 - 996631652661256553004436844/1193733322915307842786947569\ *c_0110_5^16 - 51227851728678577032276855764/1193733322915307842786\ 947569*c_0110_5^15 - 36289834469281118214895451574/1193733322915307\ 842786947569*c_0110_5^14 + 383154549834347716919534921635/119373332\ 2915307842786947569*c_0110_5^13 + 233060876232877909445520039836/11\ 93733322915307842786947569*c_0110_5^12 - 430376270714307497649045536207/1193733322915307842786947569*c_0110_\ 5^11 + 529347017190342160718417375111/1193733322915307842786947569*\ c_0110_5^10 - 1972474971127074409826691753787/119373332291530784278\ 6947569*c_0110_5^9 - 2629028268685259067601096041381/11937333229153\ 07842786947569*c_0110_5^8 + 4344530908366399598106436387497/1193733\ 322915307842786947569*c_0110_5^7 + 945734753243709617887153541821/1193733322915307842786947569*c_0110_\ 5^6 - 518579715901298044273443904551/1193733322915307842786947569*c\ _0110_5^5 + 108573321832161361457647335179/119373332291530784278694\ 7569*c_0110_5^4 - 156935150322960462251495261978/119373332291530784\ 2786947569*c_0110_5^3 + 1521561500186178015026713404/91825640224254\ 449445149813*c_0110_5^2 - 9616083337537593279794753018/119373332291\ 5307842786947569*c_0110_5 + 4055803818491018447164466837/1193733322\ 915307842786947569, c_0101_3 - 6421413224039656204650/12111373668773351488763*c_0110_5^17 + 6457014386734720689055/12111373668773351488763*c_0110_5^16 + 379303760087788743701210/12111373668773351488763*c_0110_5^15 + 318371305580194886007175/12111373668773351488763*c_0110_5^14 - 2842311429302785947816285/12111373668773351488763*c_0110_5^13 - 2158557493853043288359073/12111373668773351488763*c_0110_5^12 + 3353319442955235541495782/12111373668773351488763*c_0110_5^11 - 3096593848387068848165733/12111373668773351488763*c_0110_5^10 + 13537491930267557871693278/12111373668773351488763*c_0110_5^9 + 21783579431531554082786055/12111373668773351488763*c_0110_5^8 - 31354882327648173227184825/12111373668773351488763*c_0110_5^7 - 14855072296619290113316290/12111373668773351488763*c_0110_5^6 + 7135545890724167354499435/12111373668773351488763*c_0110_5^5 + 2316982969746667264953415/12111373668773351488763*c_0110_5^4 + 443145545674154890100905/12111373668773351488763*c_0110_5^3 - 19912171416714165288517/931644128367180883751*c_0110_5^2 - 43640427236490449246632/12111373668773351488763*c_0110_5 - 171190911480594181994/12111373668773351488763, c_0110_5^18 - c_0110_5^17 - 59*c_0110_5^16 - 50*c_0110_5^15 + 438*c_0110_5^14 + 336*c_0110_5^13 - 487*c_0110_5^12 + 496*c_0110_5^11 - 2147*c_0110_5^10 - 3357*c_0110_5^9 + 4693*c_0110_5^8 + 2128*c_0110_5^7 - 693*c_0110_5^6 - 308*c_0110_5^5 - 151*c_0110_5^4 + 58*c_0110_5^3 + 5*c_0110_5^2 + 3*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB