Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Metrics wrapped in accents should only raise/lower indices on other accented objects #305

Open
kpeeters opened this issue Aug 2, 2024 · 0 comments
Labels
enhancement Not strictly a bug but more of a feature enhancement request

Comments

@kpeeters
Copy link
Owner

kpeeters commented Aug 2, 2024

The example

{\mu,\nu,\rho}::Indices(vector, position=fixed).
g_{\mu\nu}::Metric.
g^{\mu\nu}::InverseMetric.
g_\mu^\nu::KroneckerDelta.
g^\mu_\nu::KroneckerDelta.
\delta{#}::Accent.

ex:=\delta{g_{\mu\nu}} g^{\nu\rho};
eliminate_metric(_);

should make Cadabra realise that the metric \delta{g_{\mu\nu}} cannot be used to lower the \nu index on the g^{\nu\rho}, because the latter is not also an accented object. The g^{\nu\rho} inverse metric can be used to raise an index on the first object.

See https://cadabra.science/qa/2920/question-about-eliminate_metric for the original question/discussion.

@kpeeters kpeeters added the enhancement Not strictly a bug but more of a feature enhancement request label Aug 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Not strictly a bug but more of a feature enhancement request
Projects
None yet
Development

No branches or pull requests

1 participant