A library for exact computational matrix algebra, suitable for educational use. - View it on GitHub