cadabra2
cadabra2 copied to clipboard
IndexInherit should implement TableauBase
It is natural to expect
Q{#}::IndexInherit;
B_{m n}::Symmetric;
A_{m n}::AntiSymmetric;
ex:= Q( B_{m n} ) A_{m n};
canonicalise(_);
to produce zero, but that does not work yet because Q does not expose the index symmetries of the object it contains. Needs to implement TableauBase for that to work.