Exact matrix algebra for matrices with rational entries
