2022-12-31 10:33:25 +0100 received badge ● Notable Question (source) 2022-09-15 09:09:34 +0100 commented answer Simplifying a simple rational expression with indeterminate exponent What I'm saying is that I wish something like canonicalize_radical was among that list. I'm sure there are good reasons 2022-09-15 01:42:26 +0100 commented answer Simplifying a simple rational expression with indeterminate exponent That solves it! Thanks. Makes me wonder why simplify_"full" wouldn't do it for me, though. 2022-09-15 01:41:20 +0100 marked best answer Simplifying a simple rational expression with indeterminate exponent ((sqrt(x)/(x+1))^n * (x+1)^n).simplify_full () returns the given expression as-is, but evidently it should be simplified to sqrt(x)^n. Sage indeed does this if the x+1 is replaced by x or n by a concrete number like 10 (illustrating that sage isn't worried about division by zero, but it's something else). Is there a way to have sage simplify this? 2022-09-15 01:41:19 +0100 received badge ● Scholar (source) 2022-09-15 01:41:19 +0100 received badge ● Supporter (source) 2022-09-14 03:01:36 +0100 edited question Simplifying a simple rational expression with indeterminate exponent Simplifying a simple rational expression with indeterminate exponent ((sqrt(x)/(x+1))^n * (x+1)^n).simplify_full () retu 2022-09-14 03:00:15 +0100 asked a question Simplifying a simple rational expression with indeterminate exponent Simplifying a simple rational expression with indeterminate exponent ((sqrt(x)/(x+1))^n * (x+1)^n).simplify_full () retu 2021-09-27 09:27:34 +0100 received badge ● Popular Question (source) 2020-07-01 11:06:26 +0100 received badge ● Student (source) 2020-07-01 02:07:31 +0100 received badge ● Editor (source) 2020-06-30 22:23:59 +0100 asked a question Simplifying symbolic complex norm Sage's simplifier seems to have trouble expanding the square-absolute value of complex numbers: sage: x,y = var('x,y', domain=RR) sage: (x^2 + y^2 - abs(x + i*y)^2).simplify_full () x^2 + y^2 - abs(x + I*y)^2  How can I ensure sage expands the square-absolute value and simplify this down to zero? I'm aware that using (x + i*y).norm() instead of abs(x + i*y)^2 helps in this particular example, but that solution doesn't generalize. For instance, when I stick expressions involving x, y into vectors and compute the vector norm, the vector norm is expressed in terms of absolute values, so I still need a way to deal with the abs.