| Did you know ... | Search Documentation: |
| image<-scale |
magnify(Im, Factor, Magnified) :-
get(Im, size, size(W, H)),
NW is round(W * Factor),
NH is round(H * Factor),
get(Im, scale, size(NW, NH), Magnified).
See also image->resize
and image<-rotate.