xTras Package SymbolSee Also »|More About »

MetricOfKillingVector

MetricOfKillingVector[v]
returns the metric of which the vector v is a Killing vector, and None if it is not a Killing vector.