The function msqrt will compute the square root of x . It finds an integer y such that  if possible, otherwise it returns FAIL.

The command with(numtheory,msqrt) allows the use of the abbreviated form of this command.