search

stuartlangridge / gnome-shell-clock-override

Override the Gnome Shell clock with a new time format or text of your choice. Works with new versions of Shell such as 3.18
MIT License
89 stars 33 forks source link

Vulgar fraction for :00 to :07 is ⁰/₀ which is mathematically wrong #31

Open brandl-muc opened 5 years ago

brandl-muc commented 5 years ago

If you really want 0 as the numerator then please choose a non-zero denominator, e.g. 1. But I believe using 1/1 as in the range :53 to :59 would be more natural.

brandl-muc commented 5 years ago

Consequence of writing tests and getting unexpected results...

da2x commented 5 years ago

This is done intentionally to differentiate the start of the hour from the end of the hour. It sneaks in a little more precision. It also has to be a fraction to maintain a low variable text width. This is based on a digital physical slow clock design, but I can’t find the exact model right now.

brandl-muc commented 5 years ago

Ok, I can see that one wants to differentiate the begin and end of an hour cases. But then please let's make it 0/1 instead of 0/0. (otherwise I'll simply change this locally ;) )

brandl-muc commented 3 years ago

More than a year later I'll give it another try. The problem with 0/0 (divide zero by zero) is that it makes mathematicians cringe since the expression result is undefined. Hence the request to show 0/1 or 0/4 or just 0 instead. Basically anything with a denominator not 0.

Otherwise feel free to close the issue, leaving it around will not help either.