On Fri, Sep 18, 2009 at 7:06 AM, Jason Grout
<jason-s...@creativetrax.com> wrote:
>
> Robert Bradshaw wrote:
>> On Sep 17, 2009, at 3:16 PM, David Harvey wrote:
>>
>>> I disagree with this change. One of the main purposes of interval
>>> arithmetic is to be able to take a function f(x) that operates on
>>> floats, and pass in intervals instead, to determine the possible range
>>> of outputs a given input interval could produce. This change violates
>>> that paradigm. The author of f(x) shouldn't need to care whether they
>>> are operating on floats or intervals.
>>
>> +1. The smallest possible value for floor is a different thing (and
>> contains less information) than all possible values of floor, and
>> "all possible values" characterizes the interval arithmetic operations.
>>
>
>
> +1 to this reasoning, which means -1 for changing round() and friends.
>
> Jason
>

I feel like there is currently no natural way to get integers from
intervals, which makes them quite frustrating and awkward to work
with.  I don't really care if the "natural way" is called "round", but
I want *something*.

sage: a = RIF(1.5,2.3)
sage: a.<tab>
a.abs                   a.csch                  a.overlaps
a.absolute_diameter     a.db                    a.parent
a.additive_order        a.diameter              a.prec
a.alea                  a.dump                  a.real
a.algdep                a.dumps                 a.relative_diameter
a.arccos                a.exp                   a.rename
a.arccosh               a.exp2                  a.reset_name
a.arccoth               a.floor                 a.save
a.arccsch               a.fp_rank_diameter      a.sec
a.arcsech               a.intersection          a.sech
a.arcsin                a.is_NaN                a.simplest_rational
a.arcsinh               a.is_exact              a.sin
a.arctan                a.is_int                a.sinh
a.arctanh               a.is_nilpotent          a.sqrt
a.base_extend           a.is_one                a.square
a.base_ring             a.is_unit               a.square_root
a.category              a.is_zero               a.str
a.ceil                  a.log                   a.subs
a.ceiling               a.log10                 a.substitute
a.center                a.log2                  a.tan
a.contains_zero         a.lower                 a.tanh
a.cos                   a.magnitude             a.union
a.cosh                  a.mignitude             a.upper

I see no way to easily get 1 2 or 3 from a.

William

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to