Restructure evaluate for mpolys

[SoongNoonien]

This is a work in progress towards Nemocas/AbstractAlgebra.jl#2225 and #2180. At the moment this introduces some method ambiguities which need to be resolved first. I think if I readjusted this PR to make the f(...) syntax the default I should be able to resolve them without a new AbstractAlgebra release.

Note that I started with the fmpq mpolys and that the other mpoly types of Nemo are still missing.

[fingolfin]

In the meantime this has merge conflicts.

I think if I readjusted this PR to make the f(...) syntax the default I should be able to resolve them without a new AbstractAlgebra release.

What do you mean by that? Let evaluate call f(...) and let that do the actual work?

Personally I am not a great fan, I prefer if such "syntactic sugar" functions stay to their minimum. Alas, that's just my base feeling, if there are technical arguments, I am all ears.

(In the meantime we had an AA release and could have made corresponding changes needed here :-) but we can still do that in the future, too. If it makes sense...)

[SoongNoonien]

What do you mean by that? Let evaluate call f(...) and let that do the actual work?

Yes.

Personally I am not a great fan, I prefer if such "syntactic sugar" functions stay to their minimum. Alas, that's just my base feeling, if there are technical arguments, I am all ears.

Yes, I'd say so too. But in AbstractAlgebra it is done that way (i.e. evaluate calls f(...)) unfortunately.

[SoongNoonien]

In the meantime we had an AA release and could have made corresponding changes needed here :-) but we can still do that in the future, too. If it makes sense...

Sorry, I completely forgot about this PR.