]> gitweb.michael.orlitzky.com - sage.d.git/commit
projects / sage.d.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d08ce4) | patch
mjo/clan/normal_decomposition.py: add test for principal decomp
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 27 Mar 2026 15:25:26 +0000 (11:25 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 27 Mar 2026 15:25:26 +0000 (11:25 -0400)
commit0ffd4d3779c869a6cf388a706257d042beae2846
treea3b0f6f00c860dc2d561fc9d426e576b0f57fdcbtree | snapshot
parent9d08ce4003d8e1d46af79e0ecf1d926386dff81ecommit | diff
mjo/clan/normal_decomposition.py: add test for principal decomp

We get a principal decomposition of a non-unital clan if we "delete"
the r'th idempotent from the normal decomposition of a unital clan,
but this isn't obvious. Let's test it.
mjo/clan/normal_decomposition.py diff | blob | history
My personal library of Sage code.