-
Notifications
You must be signed in to change notification settings - Fork 70
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
entireinterval
is not a very good name
#8
Comments
I proposed that name inspired in the ieee standard. There, the |
I agree that |
On the other hand, if it is not exported and is For what it's worth, I like just writing |
How about just |
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, |
I see your point. How about |
Here's an idea: R() or RR() |
We could even have e.g. |
Note that Julia also has "blackboard bold" ("double-struck") letters, e.g. |
Yes, let's try it with |
Now
(of course). Although, we do have
|
And
|
|
It is the entire real line.
cc @lbenet
The text was updated successfully, but these errors were encountered: