Tommy Hofmann
Tommy Hofmann
The method exists, is exported and documented. So removing it or deprecating it both require 2.0?
I agree, we should change this.
This is on purpose. Apparently doing square-and-multiply leads to more intermediate terms. You can ask @fieker for more details.
No objections. I don't like "universal" in this context though, but I don't know any shorter name. "Polynomial ring with countably many indeterminates" would be better, but it is quite...
Thanks for the PR. I'll have a look at the `cyclotomic_real_subfield` and the other stuff.
I just remembered that this is a duplicated of https://github.com/Nemocas/Nemo.jl/pull/2150
> My problem is slightly different though. I would need to have a function which can map any multivariate polynomial to any multivariate polynomial ring with potentially more variables (over...
I like it. (It won't work for `x in [y, z]` (since this uses `==` for whatever reasons), but dictionaries seem to work, which is fine for me.) So the...
As Claus said, this turns `isequal` into `cmpeq` from Magma. Here is the docstring (from https://magma.maths.usyd.edu.au/magma/handbook/text/8): > x cmpeq y : Any, Any -> BoolElt > If x and y...
I found what I vaguely remembered. For some reason we made `isequal` do something different to `==` for series. This is explained here: https://github.com/Nemocas/AbstractAlgebra.jl/blob/983f6ecc442e0a262da68cc68fa583395e391add/docs/src/series.md?plain=1#L293-L300 Unfortunately, this makes the idea of...