kpeeters / cadabra2

A field-theory motivated approach to computer algebra.
https://cadabra.science/
GNU General Public License v3.0
215 stars 37 forks source link

IndexInherit should implement TableauBase #193

Open kpeeters opened 4 years ago

kpeeters commented 4 years ago

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.