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 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230

This file describes changes in the GAP package 'polycyclic'.
2.15.1 (20191003)
 Fix a regression that could lead to an infinite loop in IsomorphismPcGroup
2.15 (20190927)
 Added license information to package metadata
 Add support for random sources to Random method for pcpgroups
 Documented IsPcpGroup and IsPcpElementCollection
 Increased rank for IsomorphismPcGroup and IsomorphismFpGroup methods for
pcpgroups, to ensure they are still used when all GAP packages are loaded
 Some janitorial changes
2.14 (20180512)
* Fixed a bug in OneCoboundariesCR which lead to an error in OneCohomologyCR
* Fixed a bug where the normal closure of an abelian subgroup could end up
being flagged as abelian, even though it was not
* Restored compatibility with GAP versions before 4.9
2.13.1 (20180427)
* Removed a regression test case which failed if no other packages are loaded
2.13 (20180426)
* Fixed bug in IsConjugate
* Fixed building the manual via makedoc.g on casesensitive file systems
* Replaced immediate methods for IsTorsionFree and IsFreeAbelian by
implications, which have zero overhead, while immediate methods can slow
down GAP
* Improved performance of UnitriangularPcpGroup for large n
2.12 (20180318)
* Improved performance of some orbit algorithms by using dictionaries
* Improved performance of AddToIgs for some examples where it previously
performed very badly
* Added custom IsSingleValued method for group homomorphisms whose Source is
an polycyclic groups, which can avoid an endless loop when the range is an
infinite group
* Fixed bug in NormalizerPcpGroup which could result in a break loop
* Fixed bug in ComplementClassesCR which could result in a break loop
* Fixed bug in OrbitIntegralAction which could result in a break loop
* Fixed bug in StabilizerIntegralAction which could result in a break loop
* Fixed bug in AddToIgs for infinite groups which could result in an invalid
output leading to strange results
* Fixed IsConjugate for pcp group elements to always return true and false
(instead of an element which conjugates the inputs to each other)
* Corrected documentation for HeisenbergPcpGroup to give correct number
of generators, an correct Hirsch length
* Corrected and clarified InfiniteMetacyclicPcpGroup documentation
* Deprecated NaturalHomomorphism, use NaturalHomomorphismByNormalSubgroup
instead (which is a standard GAP operation)
* Removed leftover traces of Schur towers in the manual and elsewhere
* Added more tests cases
* Changed tests to using TestDirectory
* Various minor tweaks
2.11 (20130307)
* Added a fast SylowSubgroup method (via IsomorphismPcGroup)
* Add FreeAbelianGroup constructor method (feature will only be available
in a future GAP release)
* Replaced some internal code dealing with integer matrices with calls
to equivalent GAP functions; for some things (e.g. inverting a matrix),
this can be a lot faster
* Fixed regressions in 2cohomology code (introduced in 2.9), which caused
TwoCoboundariesCR and TwoCohomologyCR to produce errors or wrong results
* Fixed infinite recursion in LowerCentralSeriesOfGroup for nonnilpotent
pcp groups (thanks to Andreas Distler for noticing and fixing this)
* Removed support for GAP 4.4, now GAP 4.5 or newer is required
* Removed some obsolete code
* Removed or hid multiple undocumented internal functions (such as AsMat,
IntMat, OnVectorspace, VERIFY, ...) to reduce the pollution of the
global namespace
* Various minor tweaks
2.10.1 (20120601)
* Fixed generic IsFreeAbelian method to only apply to finitely
generated groups
* Removed "name strings" from two InstallImmediateMethod calls;
this should have no effect on any user, and is done to silence
some pedantic warnings in the GAP test suite
2.10 (20120531)
* Added methods for GAP's Epicentre and EpimorphismSchurCover attribute
* Added group constructors that allow construction extraspecial groups
as well as alternating and symmetric groups of degree <= 4 as pcp groups
* Changed SchurExtension and SchurExtensionEpimorphism into attributes
* Changed IsomorphismPcpGroup for pcp groups, now returns identity map
* Changed SchurCovering to be a synonym for GAP's SchurCover attribute
* Fixed regression in AddFieldCR which caused incorrect errors
(e.g. when testing whether a pcp group is torsion free)
* Fixed some warnings by adding a IsGeneratorsOfMagmaWithInverses
method for pcp element collections
* Fixed several bugs resulting in errors when computing Schur extensions,
nonabelian exterior and tensor squares, and so on, but only if the
argument was a subgroup of a pcp group
* Fixed computing Schur extensions, nonabelian exterior and tensor squares
etc. of the infinite cyclic group
* Fixed bug in direct products of pcp groups that could result in
wrong embedding and projection maps
* Fixed error triggered when calling NormalizerOp on two groups
that have differing Parent() groups, yet still are subgroups
of a common overgroup
* Removed some dead obsolete code
2.9 (20120112)
* Updated README
* Added GPL license text
* Added this CHANGES file
* Added Max Horn to authors / maintainer list
* Removed Werner Nickel from maintainer list
* Removed compatibility with GAP versions before 4.4
* Removed redundant IsomorphismPermGroup method
* Removed redundant IsPcpGHBI group mapping representation
* Added various group constructors (TrivialGroupCons etc.),
so that it is now possible to construct Pcp groups with e.g.
TrivialGroup(IsPcpGroup) or DihedralGroup(IsPcpGroup, infinity).
Specifically, this works now for cyclic, (elementary) abelian,
dihedral, and quaternion groups
* Added implementations of IndependentGeneratorsOfAbelianGroup and
IndependentGeneratorExponents for pcp groups
* Improved handling of homomorphisms between pcp groups and nonpcp
groups
* Improved validation of input for various functions / methods
* Improved AbelianPcpGroup to flag the constructed group as abelian
* Fixed AbelianInvariants to return values that match what the GAP
documentation promises the user
* Fixed a bug that caused TwoCohomologyCR and many related operations
to error out if the cohomology record was obtained using
CRRecordBySubgroup or CRRecordByPcp
* Fixed bug comparing homomorphisms between pcp groups by removing
the (incorrect) method for this; the default method provided by
GAP is now used and returns correct results
* Fixed ClosureGroup method to not make invalid assumptions about
a group's Parent (and thus no longer return incorrect results)
* Fixed bug causing general mappings from/to pcp groups to be
always marked as total, even if they were in fact not
* Added IsNilpotentByFinite methods for finite and nilpotent groups
* Added immediate IsTorsionFree method for finite groups
* Added IsFreeAbelian method for arbitrary groups, turned it into
a property
* Converted documentation to GAPDoc format
* Replaced internal function DepthOfVec by GAP's PositionNonZero
* Added (trivial) IsomorphismPcpGroup method for pcp groups
* Added a String method for pcp elements
2.8.1 (20110524)
* Use Calcreps2 instead of calcreps2 for compatibility with GAP 4.5
* Updated homepage URLs
2.8 (20110126)
* Improved and corrected parts of the manual
* Removed IsomorphismPcpGroup method for fpgroups, and instead
provide and document it as a regular function under the name
IsomorphismPcpGroupFromFpGroupWithPcPres
* Use "u" option when creating the HTML manual to produce unicode
output
* Removed SchurMultiplicator method and instead install a method
for AbelianInvariantsMultiplier
2.7: Never released
2.6 (20090218)
* Disabled (and removed any mention from the documentation) some code
dealing with Schur towers of pgroups of fixed coclass.
* Fixed email address of Bettina Eick
2.5 (20081125)
* Added SchurCovers
* Added dependency on autpgrp package
* Added GroupHomomorphismByImagesNC implementation for when the source
is a Pcp group, but the range is possibly not.
* Compute size of newly constructed group in PcpGroupByCollectorNC
* Various other fixes and improvements
2.4 (20081112)
* Fixed a bug in DirectProduct for PcpGroups
2.3 (20081109)
* Removed compatibility with GAP versions before 4.3
* Added WhiteheadQuadraticFunctor
* Added IsPolycyclicPresentation
* Added IsomorphismPermGroup
* Renamed DepthVector > DepthOfVec
* Renamed PrintFullPresentation > PrintPcpPresentation
* Renamed Tail > TailOfElm
* Replaced many uses of BindGlobal by InstallGlobalFunction
* Improved group homomorphism code
* Implemented Embedding and Projection for DirectProduct
* Implemented Embedding for WreathProduct
* Extended AbelianPcpGroup to accept types of arguments (undocumented)
* Various other fixes and improvements
2.2 (20070622)
* Added support for nonabelian tensor and exterior squares
* TODO: Schur extensions code was also touched?
* Various other fixes and improvements
2.1 (20061107)
* Declare in PackageInfo.g that nq is a suggested (but not required)
external package, and try harder to work when nq is missing.
* Rewrote SchurExtension
* Changed IsomorphismPcGroup to first convert the group to a refined
pcp group; also, the resulting homomorphism is now marked as being
a group homomorphism.
* Several existing functions now are "properly" installed via
InstallMethod or InstallGlobalFunction
* Various other fixes and improvements
2.0 (20061023)
1.1 (20031015)
1.0 (???)
