kpeeters / cadabra2

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

Collecting factors does not take into account anti-commutativity #324

Open kpeeters opened 5 days ago

kpeeters commented 5 days ago

The following does not produce the required minus sign:

{A,X}::AntiCommuting.
ex := X A X;
collect_factors(ex);

First doing sort_product will do the right thing. First reported in https://cadabra.science/qa/2958/collect_factors-simplify-with-anticommuting-objects .