Assertion: real ensemble | /r/HasProperty | cre
Facets:
Source sentences:
text: The Haar measure on the orthogonal group produces the circular real ensemble (CRE) and the Haar measure on the symplectic group produces the circular quaternion ensemble (CQE).