KillingVectorQ

KillingVectorQ[v]
returns True if the vector v is properly defined as a Killing vector, and False otherwise.
KillingVectorQ[v, g]
returns True if the vector v is defined as a Killing vector of the metric g, and False otherwise.
  • Vectors can be defined to be Killing vectors with the option KillingVectorOf.