: Public Note
Created: 10-04-2008 12:16:11
Modified: 10-04-2008 12:16:11
Project:
Advanced:
-- the maximalComplex contains this complex<br /></p><p>{superComplex->contains(maximalComplex)}<br /></p><p>-- a maximal complex is contained only in itself<br /></p><p>{(self = maximalComplex) implies (superComplex = {self}) }<br /></p><p>{isMaximal() implies (self = maximalComplex)}<br /></p>