Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- << xAct`xTensor`
- DefManifold[M4, 4, {a, b,c,d}]
- DefMetric[-1, [Eta][-a, -b], CD, {"|", "[Del]"}, FlatMetric -> True]
- DefTensor[p1[[Mu]], M4]
- p1[a] p1[-a] + p1[b] p1[-b] // Simplification
- (*Output: p1[a] p1[-a] + p1[b] p1[-b] *)
- 2p1[a] p1[-a]
Add Comment
Please, Sign In to add comment
