|
|
|
last edited 15 years ago by gdr |
Edit detail for #313 sqrt(x,0) should not give 1 in RealClosedField revision 2 of 2
| 1 2 | ||
|
Editor: gdr
Time: 2008/05/18 09:05:45 GMT-7 |
||
| Note: | ||
added:
From gdr Sun May 18 09:05:45 -0700 2008
From: gdr
Date: Sun, 18 May 2008 09:05:45 -0700
Subject:
Message-ID: <20080518090545-0700@axiom-wiki.newsynthesis.org>
Fixed in OpenAxiom
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 ...
wrong library --Bill Page, Fri, 24 Aug 2007 15:02:16 -0500 reply
Category: Aldor Library Compiler => Axiom Library
Fixed in OpenAxiom