LinearSystem and square_matrix definitions