[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-12 Thread William Stein
On Sun, 11 Feb 2007 23:38:37 -0800, Michel <[EMAIL PROTECTED]> wrote: > > I am wondering what Sage's strategy is with regard to coercions. There are two versions of coercion: 1. implicit canonical coercion (the _coerce_ method), 2. coerce if there is any way that makes any reasonable s

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-12 Thread David Roe
I'm actually working on a slightly different type of interval compare for the p-adics. Lazy p-adics will return an interval as their valuation if they're currently indistinguishable from 0: it will be of the form [a, infinity] or [a, a]. If you compare such intervals, they shrink themselves unti

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-11 Thread Michel
I am wondering what Sage's strategy is with regard to coercions. It thought that it would be reasonable that an element of a RealIntervalField should be coercable into a RealField but this does not seem to be the case. sage: r=RealIntervalField(16)((1,2)) sage: RealField(16)(r) : Unable to conve

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-11 Thread William Stein
On Sun, 11 Feb 2007 00:22:23 -0800, Carl Witty <[EMAIL PROTECTED]> wrote: > That's one of the uses of interval arithmetic. My own use for > interval arithmetic is dealing with algebraic numbers. It is possible > to do exact computations with algebraic numbers, but if the question > you are askin

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-11 Thread William Stein
On Sun, 11 Feb 2007 06:07:17 -0800, David Harvey <[EMAIL PROTECTED]> wrote: > H apart from what's "mathematically correct", there is > another problem I just noticed. > > According to > > http://docs.python.org/ref/customization.html > > it says "The only required property is that objects

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-11 Thread David Harvey
On Feb 11, 2007, at 3:22 AM, Carl Witty wrote: > That's one of the uses of interval arithmetic. My own use for > interval arithmetic is dealing with algebraic numbers. It is possible > to do exact computations with algebraic numbers, but if the question > you are asking is not too difficult th

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-11 Thread Carl Witty
On Feb 10, 6:48 pm, David Harvey <[EMAIL PROTECTED]> wrote: > On Feb 10, 2007, at 9:40 PM, Carl Witty wrote: > > > Some IEEE doubles are exact -- you can't tell just by looking at it > > whether a value of 0.5 is intended to be exact or approximate. > > True. > > Can I check I understand the point

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-10 Thread David Harvey
On Feb 10, 2007, at 9:40 PM, Carl Witty wrote: > Some IEEE doubles are exact -- you can't tell just by looking at it > whether a value of 0.5 is intended to be exact or approximate. True. Can I check I understand the point of real interval arithmetic. I've never done any computational work w

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-10 Thread Carl Witty
On Feb 10, 6:05 pm, David Harvey <[EMAIL PROTECTED]> wrote: > On Feb 10, 2007, at 8:35 PM, Carl Witty wrote: > > > > > I have a design question about interval arithmetic comparisons. > > [...] > > I don't quite know the answer to these questions, but I reckon one > thing: for consistency, you wa

[sage-devel] Re: design question: interval arithmetic comparisons

2007-02-10 Thread David Harvey
On Feb 10, 2007, at 8:35 PM, Carl Witty wrote: > > I have a design question about interval arithmetic comparisons. [...] I don't quite know the answer to these questions, but I reckon one thing: for consistency, you want interval comparison to match up with comparison of reals and comparison