basis-pursuit compressive-sensing convex-optimization functional-programming jax l1-regularization lasso linear-operators sparse-bayesian-learning sparse-linear-systems sparse-representations wavelets