Require two calls to canonicalise?

Question

Hi Folks,

The following code requires two calls to canonicalise to get the expected output (zero). Is this expected behaviour?

W^{a}_{b c}::TableauSymmetry(shape={2}, indices={1,2});

{a,b,c,d,e,f,g,h#}::Indices(position=fixed).

foo := v_{a} W^{a}_{b c} - v^{a} W_{a c b};
sort_product (foo);
canonicalise (foo);
canonicalise (foo);

Cheers, Leo

Comments

Also in my installation needs two canonicalise!