Мнимая часть комплексного числа: функция Im

Тоже совсем незамысловатая функция, возвращающая мнимую часть комплексного числа.

Im[3 + 4I]4

{Im[a+bI],ComplexExpand[Im[a+b  I]])

{Im[a]+Re[b] ,b>

Заметьте, что в случае Im[a+b I] вещественность а и b не предполагается — в отличие от случая, когда используется функция ComplexExpand.