GrassmannCalculus`
ComposeInteriorExpansion |
| ComposeInteriorExpansion[X⊖Y,g] composes an expansion of the interior product X⊖Y into a sum of products of inner products and possibly a single interior or exterior product. X and Y must be graded symbols, or simple exterior products of 1-elements, with the grade of X greater than or equal to the grade of Y. The grades in the list g specify the grades of the factors of the inner products. The sum of the grades in the list g must be less than or equal to the grade of Y. X and Y may each have repeated 1-element factors, (ultimately making the product zero), but the expansion is formed as if the repeated factors were discrete symbols. | |
""