bugAxiom Computer Algebra System - Bugs: bug #9424, Bug in handling 0^0 in Axiom

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #9424: Bug in handling 0^0 in Axiom

Submitted by:  David MentrĂ© <dmentre>
Submitted on:  Tue 22 Jun 2004 04:53:36 PM UTC  
 
Category:  algebra Severity:  3 - Normal
Item Group:  code bug Status:  transferred
Privacy:  Public Assigned to:  None
Originator Name:  David MENTRE Open/Closed:  Open
Release:  Reproducibility:  Every Time
Fixed Release: 
Error message: 
Example of code trigerring the bug: 

0::CARD ^ 0::CARD
-- should return 1::CARD
complex(0,0)^complex(0,0.0)
-- should return '0**complex(0,0.0)' is undefined
complex(0,0)^complex(2,2.0)
-- should return complex(0,0)

Internal cause: 

Tue 22 Jun 2004 04:53:36 PM UTC, original submission:

After a long thread on axiom-developer, the following concensus was optained:

Page, Bill writes:
> On Tuesday, June 22, 2004 6:11 AM Martin Rubey
> -email is unavailable- wrote:
>
> There is a bug.
>
> 0::CARD ^ 0::CARD
>
> should be 1::CARD

ok.

> > except that in
> >
> > Vanuxem Grgory writes:
> > > In complex(Float) and Complex(SingleFloat), we have to change the
> > > exponentiation so that
> > > complex(0,0)^complex(0,0.0)
> > > or
> > > complex(0,0)^complex(2,2.0)
> > > doesn't use log.
> >
> > the latter really should give 0?
> >
>
> No. complex(0,0)^complex(0,0.0) is like 0^0.0 and should
> return
>
> '0**complex(0,0.0)' is undefined
>
> The message 'log 0 generated' is confusing but technically
> correct.

Yes, but complex(0,0)^complex(2,2.0) should be 0.0, shouldn't it?

David Mentré <dmentre>
Project Administrator

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

Do you think this task is very important?
If so, you can add your encouragement to it.
This task has 0 encouragements so far.

Only logged-in users can vote.

 

 

 

Follow 2 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2006-01-03 billpage1 ReproducibilityNone => Every Time
2006-01-03 billpage1 StatusNone => transferred

Back to the top


Powered by Savane 3.3