Thu, 30 Mar 2006 15:34:56 +0000tolerance class incorporated
jacint [Thu, 30 Mar 2006 15:34:56 +0000] rev 2024
tolerance class incorporated

Thu, 30 Mar 2006 15:02:11 +0000Unionfind changes induced some bugs here. Also some augmentations made.
jacint [Thu, 30 Mar 2006 15:02:11 +0000] rev 2023
Unionfind changes induced some bugs here. Also some augmentations made.