Sorry for the delay in responding to you very quick response to my question, but I have been trying without success to come up with a suitable example. I realize the attached spreadsheet is not a good example, but my efforts to simply copy some of the results to another worksheet were unsuccessful.
This worksheet uses the Glyp2 (from maple cloud) which is an updated version of Joe Riel’s Glyph package written for Maple V.
By way of background I am engaged in some experimental math looking for some alternate expressions of the clifford product which could possibly illuminate the Plucker Conditions as expressed in geometric algebra. Basically, I would like to prove when a given homogeneous r-multivector is a r-blade without resorting to the standard proofs usually expressed in exterior algebra.
The attached worksheet shows some of the calculations for a 4-blade product derived recursively from the 3-blade product I have already established. Unfortunately, These expressions represent the clifford product in an 8-dimensional geometry with a arbitrary bilinear form. The B-terms are just the metric constants.
My real problem is that it is relatively easy to show the relationship globally, but I need to determine which sets of expressions of the scalar product cancel in the larger expression. This will help me to identify how to transform the expressions I have generated recursively into ones which actually represent the terms of the clifford product. Comparing pieces of these expressions with each other is more than a little tedious and error-prone.
I am looking for a method to take the results from a trial symbolic expression representing a possible term and searching for it in a larger expression. (So I can see how the underlying algorithm actually processes the terms.) The final calculation shows an example of the terms that I would like to search and remove.
Can you suggest an approach to working with these large expressions. The following worksheet shows the kind of expressions I am trying to manipulate.