How is that doubling and not squaring? Is that a domain-specific use of the word doubling that's different from the everyday one? Normally "doubling" would be the function f(x) = 2x. Click to expand..