On 2017-06-30 17:01, Nicolas M. Thiery wrote:
On Fri, Jun 30, 2017 at 10:39:50AM +0200, Jeroen Demeyer wrote:
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"?

Hmm, good point. The funny thing is that this brings us back to a
brief discussion we had two years ago on #18310

Actually, this seems more related to #22962

--
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.

Reply via email to