CoCoA » CoCoA-5

CoCoA-5 can be awkward about not "recognising" that a value is an integer.

f := x^2+3;
v := subst(f,x,5);
v; --> 28
SmoothFactor(v,5); --> ERROR expected INT but found RINGELEM

The "correct" current approach is to call AsINT explicitly:

SmoothFactor(AsINT(v),5); --> works fine

However this is inconvenient and ugly (= makes the code harder to read).