ximera conversion of MIT OCW Linear Algebra Course