Cadabra
a field-theory motivated approach to computer algebra

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}\)
Copyright © 2001-2024 Kasper Peeters
Questions? info@cadabra.science