HOMALG_TOOLS.minus_infinity := -999999