Assertion: trace | /r/HasProperty | written in following forms
Facets:
value: for b
type: OTHER
value: for real matrices a
type: OTHER
Source sentences:
text: For real matrices A and B, the trace of a product can also be written in the following forms: