a field-theory motivated approach to computer algebra


Make an object not count as index when it is a sub- or super-script
If you want to attach symbols to tensors in sub- or superscript, as in $A^\dagger$, you need to inform the system that this symbol is not an index (otherwise it will interpret $A^\dagger A^\dagger$ as two contracted vectors with vector indices $\dagger$). This is done by associating the Symbol property to the symbol; in this example
\dagger::Symbol; ex:= A^{\dagger} A^{\dagger};
\(\displaystyle{}\text{Attached property Symbol to }\dagger.\)
\(\displaystyle{}A^{\dagger} A^{\dagger}\)
Copyright © 2001-2023 Kasper Peeters