value range propagation for %

[Ellery Newcomer]

Jerome hit it. Looking for the minimum and maximum (though more precise 
constraints would be nice).

I forgot to say that at the moment, I'm considering x to be fixed 
because it's (approximately) the most difficult case, but x generally 
goes through a range.

On 11/27/2010 12:30 PM, Matthias Walter wrote:
> On 11/27/2010 12:54 PM, Ellery Newcomer wrote:
>> Hello.
>>
>> Today I've been thinking about calculating the range of values for
>>
>> x % y
>>
> You might want to state the problem more precisely. What exactly is a
> "range of values x % y" ? Do you look at the result for x,y in some
> sets? Or is either x or y fixed? From your example I would suppose that
> x shall be fixed and y goes through a range?!
>
> Matthias