Assertion: matrix's determinant | /r/CapableOf | use canonical trace
Facets:
Source sentences:
text: For operators in a finite factor, one may define a positive real-valued determinant called the Fuglede−Kadison determinant using the canonical trace.