Zulip Chat Archive

Stream: Is there code for X?

Topic: columns not linear_independent implies determinant zero


view this post on Zulip 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?

view this post on Zulip 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