All Questions

Let $M \in \mathrm{SL}(2, \mathbb{Z}).$ Is there an efficient algorithm to write $M$ as a commutator (group commutator, not algebra commutator) [or fail if this is impossible]? Addendum: answering ...