declared and installed SquareFreeFactors
installed Value for [ IsHomalgRingElement, IsHomalgRingElement ]
declared and installed the property IsIrreducibleHomalgRingElement

together with convenience method IsIrreducible

(needs Modules v2013.09.14)