1 Sep
2009
1 Sep
'09
7:40 p.m.
Hi, Chris,
On Tue, 1 Sep 2009 18:33:31 +0100, Chris Kelly <giltirn@gmail.com> said: CK> I don't suppose you have an answer to my question about whether CK> there is some way to canonically order an expression by a set of CK> rules rather than by the hash value such that i can find a CK> pattern that is guaranteed to match?
No. I just try to point out that you can do most of reasonable manipulations with Clifford algebras without canonical ordering and substitutions. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv@maths.leeds.ac.uk -- www: http://maths.leeds.ac.uk/~kisilv/