change resolution in a HDR file

change_resolution_HDR(HDR, window_size)

Arguments

HDR

information read from a header file

window_size

multiplying factor for initial resolution

Value

updated HDR information