File ntt/bin/trans/mttCompareDomainCompletion.m from the latest check-in

function is_stable = mttCompareDomainCompletion(current,previous)
	is_stable = current.assignments==previous.assignments ;