On Apr 24, 2010, at 10:03 AM, Nathan O'Treally wrote:
On 23 Apr., 17:00, Simon King <simon.k...@nuigalway.ie> wrote:
Hi!
Sage's coercion makes life easier (allowing to do arithmetic without
too much fuzz), but is not easy and may give rise to confusion.
1. I find coercion is not properly addressed by the tutorial and the
"Sage constructions". Do you agree that a section on coercion should
be added (I'd volunteer...)?
Are you looking for something like http://www.sagemath.org/doc/reference/sage/structure/coerce.html
? It could probably be written up better, but we don't want too much
redundancy.
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.
- 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
