I wrote a coprimality test based on the same technique https://gist.github.com/1520171