2013-01-21 04:21:24 +0200 | commented answer | Factorizing a polynomial with two variables Thanks! That settles my second question. |

2013-01-21 04:21:12 +0200 | received badge | ● Supporter (source) |

2013-01-21 03:46:43 +0200 | received badge | ● Editor (source) |

2013-01-21 03:43:03 +0200 | asked a question | Factorizing a polynomial with two variables Hi, I would like to factorize the following polynomial in $t$, with an integer indeterminate $n$, $f_n(t) = 2^n ((n-1)t^n+1)^{n-1} - n^{n-1} t^{(n-1)(n-2)} (t^{n-1} + 1)(t+1)^{n-1}$ I expect it to have a factor of $(t-1)^2$ and hope that after division the polynomial in $t$ would have positive coefficients. Is there any way I can verify this by Sage? I have tried to check that $f_n(t)$ has a factor of $(t-1)^2$ by checking that $f_n(1) = f_n'(1) = 0$. I named my polynomial $f$, and let $h$ be f.derivative(t), and try to find $h(t=1)$. Here's what I got,
Which turns out to be 0 when I verify by hand. However it seems like Sage is unable to detect the redundance in the expression (e.g. $n \times n^{n-2} = n^{n-1}$). Did I do the computation in the "wrong way"? If so, what's the proper way to do it? Thanks! |

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.