[Maxima-bugs] [maxima:bugs] #5218 Einhil.dem seems to have index issues

[Viktor T. <vt...@us...>]

- **assigned_to**: Viktor Toth



---

**[bugs:#5218] Einhil.dem seems to have index issues**

**Status:** open
**Group:** None
**Created:** Wed Sep 02, 2026 09:58 PM UTC by Richard Gobeli
**Last Updated:** Thu Sep 03, 2026 03:54 AM UTC
**Owner:** Viktor Toth


The D expression does not simplify.
This is D.
-((5*g([],[%1,%2])*g([],[%3,%4])*g([%1,%4],[],n)*g([%3,m],[],%2))/4)+(g([],[%1,%2])*g([],[%3,%4])*g([%1,n],[],m)*g([%3,%4],[],%2))/2-(g([],[%1,%2])*g([],[%3,%4])*g([%2,m],[],n)*g([%3,%4],[],%1))/2+(5*g([],[%1,%2])*g([],[%3,%4])*g([%1,n],[],%4)*g([%3,%2],[],m))/4-g([],[%1,%2],%2,m)*g([%1,n],[])+g([],[%1,%2],%2,n)*g([%1,m],[])

Is this correct?  The two terms at the end should cancel due to the symmetry of g and contraction.
 It needs to contract g with the derivative indices first, so the derivatives are gone, and then it can use the symmetry of g to cancel them.  This term -g([],[%1,%2],%2,m) times g([%1,n],[]) needs to be -g([m,n],[]) otherwise, it becomes -g([],[],m,n), which makes no sense for symmetry.



---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.