On Fri, Jul 05, 2013 at 09:01:46AM -0700, Anne Schilling wrote:
> Regarding the weak and strong tableaux that Mike and I are currently
> implementing,
> we are currently planning to have a combined class of skew and usual tableaux
> in this setting. Also, there won't be a separate class for standa
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
