Giter Club home page Giter Club logo

Comments (13)

dpsanders avatar dpsanders commented on June 23, 2024 1

We could even have e.g. RR(3) for IntervalBox(-Inf..Inf, -Inf..Inf, -Inf..Inf)

from intervalarithmetic.jl.

lbenet avatar lbenet commented on June 23, 2024

I proposed that name inspired in the ieee standard. There, the entire interval is defined as Interval(-Inf,Inf). I proposed that name since entire is not clear enough. You are right that entireinterval corresponds to the entire real line (as an interval!). Since Interval refers to the one-dimensional case, whereas IntervalBox is for the multidimensional case, I think is ok. Do you have an alternative for the name of that function?

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

I agree that entire is not clear enough.
Maybe entirerealline (ugly) / wholerealline / allreals (I think that is used in some package I have seen)

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

On the other hand, if it is not exported and is IntervalArithmetic.entire(), then maybe it is clear enough, but not very nice to write.

For what it's worth, I like just writing -∞..∞, although it does need quite a lot of typing. Writing -Inf..Inf is actually shorter (in terms of number of keystrokes) than (almost) any option involving the word entire with parentheses ;)

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

How about just reals()?

from intervalarithmetic.jl.

lbenet avatar lbenet commented on June 23, 2024

From the suggestions, those names do not make clear that the result is an interval (which happens to be the whole real line). I agree with you that, from the point of view of the number of keystrokes, -Inf..Inf seems the best option, though I think the standard requires a specific function for that.

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

I see your point. How about realline()? That does sound like a set.

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

Here's an idea: R() or RR()

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

Note that Julia also has "blackboard bold" ("double-struck") letters, e.g. \BbbR<TAB> gives

from intervalarithmetic.jl.

lbenet avatar lbenet commented on June 23, 2024

Yes, let's try it with RR()!

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

Now \bbR. But unfortunately

julia> ℝ = -∞..∞
[-∞, ∞]

julia> ℝ^3
[-∞, ∞]

(of course). Although, we do have

julia> ℝ × ℝ
[-∞, ∞] × [-∞, ∞]

from intervalarithmetic.jl.

dpsanders avatar dpsanders commented on June 23, 2024

And

julia> IntervalBox(ℝ, 4)
[-∞, ∞] × [-∞, ∞] × [-∞, ∞] × [-∞, ∞]

from intervalarithmetic.jl.

Kolaru avatar Kolaru commented on June 23, 2024

entireinterval is fine enough, symbols will be exported in a separate module in 1.0-dev, see #270

from intervalarithmetic.jl.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.