sf/lazy_linear_algebra