Thanks for your answer and suggestions. Best wishes,
Eric. Le mercredi 12 mars 2014 17:55:46 UTC+1, Nils Bruin a écrit : > > 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.
