[developers] LKB vs. PET divergences

johnca at sussex.ac.uk johnca at sussex.ac.uk
Wed Feb 16 11:46:50 CET 2005


Quoting Ann Copestake <Ann.Copestake at cl.cam.ac.uk>:

> 
> thanks.  Just to make sure I understand something (I've just checked
> the code) 
> - when the process is iterated for the new glbtypes, you just iterate
> it on 
> pairs of new types and you don't add any further bits.  So this is
> just for 
> the case where two distinct glb types have a set of descendants in
> common 
> which doesn't correspond to any existing type.

Yes, that's right.

> BTW, when I looked at the code, I couldn't see why in
> check-type-table the 
> partitions were being sorted.  I think this may be a hang-over from
> the old 
> code?  This isn't going to give a unique ordering on partitions since
> there 
> may be two the same length, so the glb numbering won't necessarily be
> consistent.

You're right, it won't necessarily work if there are two partitions the same
size. But I think I remember that this partitioning helped with the
efficiency of glb computation so that's really why it's still there.

John



More information about the developers mailing list