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.
Here's a very amusing but unfortunate bug that only happens if you copy paste this string and run it from Emacs:
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.