DefiningIdealOf*PartOfUnitaryGroup now calls DefiningMorphismOf*PartOfUnitaryGroup

for this to work we need

MatricesForHomalg and Modules both v2013.10.27