more playing around with some polynomial arithmetic. Not sure the GCD algorithm for polys is working