simplification functions

type-a index cannot be "9".

using the above fact.

raising -9 to 9 for a unique expression.

further simplification

Ignore terms for scalar

Ignore terms for tensor.

Series expansion for scalar ignoring

Series expansion for tensor  ignoring

Define an operator to separate the regular index into the type-a index and dim.

Define differential operator (for type-a index)