1v2.0.3: 2- Add the modification of v2.0.2 in this file 3 4v2.0.2: 5- Replace a test whose output has changed 6 7v2.0.1: 8- Add more formats for the web page 9- Add to the archives the `.js` and `.css` files 10- Correct typo in manual 11 12v2.0.0: 13- Included code in GitHub. 14- Fixed a bug in functions OneSubgroupInWhichSubnormalNotNormal, Permutable, SPermutable that gave incorrect results because of an incorrect treatment of the relation with the parent group. 15- Modified banner, improved PrimesDividingSize, deleted obsolete code and other minor changes suggested by Max Horn and Alexander Konovalov. 16- New numbering system for versions. 17- Use GitHubPagesForGAP for the web page 18 19v1.03: 20- Replaced the version number in the manual (it was incorrect). 21 22v1.02: 23- Removed a repetition in one name in PackageInfo.g, as suggested by Alexander Konovalov. 24- Corrected test. 25- Added CSS and LAB files to tar.bz. 26 27v1.01: 28- Changed the path of PackageInfo.g, as suggested by Alexander Konovalov. 29- Corected two typos in the manual. 30 31 32v1.00: The package has been accepted by the GAP Council. Changes proposed by Alice Niemeyer and the anonymous referee: 33- Added in AllGeneratorsCyclicPGroup a test for the arguments to be of the correct type. 34- Minor changes to the documentation. 35 36 37 38v0.04: Changes proposed by Alice Niemeyer and the anonymous referee: 39- Documentation written in GAPDoc. Minor modifications in the documentation. 40- Changed names of the old `Why' functions: 41 WhyAreNotMutuallyFPermutableSubgroups -> OnePairShowingNotMutuallyFPermutableSubgroups 42 WhyAreNotMutuallyPermutableSubgroups -> OnePairShowingNotMutuallyPermutableSubgroups 43 WhyAreNotTotallyFPermutableSubgroups -> OnePairShowingNotTotallyFPermutableSubgroups 44 WhyAreNotTotallyPermutableSubgroups ->OnePairShowingNotTotallyPermutableSubgroups 45 WhyIsNotConjugatePermutable -> OneConjugateSubgroupNotPermutingWith 46 WhyIsNotCPTGroup -> OneSubnormalNonConjugatePermutableSubgroup 47 WhyIsNotFPermutable -> OneFSubgroupNotPermutingWith 48 WhyIsNotPermutable -> OneSubgroupNotPermutingWith 49 WhyIsNotPSNTGroup -> OneSubnormalNonSNPermutableSubgroup 50 WhyIsNotPSTGroup -> OneSubnormalNonSPermutableSubgroup 51 WhyIsNotPTGroup -> OneSubnormalNonPermutableSubgroup 52 WhyIsNotSNPermutable -> OneSystemNormaliserNotPermutingWith 53 WhyIsNotSPermutable -> OneSylowSubgroupNotPermutingWith 54 WhyIsNotTGroup -> OneSubnormalNonNormalSubgroup 55 WhyIsNotWeaklyNormal -> OneElementShowingNotWeaklyNormal 56 WhyIsNotWeaklyPermutable -> OneElementShowingNotWeaklyPermutable 57 WhyIsNotWeaklySPermutable -> OneElementShowingNotWeaklySPermutable 58 WhyIsNotWithSSubpermutizerCondition -> OneSubgroupInWhichSubnormalNotSPermutable 59 WhyIsNotWithSubnormalizerCondition -> OneSubgroupInWhichSubnormalNotNormal 60 WhyIsNotWithSubpermutizerCondition -> OneSubgroupInWhichSubnormalNotPermutable 61- Modified functions about totally and mutually permutable products to 62 avoid use of AllCyclicSubgroups. We use Zuppos instead. The function AllCyclicSubgroups has been deleted. 63- Modified Permutizer function to detect permutable subgroups and to 64use an enumerator instead of all cyclic subgroups. 65- Added a probabilistic test to detect lack of permutability before 66applying deterministic test in IsPermutable and IsIwasawaSylow. 67- Modified the type of arguments of OneFSubgroupNotPermutingWith and 68IsFPermutable, now the third argument is a list of subgroups of the 69whole group. 70- Modified the arguments of AreMutuallyFPermutableSubgroups, 71AreTotallyFPermutableSubgroups, OnePairSwhowingNotMutuallyPermutable 72and OnePairSwhowingNotMutuallyPermutable to include lists of subgroups of U and 73V, respectively. This allows a greater generality. 74- Deleted functions IsPERMUTPSolvable and IsPERMUTPNilpotent since there 75are methods for non-soluble groups available in GAP 4.7.2. These 76functions have been replaced by IsPSolvable and IsPNilpotent in the 77code. GAP 4.7.2 is required now. 78 79 80v0.03: Deleted InstallFactorMaintenance and InstallSubsetMaintenance 81 statements due to an error in the assignment of IsPSTGroup to 82 quotient groups. 83 84 85v0.02: changes proposed by Leonhard Soicher before refereeing and others: 86- Moved files *.g to lib directory. 87- Created directory htm to include html files. 88- Changed PackageInfo.g to be correctly validated. 89- Rearranged documentation (only chapters). 90- Added a test. 91- Moved IsSylowTowerGroup to psoluble.g[di]. 92- Applied Transatlantic. 93 94 95v0.01: initial version 96