Hello! If I want to sum several tensors, for example , how can I do this, so that I get one tensor?
Use collect_components(ex).
collect_components(ex)
Thank you! There is no such command on manual page by the way.
Pull requests are gratefully accepted.