README for fortune/pred(icates)
===============================

pred.cpp : test the expressino
		(a + sqrt(b)) / d - (a' + sqrt(b')) / d'.

pred2.cpp : test a generalized expressino
		(a + sqrt[2^k](b)) / d - (a' + sqrt[2^k](b')) / d'.

