Script Reference
certificate.at
Certificates of (non)unitarity for representations.
Mathematical background
A unitarity certificate is a formal proof that a representation is or is not unitary, based on the signs of the c-invariant form on its K-types.
Definitions
| Name | Signature | Description |
|---|---|---|
| negative_terms | p)=[(KType,int)]: | |
| certificate | (Param p) =[(KType,int)]: |