On Apr 25, 2010, at 8:25 AM, Nathan O'Treally wrote:
On 25 Apr., 07:30, Robert Bradshaw <rober...@math.washington.edu>
wrote:
Are you looking for something
likehttp://www.sagemath.org/doc/reference/sage/structure/coerce.html
? It could probably be written up better, but we don't want too
much
redundancy.
There's also http://www.sagemath.org/doc/reference/coercion.html
What really would be nice, too, were a chart (or multple charts)
showing the dependencies, i.e. the "parent" relation(s), so one
could
easily see potential coercion target domains, what domains are
"incompatible" etc.
This would be cool, though one issue is that a lot of the coercions
are implicit, rather then explicit (e.g. Z/nZ -> Z/mZ only works if m
| n). It would be "easy" to draw a graph of all coercions used so
far.
What's hindering you? ;-)
[With Simon's edge-labeling suggestion.]
Just this little thing called trying to finish up a Ph.D.... :)
There's lots of loose ends and other work to take care of in the
coercion system, and though I'm not promising to take care of them
all, it's something I'd like to get back to eventually.
- Robert
--
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
