Yes, and you also need to add it to the polyclasses file, and finally to polytools.  

Alternately, we could add a `diophantine` option to the already existing gcd methods, and just modify the algorithm a little to handle it.