Hi Jonas,

On 2014-08-27, Jonas Jermann <jjerma...@gmail.com> wrote:
> All in all the pushout construction is rather complicated (there
> are many cases/situations) and when implementing new spaces
> one probably (unfortunately) has to look at the source / specific
> implementation of pushout in detail to ensure everything works
> appropriately in all cases.

That's why construction functors are so rarely used. There are only 15
of them, including the SubspaceFunctor that should better be removed.

Said in different words: The pushout construction is so complicated,
since its *only* use case are complicated coercions situations.

In all other situations, where the construction of a new parent is not
needed, "simple" tools such as .register_coercion(), .register_embedding()
and ._coerce_map_from_() are fully sufficient.

Best regards,
Simon


-- 
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to