The linear algebra problem solver (1980)