Thu, 30 Mar 2006 15:34:56 +0000 jacint tolerance class incorporated
Thu, 30 Mar 2006 15:02:11 +0000 jacint Unionfind changes induced some bugs here. Also some augmentations made.