Changes http://wiki.axiom-developer.org/313SqrtX0ShouldNotGive1InRealClosedField/diff -- The file algebra/reclos.spad.pamphlet (line 369) contains the definition
sqrt(x,n) == n = 0 => 1 ... This function should represent x^(1/n), which does not go to 1 as n goes to infinity. In fact, algebraically y = x^(1/0) would represent the solution of y^0 = x, which has no solution unless x is 1. So the result should be undefined for n=0. Restricting the domain of n to Positive integer should do the trick. Similarly, on line 412 of the same file, there is a similarly erroneous definition nthRoot(x,n) == zero?(n) => x ... -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
