more noncommgraph
new Schrijver program works
begin verify of Schrijver
more Schrijver validation
Schrijver tests pass
fix space ordering in Cartan decomposition
example for Cartan