Max Alekseyev on Sat, 25 Mar 2023 22:55:58 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

from t_POL to t_CLOSURE (and back)


Is there any more straightforward/logical way than the following?

? p = x^3 + x + 1
%1 = x^3 + x + 1
? type(p)
%2 = "t_POL"
? f = z -> subst(p,variable(p),z)
%3 = (z)->subst(p,variable(p),z)
? type(f)
%4 = "t_CLOSURE"
? q = f('x)
%5 = x^3 + x + 1
? type(q)
%6 = "t_POL"

Regards,
Max