On Tue, Aug 23, 2016 at 12:38:35PM -0700, Kwankyu Lee wrote:
> Right. Perhaps I was just thinking of "cosmetics". Lots of parents in
> Sage should be finite enumerated sets. If their category is a join of
> some category X and the category of finite enumerated sets, then it is
> printed as
> Join of some category X and the category of finite enumerated sets.
> I thought this is not "elegant"..., perhaps just a personal feeling.
Yeah, I agree, that's not elegant. I would say that's about how join
categories though are output, rather than whether or not we want the
category to be a join in this case.
Output of join categories definitely could use some love. A first
improvement could be to use:
Category of X an enumerated sets.
should be trivial to implement, but will require updating doctests in
many places. Then, maybe we could devise further heuristics /
customization hooks to get better names.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
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.
For more options, visit https://groups.google.com/d/optout.
