Script Reference
test_braid.at
Tests the braid relations for a family of matrix operators attached to the simple roots of a root datum, for example the operators of a W-cell action.
Definitions
| Name | Signature | Description |
|---|---|---|
| m | (RootDatum rd,int i, int j)=int: | product of Cartan matrix entries M[i,j]*M[j,i] |
| test_braid | (RootDatum rd,[mat] ops)= | given one operator for each simple root, test all braid relations; return bool, and (in case of false) print all tests (i,j,bool) |
| test_braid | (WCell cell)= | test the braid relations for the action on a W-cell |