forked from gap-packages/sgpdec
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ChangeLog
82 lines (82 loc) · 5.97 KB
/
ChangeLog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
0.9.2
Making FL conversion functions polymorphic, so they can either take an FLCascadeGroup for convenience, or a list of transversals if obtaining a decompositions (lifting the generators) is not feasible.
0.9.1
Separating computation of transversals and component groups into different functions: FLTransversals, FLComponents. This is useful for computing decompositions partially, in case the whole FLCascadeGroup is not feasible. ValidPoints is now defined as an attribute of FLCascadeGroup to avoid recalculation. Standard way of testing with TestPackage("sgpdec") is available now.
0.9
Reps2Perm added. PermutatorSemigroupElts fixed. Documentation entries added. Unified format for DisplayHolonomyComponents and DisplayFLComponents when the Small Groups library is not used.
0.8.3
Adding new visualization functions: DotRepPermutatorGroups, DotRepHolonomyGroups. Small fixes and cleanups related to increased code coverage.
0.8.2
Successful CI integration. Group decomposition functions finalized. Increased code coverage. Fix: FullCascadeSemigroup created properly to avoid long elements enumeration.
0.8.1
Update release compatible with GAP 4.10.1. Reworked group decomposition. Added documentation.
0.8
Update release compatible with GAP 4.10.0. Some documentation added. Finiteness property set for cascade groups.
0.7.33
Update release compatible with GAP 4.8.2. Hash function patch removed.
0.7.32
Patching for missing hash function for boolean lists until Orb has one.
0.7.31
Tests are compatible with GAP4.8/Semigroups 2.7. Small fixes for visualization.
0.7.30
Bringing the code in sync with the paper: now we have an extra state on each level to act on representing jumped over levels. Numerous little fixes code improvements in the last year.
0.7.29
The release of finally understanding holonomy decomposition! :) Holonomy core rewritten with dominating tile chains. Alternative height functions. RestrictedDomain added for future optimization. Code cleaning, commenting. Regression fixes fo Splash.
0.7.28
Updating the skeleton diagram to work with GraphViz 2.36. Added ContainsSet function for the skeleton and use it for checks to avoid error messages. Added RandomTileChainToSet.
0.7.27
Fixing DisplayHolonomyComponents: no need to display singletons and size of the set was wrongly displayed instead of number of tiles.
0.7.26
DisplayHolonomyComponents and OnTileChain added.
0.7.25
Subgroup chains methods readded, defending against upstream change (dynamic degree for transformations), nonimage tiles by dotted arrows in DotSkeleton.
0.7.24
DotCascadeAction added.
0.7.23
DotCascade revised, highlighting moved branches properly. Added FormattedBigNumberString, SimplerCompactNotation. Working on the documentation.
0.7.22
Improved DotSkeleton. Cascade constructor now accepts list of domain sizes. Dep2DepFuncs renamed to DependencyFunctions. Coordinate action and cascade multiplication now have global functions and installed methods.
0.7.21
RealImageSkeletonClasses added. DependencyValues added. Documenting some functionality.
0.7.20
More doc on demand. Streamlining functions for the finite set 'illusion' layer.
0.7.19
BugFix: The lack of non image singletons led to loosing the last level of the decomposition. The fix also makes DotSkeleton consistent again.
0.7.18
BugFix: AsCascade wrongly lifted some elements of T_8 into a [2,2,2] tree. The previous algorithm did not detect overwriting existing actions in some cases. Added test case for DisjointUnionGroup and documentation compilation framework is back again.
0.7.17
Separating calculation for permutation reset semigroups. DisjointUnionGroup introduced.
0.7.16
DotSkeletonForwardOrbit added. Skeleton code now separated into 3 different files: orbit and relations, permutator and holonomy, and visualisation files.
0.7.15
Major rewrite of the holonomy data structure. HolonomyDecomposition disappeared, merged into the Skeleton.
0.7.14
2nd gen Skeleton replaced by 3rd gen Skeleton. Skeleton is not a big record, but an object with attributes. Permutator part of the code is separated to avoid huge source files. Proper binary relations for inclusion and subduction added. Subduction relation functions added.
0.7.13
SgpDecTestInstall added. Fixing broken WreathProductGroup.
0.7.12
Test cases added. Print methods for cascades. Bugfix: holonomy components are now set.
0.7.11
Updated to the upcoming GAP 4.7. TransCascades and PermCascades properly separated. Bugfix in =,< for cascades. Holonomy lifting added. Finite set display for blists properly done.
0.7.10
Clean up in FL decomposition and further simplification in the holonomy decomposition code. Tile-terminology is back.
0.7.9
Holonomy decomposition is back but only in pieces.
0.7.8
Lagrange decomposition and Skeleton is back. Thin layer for boolean lists to behave as finite set added.
0.7.7
CascadeGroup added and code shared with CascadeSemigroup now lifted to CascadeProduct. New codebase is ready to reintegrate Lagrange Decomposition.
0.7.6
AsTransformation method for string (containing linear notation) and int (size of domain) added.
0.7.5
Mixed components are allowed again, with minimal code changes. Further cleanups following the DependencyFunction separation. New test case for checking lifting as well.
0.7.4.
Dependency functions are now separated for each level, thus cascades become tuples of dependency functions. Exactly as described mathematically.
0.7.3
Numerous renamings, unified DomainOf and DependencyDomainsOf for cascades and cascade semigroups. IdentityCascade added. Test scripts updated.
0.7.2
DotCascade reimplemented with better drawing style. The whole domain tree is drawn and nontrivial dependenices are highlighted.
0.7.1
Unified ComponentDomains instead of the confusing and long ComponentDomainsOfCascade and ComponentDomainsOfCascadeSemigroup.
0.7
Restarting the development with a new and clean implementation of cascade products. Better integration with existing semigroup functions, for instance added IsomorphismTransformationSemigroup. SemigroupWreathProduct working.