bdiv vs redc

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


nisse at lysator.liu.se (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.

-- 
Torbjörn


More information about the gmp-devel mailing list