Documentation contents

Script File

test_braid.at

Source
atlas-scripts/test_braid.at (29 lines)
Definitions
3
Loads
Loaded by
none of the other all.at files

Definitions in source order

m

L3m(RootDatum rd,int i, int j) = int

also defined in nilpotent_centralizer.at

test_braid 2 overloads

L10test_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)
L27test_braid(WCell cell)

Generated from atlas-scripts at commit 7e1b958 (2026-09-17).