[Monotone-devel] Re: Bug in monotone lca

[Wim Oudshoorn]

Florian Weimer <address@hidden> writes:

> * Wim Oudshoorn:
>
>> However in that case lcad has a bug :-)
>>
>> Consider the following graph:
>>
>>                   A
>>                  / \
>>                 B   C
>>                 |  /|
>>                 | / E
>>                 D   |\
>>                 |   F \
>>                 |   |  G
>>                 |   H  |
>>                 |   |  I
>>                 \   J  |
>>                  \ /   K
>>                   L
>>
>> monotone lcad L K             // version 0.19
>> will return C, not E.
>
> But E doesn't dominate L, so it would be an incorrect choice.  C seems
> to be correct for "lcad", and "lca" should give E.

A few things:

1 - E does dominate K
2 - C does not dominate L
3 - lca will also return C

Wim Oudshoorn.