Commit 2021-05-02 04:27 6d7e7563
View on Github →feat(linear_algebra/char_poly): charpoly of left_mul_matrix (#7397)
This is an important ingredient for showing the field norm resp. trace of x is the product resp. sum of x's conjugates.
feat(linear_algebra/char_poly): charpoly of left_mul_matrix (#7397)
This is an important ingredient for showing the field norm resp. trace of x is the product resp. sum of x's conjugates.