Reversion operator (~) is not defined for Symbolic Coefficients when using Grassmann and Reduce

[ajahraus]

I was following along with the examples presented in Symbolic Coefficients by Declairing Albegra, and all was working as expected, until I tried to rotate a point P using the symbolically defined R, as in the equation Q = R*P*~R.

At this point, an error was thrown, indicating

ERROR: MethodError: no method matching grade(::Expr)
Closest candidates are:
  grade(::Any, ::SubManifold{V, G, B} where G) where {V, B} at ~/.julia/packages/DirectSum/XQ4T8/src/generic.jl:139

[chakravala]

If you want this to be investigated further, you'll need to provide a minimum reproducible example of the error.