Hi David!
On Wed, Apr 20, 2011 at 02:29:08PM -0400, David Roe wrote:
> Why not have Q.lift() return the morphism and Q.lift(x) return the
> morphism applied to x? I think I've seen this paradigm applied elsewhere
I am fine with this for backward compatibility in, say,
sage.rings.quotient_ring. However I would not want the category
framework to enforce this for all quotients, as this would be adding
burden on the developper. We want to make it trivial to implement new
quotients.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
