วันจันทร์ที่ 10 กรกฎาคม พ.ศ. 2560

Re: [sage-devel] Category question: how to get base ring?

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+unsubscribe@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.

ไม่มีความคิดเห็น:

แสดงความคิดเห็น