Diff — Determinant

Revision #2881 → #3362 · back to history

modifiedDeterminant of a product is product of determinants4674f4dffa49

Field	From #2881	To #3362
label	Determinant characterized by product and triangular rules	Determinant of a product is product of determinants
note	`Matrix.det_mul` and `Matrix.det_of_upperTriangular` together give the product and triangular rules.	`Matrix.det_mul` gives the product rule; `Matrix.det_of_upperTriangular` gives the triangular rule.
provenance	ai	ai-moderated

addedSymmetric group63e8da6962bf

addedSignature of a permutatione4ac392e33ff

addedMatrix determinant lemma27ff116c57e8

addedResultant of two polynomials4e06043e1a8c

addedBasis criterion via nonzero determinant5a585d08c74b

addedInverse function theorem2a37d2e67008

addedExterior power of a vector spacefa937ea57741

addedField norm of a finite extension96572ded22b2