Project

General

Profile

Support #1386

IsIndetPosPower: behaviour and manual page

Added by John Abbott over 4 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Manual/documentation
Target version:
CoCoA-5.3.0
Start date:
07 Jan 2020
Due date:
% Done:

100%

Estimated time:
0.99 h
Spent time:
1.10 h

Description

There is no manual page for IsIndetPosPower.

History

#1 Updated by John Abbott over 4 years ago

What should IsIndetPosPower(x/x) give?
Error or false?
I expected false but actually got an error.

#2 Updated by Anna Maria Bigatti over 4 years ago

  • Subject changed from IsIndetPosPower: no manual page to IsIndetPosPower: behaviour and manual page
  • % Done changed from 0 to 20

John Abbott wrote:

What should IsIndetPosPower(x/x) give?
Error or false?
I expected false but actually got an error.

I agree with you. However this is explicitely written in cocoalib documentation for PPMonoid.
My guess is that this choice was due to the old name IsIndetPower, later renamed with Pos

// Revision 1.2  2007/09/24 14:15:16  abbott
// Renamed IsIndetPower to IsIndetPosPower.

Now we can reasonably change it.

#3 Updated by John Abbott about 4 years ago

  • Status changed from New to Closed
  • Assignee set to John Abbott
  • % Done changed from 20 to 100
  • Estimated time set to 0.99 h

Now it gives false.

Added test to test-bug3.C.

#4 Updated by John Abbott about 4 years ago

Added a CooA-5 manual page.

Also available in: Atom PDF