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}\)