[qfcc] Include divide by two in commutator product

I had forgotten this, and of course didn't have any tests.
This commit is contained in:
Bill Currie 2024-01-19 15:26:18 +09:00
parent 5c22ba118c
commit aa9be53b6e

View file

@ -2560,7 +2560,8 @@ commutator_product (const expr_t *e1, const expr_t *e2)
{
auto ab = geometric_product (e1, e2);
auto ba = geometric_product (e2, e1);
return multivector_sum ('-', ab, ba);
return algebra_binary_expr ('/', multivector_sum ('-', ab, ba),
new_int_expr (2));
}
static const expr_t *