Florian Weimer <[EMAIL PROTECTED]> 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. _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel