Dear Robert,
On Thu, Feb 12, 2009 at 11:34:02PM -0800, Robert Bradshaw wrote:
>
> I have written up extensive documentation on the coercion model at
> http://wiki.sagemath.org/coercion . If you find coercion baffling,
> confusing, or unuseful, this is especially for you. I am sure there
> is lots of room for improvement, as what may be obvious to me can be
> far from obvious to those less familiar with the system. This is
> intended to be the guide to using coercion--for deeper implementation
> details see the docstrings in the coerce.pyx (100% coverage) and
> related files.
>
> Eventually, this should all be moved to the reference manual and/or
> programing guide, but I figured the wiki was the best place to put it
> at the moment. Comments welcome.
Great! Thanks very much.
Would it be possible to add the following functionality (with whatever
appropriate syntax):
declare_conversion(source, target, morphism)
which would adds the morphism from source to target to the conversion
list (and probably similarly for coercions). Having some restrictions
on it (like making sure it's called before any coercion/conversion is
attempted) is no problem.
This functionality will make it possible for each category to
automatically declare the relevant morphisms, independently of the
other categories (like if A is in Algebras(K), then this category will
declare the natural morphism from K to A).
http://trac.sagemath.org/sage_trac/ticket/5275
Thanks in advance!
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
