help links subscribe changes refresh edit

	IssueTracker
#240 another 'limit' failure ←	↑	→ #242 TeX display of long variable names is broken

#241 Bug in handling 0^0 in Axiom

Edit detail for #241 Bug in handling 0^0 in Axiom revision 3 of 3

	1 2 3
Editor: test1 Time: 2014/05/13 17:26:51 GMT+0
Note:

added:

From test1 Tue May 13 17:26:51 +0000 2014
From: test1
Date: Tue, 13 May 2014 17:26:51 +0000
Subject: 
Message-ID: <20140513172651+0000@axiom-wiki.newsynthesis.org>

Status: open => closed

Originally Savannah bug #9424:

  overview: Bug in handling 0^0 in Axiom
  Submitted by:  David Mentré
  Submitted on:  Tue 06/22/04 at 16:53   

  Category:  algebra Severity:  3 - Normal 
  Originator Name:  David MENTRE
  Summary:  Bug in handling 0^0 in Axiom 
  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
  > martin.rubey@univie.ac.at 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?

Example of code trigerring the bug:

fricas

-- should return 1::CARD
0::CARD ^ 0::CARD

   >> Error detected within library code:
   0^0 not defined for cardinal numbers.

fricas

-- should return '0**complex(0,0.0)' is undefined
complex(0,0)^complex(0,0.0)

   >> Error detected within library code:
   log 0 generated

fricas

-- should return complex(0,0)
complex(0,0)^complex(2,2.0)

   >> Error detected within library code:
   log 0 generated