Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But it's often natural to consider 3-manifolds *equipped with an orientation*, and so my question is:

Question 1:Is there an algorithmin the literaturethat determines whether or not a pair of oriented Haken 3-manifolds M and N areorientedlyhomeomorphic?

By Haken's Algorithm, we can reduce to the case in which M and N are (unorientedly) homeomorphic, and so the question can be reduced to:

Question 2:Is there an algorithmin the literaturethat determines whether or not an orientable Haken 3-manifold M admits an orientation-reversing self-homeomorphism?

**Notes:**

Note the words 'in the literature'. I don't really doubt that this algorithm exists, but the details seem quite complicated, particularly in the non-geometric case, so I hope that someone will be able to supply a reference. A very short argument would also be nice. Answers of the form 'I don't know, but I'm sure it can be done if you work out each geometric case individually and then think hard enough about the JSJ decomposition', while appreciated, would be less useful.

The hyperbolic case can be deduced from Sela's solution to the homeomorphism problem, which also computes the automorphism group. I've no doubt the other non-Haken cases can be handled similarly. Hence my interest in the Haken case.

It may be that a simple modification of Haken's Algorithm handles the oriented case. This isn't at all clear to me, but I would be very interested to hear if it's true.

**(added later)**I would also be happy to confirm that this question is `open' (in the sense that an answer is not in the literature, rather than that the answer is in doubt)---I very much suspect that this is the case. An authoritative pronouncement by someone who knows the literature very well would therefore be a valid answer.