1: \begin{abstract}

2: We show that the compressed word problem in a finitely generated fully residually free group ($\F$-group)

3: is decidable in polynomial time, and use

4: this result to show that the word problem in the automorphism group of an $\F$-group is decidable in

5: polynomial time.

6: \end{abstract}

7: