Definition talk:Divisor Counting Function

From ProofWiki
Jump to navigation Jump to search

"Tau Function" has other uses in mathematics. "Divisor Function" is indeed ambiguous, so I propose "Divisor Counting Function".--barto (talk) 14:50, 1 September 2017 (EDT)

Such as? Haven't met them apart from Ramanujan Tau Function which has its own name. --prime mover (talk) 14:57, 1 September 2017 (EDT)
Ugh, yes I see, there are one or two others. I am not looking forward to the refactoring job if this is decided. --prime mover (talk) 15:32, 1 September 2017 (EDT)
For the moment, I'll just make it a synonym. --barto (talk) 15:43, 1 September 2017 (EDT)

I have renamed the page, and the redirecting of the links will happen in due course. --prime mover (talk) 04:35, 2 March 2020 (EST)