Amusing confusion involving colon ideals

[mahrud]

Here's a very amusing but unfortunate bug that only happens if you copy paste this string and run it from Emacs:

R = QQ[x,y,z]
i3 = (ideal vars R)^3
i3 : 0 == 1 -- false in Emacs, true in terminal
i3  : 0 == 1 -- always true
(i3 : 0) == 1 -- always true

Of course, this is because i3 : is interpreted by M2-mode as being the prefix of an input line in M2, so it is stripped from the command actually sent to M2.