Project

General

Profile

Bug #277

Eliminate class RefPPMonoidElem?

Added by John Abbott over 5 years ago. Updated almost 4 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
23 Nov 2012
Due date:
% Done:

0%

Estimated time:
8.00 h

Description

Recently I eliminated the class RefRingElem for ring elements.
Should I do the same for RefPPMonoidElem?
Presumably the same reasoning applies.


Related issues

Related to CoCoALib - Design #396: PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem?New2013-08-01

History

#1 Updated by Anna Maria Bigatti almost 4 years ago

  • Target version set to CoCoALib-0.99999

Also available in: Atom PDF