Script File
test_braid.at
Definitions in source order
m
L3
m(RootDatum rd,int i, int j) = intalso defined in nilpotent_centralizer.at
test_braid 2 overloads
L10
test_braid(RootDatum rd,[mat] ops)Given: RootDatum, one operator for each simple roots test all braid relations, return bool, and (in case of false) all tests (i,j,bool)
L27
test_braid(WCell cell)Generated from atlas-scripts at commit 7e1b958 (2026-09-17).