On May 13, 2009, at 11:23 AM, Carl Witty wrote:
> On Wed, May 13, 2009 at 11:02 AM, Robert Bradshaw
> wrote:
>>
>> I recently noticed that complex interval fields have a very different
>> notion of equality than real interval fields. For RIF, a != b if a is
>> *definitely* not equal to b, but CI
On Wed, May 13, 2009 at 11:02 AM, Robert Bradshaw
wrote:
>
> I recently noticed that complex interval fields have a very different
> notion of equality than real interval fields. For RIF, a != b if a is
> *definitely* not equal to b, but CIF just compares endpoints. I think
> we should change CIF
