You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Better constructors for Cascades needed by the upcoming Covering Lemma implementation.
Cascades now have a partially implemented List interface. This was needed to be able use them in HashMaps. BREAKING CHANGE: as a consequence, the ^ operation is not registered any more for OnCoordinates.
Skeleton visualisation: non-image singletons visually separated to an additional level, but not contributing to depth.
Direct depth calculation - height computation removed. Some decomposition may change as the loose components are pushed upwards.
MaxChainOfEssentialDependency added.
0.9.7
BREAKING CHANGES: ContainsSet(sk, P) replaced with P in ExtendedImageSet(sk), since ExtendedImageSet is now a HashSet for faster lookup. SortedExtendedImageSet added for retaining the functionality of having a sorted list of the extended images.
CompactNotation has different semantics now and it is renamed to AttractorCycleNotation. LinearNotation has been removed.
