On Sat, Jul 06, 2013 at 01:03:31PM +0200, Vincent Delecroix wrote:
> I see. Thanks. Did you discuss the pros and cons of
> - adding an extra element NotAPath (your "invalid path") but having a
> multiplication defined everywhere
> - having a partial multiplication
> I do not like the extra elemen
Hi Simon,
>> 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...
>
> Multiplication of paths *is* defined everywhere. That's why the
> FreeSmallCateg
Hi Vincent,
On 2013-07-06, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> 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...
Multiplication of
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 wa
Hi Vincent,
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
Thanks Simon.
2013/7/4 Simon King :
> Hi Vincent,
>
> On 2013-07-04, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
>> What I want to do is to define the set of paths in a graph
>
> Directed graph aka quiver? Then you might look at #12630, which is
> makign progress towards being ready for r
Hi Vincent,
On 2013-07-04, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> What I want to do is to define the set of paths in a graph
Directed graph aka quiver? Then you might look at #12630, which is
makign progress towards being ready for review (which would be followed
by a Cython versi
