| ComputeInteriorProductFormulaB[(A⋀B)⊖X] | | computes the interior product formula for the expansion of (A⋀B)⊖X from the computable formula based on the span and cospan of X, but the span and cospan are interchanged from the expression. X may be a simple exterior product of 1-element factors, or it may be a numerically graded symbol, A and B can be arbitrary expressions, but A must be gradeable. |
| |