I am trying to evaluate an expression using "Abs" but for some reason it does not simplify beyond a point. Am I doing something wrong in here? My command is:
Refine[Abs[k1*I + 1], Element[k1, PositiveReals]]
The output I am getting:
Abs[1 + I k1]
I expected:
Sqrt[1+k1^2]
