Re: _basecase or _sec? [

2013-05-03 Thread Torbjorn Granlund
ni...@lysator.liu.se (Niels Möller) writes: I think Newton analogues exist only when b is a power, not in general. And the most important case is prime b. I think it exists also for b can be factorised into prime powers... I am not familiar with the Jebelean (or Möller!) criteria for

Re: _basecase or _sec? [

2013-05-03 Thread Niels Möller
Torbjorn Granlund t...@gmplib.org writes: I think it exists also for b can be factorised into prime powers... Sure, any factorization can be used with CRT, but it's only powers which allow newton-like hensel-lifts, as far as I'm aware. And the most important case is when b is prime. You

Re: _basecase or _sec? [

2013-05-03 Thread Torbjorn Granlund
[I fixed the grammar in my self-quotations, hopefully not against some netiqette] We don't need to insist on keeping operands positive. Hmm. In general, one needs to replace the largest number, to make progres. But I guess in the case of many high bits being equal, it might not