Add convenient way to evaluate univariate polynomials.

[fingolfin]

In PR #3901 support was added to apply a homomorphism f to an element x by writing f(x) instead of Image(f, x).

We could do something similar for univariate polynomials. (For multivariate ones, the issue is that it is not clear how the order of arguments should be mapped to the various variables; I'd rather avoid that can of worms).

[fieker]

On Tue, Feb 23, 2021 at 03:54:50PM -0800, Max Horn wrote: In PR #3901 support was added to apply a homomorphism `f` to an element `x` by writing `f(x)` instead of `Image(f, x)`. We could do something similar for *univariate* polynomials. (For multivariate ones, the issue is that it is not clear how the order of arguments should be mapped to the various variables; I'd rather avoid that can of worms).

f(x) for univariates is there for ages. For multivariates we use evaluate(f, [...]), but the order of variables is the same as the arguments. There is choice?

…

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: #4283

[fieker]

On Tue, Feb 23, 2021 at 03:54:50PM -0800, Max Horn wrote: In PR #3901 support was added to apply a homomorphism `f` to an element `x` by writing `f(x)` instead of `Image(f, x)`. We could do something similar for *univariate* polynomials. (For multivariate ones, the issue is that it is not clear how the order of arguments should be mapped to the various variables; I'd rather avoid that can of worms).

Sorry, wrong list. My comment was for Oscar

…

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: #4283