Bug #277
Eliminate class RefPPMonoidElem?
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
History
#1 Updated by Anna Maria Bigatti over 9 years ago
- Target version set to CoCoALib-1.0