login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:25:04-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: