]> gitweb.michael.orlitzky.com - sage.d.git/commit
projects / sage.d.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ffd4d3) | patch
mjo/clan/normal_decomposition.py: another principal decomp test
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 27 Mar 2026 18:07:17 +0000 (14:07 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 27 Mar 2026 18:07:17 +0000 (14:07 -0400)
commit3185733409bc5abff4a0a7da6186699ece84fa78
treee23a485ce9ba8235481a0bafaee45a599073688dtree | snapshot
parent0ffd4d3779c869a6cf388a706257d042beae2846commit | diff
mjo/clan/normal_decomposition.py: another principal decomp test

There was a bug in the previous test, since we are using the Ishi
convention that gives us a lower-triangular normal decomposition: a
subclan is obtained by "deleting" the first idempotent rather than the
last. After fixing that, we add another test to show that this does
actually produce a subalgebra (the new test finds the bug).
mjo/clan/normal_decomposition.py diff | blob | history
My personal library of Sage code.