Welcome to Cadabra Q&A, where you can ask questions and receive answers from other members of the community.
+1 vote

There seems to be a bug in Cadabra 1.42 in the unwrap routine for anticommuting objects.
The below is a minimal example that produces it.

{A, B, C}::AntiCommuting.
d{#}::Derivative.
A::Depends(d).
B::Depends(d).

The following produces "-C d{A B}" erroneously. The sign seems to be produced as long as there is at least one anticommuting object inside.

d{A B C}: @unwrap!(%);

If we apply product rule first, this produces "dA B C + A dB C" correctly.

d{A B C}: @prodrule!(%): @unwrap!(%)
asked in Bug reports by (300 points)

2 Answers

+1 vote

Thanks, it's actually a bug in 2.x too... Will fix.

answered by (54k points)
0 votes

Fixed on github master now (finally...).

answered by (54k points)
...