On 3/15/10, Leo Butler <l.butler at ed.ac.uk> wrote: > Interesting, I wrote the scalar simplification rules because dotscrules > does not do what is wanted (v5.19.2), as it causes ket(n) to be treated > as a scalar. I haven't been following this carefully. Maybe it helps if you declare(ket, nonscalar). best Robert Dodier