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 authentification 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: algebraSeverity: 3 - Normal
Item Group: code bugStatus: transferred
Privacy: PublicAssigned to: None
Originator Name: David MENTREOpen/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
> -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 click here to add your encouragement to it.
This task has 0 encouragements so far.

Only logged-in users can vote.

 

Please enter the title of George Orwell's famous dystopian book (it's a date):

 

 

Follow 2 latest changes.

Date Changed By Updated Field Previous Value => Replaced By
Tue 03 Jan 2006 06:19:14 PM UTCbillpage1ReproducibilityNone=>Every Time
Tue 03 Jan 2006 05:19:51 PM UTCbillpage1StatusNone=>transferred

Back to the top


Powered by Savane 3.1-cleanup