Documentation contents

atlas Library · Script File

test_braid.at

Source
atlas-scripts/test_braid.at (29 lines)
Definitions
3
Loads
Loaded by
all.at

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 648506c (2026-10-13).