Tommy Hofmann
Tommy Hofmann
I will go with divexact(one(R), a) then for the moment and I will delete all the inv functions for power series...? P.S.: Magma has an IsInvertible function, similar to IsDivisbleBy.
I also wondered if canonical_unit is the function I want. In Poly.jl and Matrix.jl, you use it to get canonical representatives modulo units. Since I want to do the same...
Yes, all elements in the zero-ring are nilpotent and invertible. (I think both Theorem 2.1 and 2.2 are valid for zero rings; the `is_unit` method proposed by Max above also...
No, there is no uniform interface. I would also avoid inexact rings for the moment.
Yes it is not entirely clear, which is why I suggest that we should not implement it. It is not clear what the semantics of equality is or should be....
They should go (in AbstractAlgebra) in `src/Poly.jl` and `src/MPoly.jl` respectively. And similar for the tests.
Do you have the failing input of `solve_poly`?
I like the idea, but I think this is a bit too clumsy to use. I rather prefer to decide at runtime if it is a field. ```julia _f_field(x::T) where...
Maybe something for the post ISSAC week?
@benlorenz I have a feeling I have asked this before, but is there a reason that we do not run the downstream tests with `depwarn=error`?