On Wednesday, January 1, 2014 3:32:05 PM UTC-8, Simon King wrote: > > A conversion map is (by definition) a partial map, that in some cases > happens to be an actual map (not just partial), in other cases happens > to even be a morphism, and in the best case is a coerce map. > Given how few properties a "conversion map" is actually guaranteed to have, wouldn't it be sufficient to just have a callable represent the conversion and not demand it's a map? I don't think we really need domain and codomain anyway. It also means that in a lot of cases, one could simply store to codomain rather than a map wrapping a call to the codomain.
-- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
