[seqfan] Re: Comment in A095810
techsubs at pearceneptune.co.uk
Mon Oct 30 20:46:20 CET 2017
I think it would be better expressed by changing "find" to "can
determine". So, it doesn't mean that 6 is a power of 2. Instead, it means
that you can't determine that a number ending in 6 is not a power of 2.
(Whereas you can determine that a number ending in 7 is not a power of 2.)
On Mon, October 30, 2017 4:39 pm, David Corneth wrote:
> Hi all,
> There is a comment written in 2004 by Francisco Salinas in A095810
> <https://oeis.org/A095810> that might need some more editing I think.
> "If we have only the last k digits of a large integer N, you find that N
> not a power of 2 if and only if the number given by those digits is
> divisible by 5 OR not a multiple of 2^k OR a value > 2^k*(5^k-1)."
> I think it would mean that 6 is a power of 2; it's a multiple of 2 and not
> divisible by 5 (The last test doesn't change the verdict as 10^k has k+1
> digits. 10^k - 2^k < N < 10^k isn't divisible by 2^k hence is excluded by
> the first test.).
> So, what to do with the comment?
> Seqfan Mailing list - http://list.seqfan.eu/
More information about the SeqFan