[Axiom-developer] Re: factor bug

[William Sit]

Tim:

Could you please re-verify the NAG version?

According to your report, NAG version already has the 
problem for factoring 119646463, which is a prime (so in 
this case, 'factor' is correct and 'prime?' is wrong, 
according to your report for NAG). Also, my Windows 
version reports prime? 119646463 => true, so there is no 
error here.

Note that in my earlier report, the number is 119643463, 
which is not prime and is 10111 * 11833.

William

On Mon, 18 Dec 2006 03:54:04 -0500
 root <address@hidden> wrote:
> I compared 3 versions, the original NAG version, the May 
> 18, 2005
> version, and the Dec 14, 2006 version:
>
> NAG                      MAY18/05                DEC14/06
> f:=119646463             f:=119646463 
>           f:=119646463
> factor f => 119646463    factor f => 119646463   factor f 
> => 119646463
> prime? f => false        prime? f => false       prime? f 
> => false
> g:=129864979             g:=129864979 
>           g:=129864979
> factor g => 11027 11777  factor g => 129864979   factor g 
> => 129864979
> prime? g => false        prime? g => false       prime? g 
> => false
> g-11027*11777 => 0       g-11027*11777 => 0 
>     g-11027*11777 => 0
>
> So it looks like the error was introduced into FR when 
> compiled
> under GCL.
>
> Tim

William Sit, 
Professor of Mathematics, City College of New York 
                
Office: R6/202C Tel: 212-650-5179, Fax: 212-862-0004
Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/