[IMP-dev] Linear algebra