You can query a property to see whether a pattern has been registered with it; in your example
p = RiemannTensor.get($R_{a1 a2 a3 a4}$)
will set p
to the corresponding RiemannTensor
object (which, since it derives from TableauSymmetry
, has methods such as get_tab
, is_simple_symmetry
etc...). If there is no associated property then None
is returned.