Screenshot instructions:
Windows
Mac
Red Hat Linux
Ubuntu
Click URL instructions:
Rightclick on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)
From: <noreply@so...>  20021028 08:24:30

Bugs item #629714, was opened at 20021028 03:24 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=629714&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: x^^1 . x . y . x . y Initial Comment: x^^1 . x . y . x . y simplifies to x^^1 . (x . y)^^2 instead of y . x . y But the following work correctly: x^^1 . x . y . x . y . y => y . x . y^^2 (x^^1 . x . y) . x . y => y . x . y y . x . y . x . x^^1  A consequence of the above (this was the original problem I ran into): x^^1 . (x . y)^^2 expand(%) returns it unchanged. OK expand(%), dotexptsimp:false returns x^^1 . x . y . x . y and now expand(%) gives x^^1 . (x . y)^^2 instead of y . x . y Hmm. So how do I simplify this to y.x.y?  Compare this to x^^1 . (x . y)^^2 . y^^1 and (x . y . x^^1)^^2 and y . (x . y)^^1 and (x . y)^^1 . x for all of which the sequence expand/dotexptsimp:false then expand performs the expected cancellation.  The problem is that simpnct simplifies from right to left, so that by the time it sees x^^1 . x . y...., that has already become x^^1 . (x . y)^^2, which it doesn't currently simplify. The quick fix is to specialcase this in simpnct, but it's a bit messy....  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=629714&group_id=4933 