Tommy Hofmann
Tommy Hofmann
Just a few comments: 1. Since `MPolyRingAny` is just a fancy wrapper for `evaluate`, the problem should lie there. Indeed it seems to be the case that `evaluate(f::MPolyRingElem, values::Vector)` does...
Can you clarify, which part of the documentation suggests that this should work?
I cannot make it to the triage call. But I am also of the opinion that it should error.
I think evaluation is fine for a "user". If one cares about performance, one should probably try go get rid of the multiple polynomial rings that crop up.
Coercion of `x` into `R` means that `R(x)` works. So I think the error message is correct. Mapping from `Zx` into `Zy` by mapping `x` to `y` is not what...
Sounds good to me.
> The variable of the source ring is mapped to the variable of the destination ring, and coefficients are coerced recursively. I think this introduces ambiguities: R = Z[x], S...
I think we should just fix the usages and not replace it by other hacks. Also, can we decide whether we want to have https://github.com/Nemocas/Nemo.jl/pull/2150 or https://github.com/Nemocas/Nemo.jl/pull/2158? It is a...
Let me try to fix the Hecke errors. Should I use https://github.com/Nemocas/Nemo.jl/pull/2150 or https://github.com/Nemocas/Nemo.jl/pull/2158?
Ongoing work in https://github.com/thofma/Hecke.jl/pull/2106 and https://github.com/Nemocas/Nemo.jl/pull/2158.