aa4131421419d9f2266e6a2c7d0f565cdea7c18b,mathics/builtin/image.py,ImagePartition,apply,#ImagePartition#Any#Any#Any#Any#,602

Before Change

        h = h.to_python()
        pixels = image.pixels
        shape = pixels.shape
        parts = [Image(pixels[y:y + w, x:x + w], image.color_space)
                 for x in range(0, shape[1], w) for y in range(0, shape[0], h)]
        return Expression("List", *parts)


// simple image filters

After Change

        parts = []
        for yi in range(shape[0] // h):
            row = []
            for xi in range(shape[1] // w):
                p = pixels[yi * h : (yi + 1) * h, xi * w : (xi + 1) * w]
                row.append(Image(p, image.color_space))
            if row:
                parts.append(row)
        return from_python(parts)

Instances