On 2017-06-29 19:41, Nicolas M. Thiery wrote:
Hi Jeroen,
On Tue, Jun 27, 2017 at 11:31:36AM +0200, Jeroen Demeyer wrote:
Suppose that R is some parent which is contained in the category Algebras(B)
for some ring B, how does one determine B from the parent R?
I am asking because I want to implement a new method in the ParentMethods of
Algebras, which needs to refer to the base_ring of the category. I feel like
ParentMethods should have a way to refer back to the category where the
ParentMethods was defined.
You can safely assume that the parent B implements R.base_ring().
OK, but the question becomes:
Suppose a parent R is in Algebras(something), is it safe to assume that
R is an algebra over R.base_ring()? In other words, what is the semantic
of "base_ring"?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
