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

It seems that the wedge product does not allow (yet) collecting scalar terms

Example

{f,g}::DifferentialForm(degree=0).
{V, W}::DifferentialForm(degree=1).
foo := f V ^ g W;
canonicalise(foo);
sort_product(foo);
collect_factors(foo);

In the above example all the simplification algorithms return the original foo expression, while the expected result is $f g V \wedge W$.

in Feature requests by (15.0k points)

1 Answer

+1 vote
 
Best answer

Current github/master can now do

{f,g}::DifferentialForm(degree=0).
{V, W}::DifferentialForm(degree=1).
foo := f V ^ g W;
unwrap(_);

producing $f g V \wedge W$. Enjoy (and let me know if things don't work properly).

by (82.5k points)
selected by
...