Linear algebra: Basics, practice, and theory