Algorithms for diophantine equations by Weger