Symbolic computation of the Aluthge transform.