'Two Progress objects are equal if they have identical values.
Implemented in terms of frac()'

def __eq__(self, other):

    if (not isinstance(other, Progress)):
        return False
    (a, b) = self.frac()
    (a2, b2) = other.frac()
    return ((a == a2) and (b == b2))
