non-unital subrings

Stream: Is there code for X?

[Adam Topaz]

We have docs#non_unital_ring but do we have sub_nonunital_ring (or non_unitsl_subring). For example, an ideal can be considered as a nonunital subring.

[Jireh Loreaux]

@Adam Topaz Sorry I missed this before. I have a draft PR where I have a decent start on this, but I've been busy the past two months.

[Jireh Loreaux]

#13749

[Adam Topaz]

Ping @Jack McKoen
For your PR involving the maximal ideal of a valuation ring, one could add some API using such nonunital subrings!

[Jack McKoen]

Good to know @Adam Topaz , I'll start thinking about this :+1:

[Jireh Loreaux]

Note: #13749 is ready modulo CI