maple - глобальная проблема с пакетом physics?

[illuminates]

Всегда думал что тензорные расчёты для maple не составят проблем. Но вдруг оказалось, что мэмпл даёт бредовый результат. Очень хотелось бы узнать что это всего лишь моя ошибка, а не косячность пакета physics.
Давайте рассмотрим пример:

Simplify(LeviCivita[4, sigma, lambda, rho]*LeviCivita[4, xi, eta, mu]*g_[rho, mu]*qp[sigma]*q[lambda]*qp[xi]*q[eta])

Ответ мэмл даёт ответ таким:


Но это неверно, так как индексы должны бежать 1,2,3 а здесь мэпл считает что и 4 индекс пробегается.
Для подтверждения этих слов можете сделать SumOverRepeatedIndices(%).

Моя приамбула такова:

with(Physics)
Setup(mathematicalnotation = true);
Coordinates(X);
Setup(spaceindices = lowercaselatin)
Setup(tensors = q[mu](X))
PDEtools:-declare(q(X))
Setup(tensors = qp[mu](X))
PDEtools:-declare(qp(X))

[illuminates]

Более простой пример:

with(Physics)
Setup(mathematicalnotation = true)
Simplify(LeviCivita[4, eta, sigma, rho]*LeviCivita[4, eta, sigma, rho])

Maple считает что ответ -24! Правильный же ответ -6 (убедиться можно посмотрев третью формулу с конца страницы в статье вики https://en.wikipedia.org/wiki/Levi-Civita_symbol#p-navigation-label)

[Markiyan Hirnyk]

Продублировано на MaplePrimes.

[illuminates]

Markiyan Hirnyk я просто не оставлял линк так как я им спамил на форум об этой проблеме в разных примерах несколько лет (четыре года точнее) и никто так ничего не и сказал, думал что и в этот раз аналогично будет.

Долгожданный официальный ответ:

This is fixed for Maple 2017. The updates of the Physics package, including fixes and the new material being developed are distributed at the Maplesoft R&D Physics webpage. So in Maple 2017 + updates you get -6, not -24.

This Maplesoft R&D Physics webpage also includes updates for Maple 2016 that I recommend, containing fixes and Physics developments that entered Maple 2017, but the last update for Maple 2016 happened Apr/15. Only updates for the current release get posted every week. A workaround in Maple 2016 for this example you posted is to use SumOverRepeatedIndices, as you indicated.

Итак: самый крутой в мире аналитический мат. пакет не умел делать такие простейшие операции. Позор!!! Сколько там лицензия стоит? Я вообще не понимаю как им тогда пользуются тысячи учёных.