Cadabra manual: Distributable

Distributable

Make an operator distributable over its arguments.

Makes an operator distributable over its arguments, in the sense that when the object has a sum as argument, it can be distributed over the terms with distribute, as in

\overline{#}::Distributable; ex:= \overline{A+B+C D};

$\displaystyle{}\text{Attached property Distributable to }\overline{\#}.$

$\displaystyle{}\overline{A+B+C D}$

distribute(_);

$\displaystyle{}\overline{A}+\overline{B}+\overline{C D}$