On Wednesday, March 12, 2014 6:41:07 AM UTC-7, Eric Gourgoulhon wrote: > > The issue here is that CommutativeRing.__init__ requires the argument > "base_ring" and in the present context, I don't know what to put here: the > ring C^oo(N) does not depend upon any other ring. Shall I put self, i.e. > write CommutativeRing.__init__(self, self) ? >
Every ring ultimately has ZZ as a base, by virtue of being an additive group. You could use that. On the other hand, if you expect the thing to be finitely generated over its base then perhaps the ring should be its own base (I don't think that's a formal requirement, given that `ZZ[['x']].base_ring()==ZZ`). This does happen in Sage elsewhere: sage: ZZ.base_ring() Integer Ring sage: QQ.base_ring() Rational Field sage: GF(3).base_ring() Finite Field of size 3 On the other hand, if you find it's doable to avoid specifying a base, perhaps that's the better way to go. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
