-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
WIP – tau: add MathConst{:τ} #4864
Conversation
One problem with adding these constants is that they can increase the risk of unexpected behaviour when redefined. I feel that most people expect |
I’m sorry, but WAT. Are there people seriously using τ out there instead of 2pi?? |
Far be it from me to be a pi-imperialist (pimperialist?), but I'm really not convinced of the utility of adding tau to Unless someone can demonstrate that this is actually gaining traction in scientific computing, people who want this should just define it themselves. |
I agree with Jiahao. |
Well, that's why it's a pull request and why I didn't spend much time on it :-) |
/me wonders if it’s April 1 in the Nordic calendar... |
I have to agree with @jiahao too. |
I used to be skeptical of the tau thing, but it really does make so much more sense than pi. |
I used to be skeptical of Imperial units, but it really still does not make more sense than metric. |
I'd love to hear your reasoning sometime, Stefan. I still react to tau as "hipster nonsense". |
Basically, making the unit number of radians a full circle just makes life easier almost everywhere you look. A half circle is just awkward. For example if you know |
+1 for tau. I've never used it, but it's starting to feel quite compelling. |
I do agree that tau is generally better than pi, but I'm not sure it warrants inclusion in Base. |
This is the most common argument presented in favor of tau. However, that argument works only in an odd number of dimensions. That pernicious factor of 2 alternates between appearing and disappearing between relations involving circles (spheres, hyperspheres) in odd- and even-dimensions. You can see this most clearly in the formulae for the area and volume for these N-spheres. For any given dimension, the factor of 2 will show up in exactly one formula for either the area or the volume, but not both. Of course, you can hide this with the special functions of your choice, but it doesn’t change the fundamental mathematical reason for the factor of 2 showing up. |
Mathematical bikeshedding aside, there was a suggestion made in #4862 to introduce |
It’s also amazing how much virtual ink has been spilled on this: tauday vs pimanifesto |
So you want to have a MathConst called "twoπ" but you're not interested in τ? Um, what? |
Hello! Apologies for messing in this old ticket, but it's dear to my heart. In honor of tomorrow's tau day, I was going to do pretty much this same pull request. I've found tau to be so useful I'm using it exclusively while doing anything trigonometry related. Sadly, redefinition dance is becoming bothersome. I see that the biggest objection in the previous discussion is conflicting names. Here's a proposal for avoiding that:
(Addition: the Github comment processing corrupts the italic tau. Sorry about that.) |
This won't help, since it normalizes to GREEK SMALL LETTER TAU (U+03C4):
|
Hi Antti, I suggest making a package, which includes the definition of tau and some This should satisfy the skeptics (they can ignore the package), and still (A general non-Base math constants package would be better, perhaps, but I Cheers, Kevin On Friday, June 27, 2014, Antti Rasinen notifications@github.com wrote:
|
I'm still unconvinced. |
I use tau often enough as a time constant that this would bug the crap outta me. |
I think the way to go here is to create a |
Using MATHEMATICAL ITALIC SMALL TAU (U+1D70F) would be very wrong, because in mathematical notation, italic letters denote variables (see e.g. ISO 80000-1), whereas standard constants should be written in an upright font. And the proposed For the same reason, the constants and constant functions π, e, sin, log, etc. are written in upright font. (I know, this practice has sadly eroded somewhat for π and e thanks to TeX, which initially lacked an upright Greek font for π, and generally made typesetting non-italic symbol names rather cumbersome in its math mode.) Generally, I find the idea of tau far more appealing than 2π, but in mathematics, new notational conventions take about 300 years to catch on. If only Euler had thought of this earlier ... |
Tau.jl is now available since the merge of JuliaLang/METADATA.jl#1048 :) |
There's an issue with code evaluation order here. Maybe I need a toplevel block or something like that. Anyway, thought I'd throw this out there for comment before spending any more time on it. Do we want
τ
andtau
?