new deflation routines; numericalRank (somewhat) fixed; isFullNumericalRank