declared, installed, and documented DefiningMorphismOf*PartOfUnitaryGroup

DefiningMorphismOf*PartOfUnitaryGroup =
. DefiningIdealOfUpperPartOfUnitaryGroup
. DefiningIdealOfMiddlePartOfUnitaryGroup
DefiningIdealOf*PartOfUnitaryGroup now calls DefiningMorphismOf*PartOfUnitaryGroup

for this to work we need

MatricesForHomalg and Modules both v2013.10.27