Thistlethwaite's algorithm