IsHomalgRing now lies in the filter IsRingWithOne

comply with MatricesForHomalg v2013.04.15