Feature #857
floor, ceil, and NearestInt for RingElem in CoCoA-5?
Description
In CoCoALib it is possible to compute floor, ceil and NearestInt of a RingElem.
In CoCoA-5 floor and ceil may be applied only to INT and RAT (the manual just says RAT); NearestInt is not available in CoCoA-5.
What do we want to do?
Related issues
History
#1
Updated by John Abbott about 8 years ago
Updated by - Related to Support #696: test-OrderedRing: activate or eliminate? added
#2
Updated by John Abbott over 7 years ago
- Target version changed from CoCoA-5.2.0 spring 2017 to CoCoA-5.?.?
I am postponing this issue; perhaps I'll wait until it becomes "necessary" for some other task, then decide what to do.
#3
Updated by John Abbott about 5 years ago
Currently it is easy to workaround the limitation: just use floor(AsRAT(c)) where c is the ringelem.
Perhaps this issue is more general: in how many other contexts ought one to be able to supply a ringelem instead of an INT or RAT?