Project

General

Profile

Feature #457

Zero to the power zero, 0^0

Added by John Abbott about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Maths Bugs
Target version:
CoCoALib-0.99532
Start date:
06 Mar 2014
Due date:
% Done:

100%

Estimated time:
1.50 h
Spent time:
1.75 h

Description

After getting "burned" last night when trying to compute 0^0 (as an entry in a Vandermonde matrix), I have decided that we should review forbidding the computation of "zero to the power zero".

History

#1 Updated by John Abbott about 10 years ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 50

In an algebraic/combinatorial context it makes sense to define the value of the formula 0^0 to be 1 even though in an analytical context (where non-integer exponents are contemplated) this definition might be regarded as unwarranted. Since CoCoA's computations are in the realm of algebra (and indirectly combinatorics) where exponents are integers it makes sense to adopt the definition appropriate to that domain.

Over lunch Anna agreed with my arguments; I shall now make all the necessary changes.

#2 Updated by John Abbott about 10 years ago

  • Status changed from In Progress to Feedback
  • Assignee set to John Abbott
  • % Done changed from 50 to 90

Implemented changes to IntOperations.C and ring.C (the old code was buggy).

Added new tests. Modified documentation.
Checked in everything.

#3 Updated by John Abbott about 10 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Tidying up; feedback period revealed no problems (in 15 days). Closing.

#4 Updated by Anna Maria Bigatti about 10 years ago

  • Target version changed from CoCoA-5.0.9 to CoCoALib-0.99532

#5 Updated by Anna Maria Bigatti about 10 years ago

  • Estimated time set to 1.50 h

Also available in: Atom PDF