Hi Simon, On 2019-05-23, Simon Brandhorst <sbrandho...@web.de> wrote: > I can live with (V, projections, coprojections) > but I dislike hiding everything in lists (or lists of lists, or lists of > lists of lists..). > Being able to type VW.projections(1) would just be so much nicer.
+1. But how? I think we do want unique parents. How do we want to distinguish between "the same" object that was constructed in two different universal ways? There would be one possibility that would work without creating a wrapper: An object X that was constructed by some construction functor F applied to some more basic objects B1,...,Bn should be able to tell its construction (there is X.construction()). So, if we want to distinguish, say, $Q^4$ from $Q^3\oplus Q$, then we could simply use the pair (CoproductFunctor, (Q^3,Q)) as key in the UniqueRepresentation cache. Best regards, Simon 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 https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/qc8n62%24q04%241%40blaine.gmane.org. For more options, visit https://groups.google.com/d/optout.
