Hi Simon, > On 2013-07-04, Vincent Delecroix <20100.delecr...@gmail.com> wrote: >> Is there in #12630 a class Paths built as a groupoid ? > > The class Paths is of course only for the *elements* of a > whatever-name-we-attribute-to-it. There has recently been a discussion > in this list, and it was agreed upon the name "free small category > associated with a quiver". > > And yes, this is part of #12630. > > But for now, it is only implemented as parent structure, not as category. > If one would try to consider the same structure as a parent (whose > elements are paths) and a category (whose objects are the vertices and > whose morphisms are paths), one would open several cans of worms. For > instance, one would necessarily confuse two meanings of element_class.
The implementation of FreeSmallCategory in #12630 is somewhat related to what I need. I do not understand why the FreeSmallCategory can be a Magma ? The composition is not defined everywhere... In my case, I want it to be a groupoid because I do have inversion, but in your case you don't and it looks like a monoidoid (?) I think that I will implement my own GraphPaths class and then possibly think about some factorization with the rest of Sage. Best, Vincent -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/groups/opt_out.
