line break
Coerce now extracts the coeff. ring out of `one'
renamed *UnitaryGroup* -> DefiningIdealOf*UnitaryGroup*
store HomalgModule/HomalgFiltration in defining ideal
declared and installed ConjugacyClassesOfNormalSubgroup
separator comments
fixed WWWHome
fixed comment
added citation to CentralCharactersOfBlocks

and code prepare for listing in the manual
CentralIdempotentsOfInvolutiveAlgebra now marks idempotents

as being `real' or `complex'

(undocumented feature for internal use)
narrow filter for IsReal to exclude algebras
cleaned documentation of ConjugacyClassesOfNormalSubgroup
declared and installed UnderlyingGroupAlgebra for IsAlgebra and IsOne

and simplified UnderlyingGroupAlgebra
for IsElementOfFreeMagmaRing using it
UnderlyingModule now sets the component UnderlyingAlgebra

and the component `Algebra' have been renamed to `GroupAlgebra'
declared IsBlock/IsReal for blocks

and installed two `return false' methods
declared and installed PrincipalBlock(Idempotent)
declared and installed AssociatedProjection

+ declared and installed AssociatedProjectionMatrix
(added RingsForHomalg and GaussForHomalg to NeededOtherPackages)
Coefficients now issues an error if the element is not contained in the module
declared and installed InducedFiltration for records
UnderlyingModule now unlocks returned module