Let :
var("a, b, c, j", domain="integer")
assume(a>0, b>0, c>0)
ex=(a¨b)^c
I want to get the bionomial expansion of ex, i. e. sum(binomial(c, j)*a^j*b^(c-j), j, 0, c). I seem to rember that such a way exists in Sage, but for dear life I'm unable to remember it.
Can some kind soul come to the rescue of my aging neurons ?
