bdiv vs redc

Torbjorn Granlund tg at
Tue Jul 17 21:47:46 CEST 2012

nisse at (Niels Möller) writes:

  How do you define hensel square root with remainder? Given a and n, if
  there exists an x such that x^2 = a (mod B^n), that seems like the
  reasonable definition of the square root. But what if no such x exists;
  where should we put the "remainder" in the equation?
I don't think a remainder is meaningful here.


More information about the gmp-devel mailing list