## Stream: Is there code for X?

### Topic: columns not linear_independent implies determinant zero

#### Eric Wieser (Dec 22 2020 at 11:36):

Do we have somewhere that if the rows / columns are not docs#linear_independent then docs#matrix.determinant is zero?

#### Eric Wieser (Dec 22 2020 at 13:29):

Well, assuming there's not, I've created #5477 which provides it as matrix.det_row_multilinear.map_linear_dependent - but annoyingly I had to assume division_ring R which is stricter than seems necessary

Last updated: May 07 2021 at 21:10 UTC