pdft.io.compress_with_k# pdft.io.compress_with_k(basis, image, *, k)[source]# Compress keeping exactly k coefficients. Mirror of upstream src/compression.jl:105-130. Parameters: k (int) Return type: CompressedImage