a-kulkarn

Ah, thanks. Should I make a PR there as well? On Thu, Jan 27, 2022, 17:37 wbhart ***@***.***> wrote: > The official repository is here: > > https://github.com/Nemocas/AbstractAlgebra.jl/ > >...

Hmm...OK. The funny thing is that the "zero" entries in the identity matrix are unaliased, since it is created using `zero_matrix`. The "Julian" solution might be to have a `IdentityMatrix{T},...

Mind if I jump in on the discussion? > Here is my view on this. Suppose someone asks solve(A, b) for a matrix A and vector b over your ring....

I'm busy these days, but still around. Please let me know if you have any questions :-).

Related Question (I think). The [Documentation](https://nemocas.github.io/AbstractAlgebra.jl/latest/ring_interface/) indicates that `canonical_unit` of a `Generic.FieldElem` should just return the element itself (perhaps this also means for zero too). Nevertheless, it looks like a...