id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
11803,Fails with closed intervals fails in some border cases.,shewitt.au@…,Joachim Faulhaber,"ICL seems not to handle sets that contain the maximum element of the domain type. I have attached a file that shows the problem.

The problem is in the fie \boost\icl\concept\interval.hpp (line 1145) in the left_subtract.

It should look like this:

{{{
template<class Type>
typename boost::enable_if<is_static_closed<Type>, Type>::type
left_subtract(Type right, const Type& left_minuend)
{
    if(exclusive_less(left_minuend, right))
        return right; 
    else if(upper_less_equal(right, left_minuend))
        return identity_element<Type>::value();

    return construct<Type>(domain_next<Type>(upper(left_minuend)), upper(right));
}
}}}

Where as it actually looks like this:

{{{
template<class Type>
typename boost::enable_if<is_static_closed<Type>, Type>::type
left_subtract(Type right, const Type& left_minuend)
{
    if(exclusive_less(left_minuend, right))
        return right; 

    return construct<Type>(domain_next<Type>(upper(left_minuend)), upper(right));
}
}}}

The right subtract function is ok.

The comment for the left_subtract functions is also wrong.
""Return the difference: The part of \c right '''right''' of \c left_minuend.""

The word ""right"" in BOLD should read ""left"".",Bugs,closed,To Be Determined,ICL,Boost 1.59.0,Showstopper,fixed,,