Как упростить скалярное произведение в физике-упаковке в клене?
Я использую физический пакет в клене.
Я использовал FRW метрику для вычисления тензоров Эйнштейна и Риччи.
И я определил несколько четырех векторов и хотел вычислить их точечное произведение.
Но клен не упрощает A[mu]B[~mu].
Однако, когда клен упрощает G[mu,nu].G[~mu,~nu], он дает 4.
Но когда я определяю другие четыре вектора, это не упрощает их и записывает их точно так, как они были (например, A[mu].B[~mu]).
Я отправляю картинки простого примера, в котором я определил схожие четыре вектора и сделал схожие точечные произведения с тем, что я описал.
Что мне делать, если я хочу, чтобы клен упростил скалярное произведение четырех векторов, которые я определяю, поскольку он упрощает свои собственные четыре вектора?
