如何在枫木物理包中简化点积？

Question

我正在使用枫树的物理包。

我使用FRW度量来计算爱因斯坦和Ricci张量。
我定义了一些四向量，我想计算它们的点积。
但是枫并没有简化AμB[~μ]。

然而，当枫木简化G [mu，nu] .G [~mu，~nu]时，它给出了4.
但是当我定义其他四个向量时，它并没有简化它们并写入它们完全一样（例如AμB[~μ]）。

我正在发送一个简单示例的图片，其中我定义了类似的四向量并完成了与我描述的类似的点积。
如果我想让枫木简化我定义的四向量的点积，我该怎么办呢，因为它简化了自己的四向量？