[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

Re: version compare and partial orgls



Since the comparison
	operations compare the differences between the coordinate spaces, it
	doesn't matter whether any data is associated with locations in the
	coordinate space!  

	As a result, only the unify operation can modify sharing relationships
	(that's exactly what it's for).  Unify adds the information that two
	initially unshared spaces now refer to the exact same thing.  Hmm.  My
	quick 'semantics' for unify implies that two partial orgls can be
	unified.  Bizarre.  It makes sense, though.
Not bizarre at all, in fact nothing else makes sense at all.  Partial orgls
had better be A LOT like orgls, or we're in trouble everywhere with
semantic coherence.

Good work!