Can someone explain whether this is a bug or is Maple really splitting into 2 languages? In particular, for the input with(Logic); BooleanSimplify(Import(a < b and d = e and not a < bd)); in Maple's document mode or in the TTY version, quite different answers come back. I understand the [weird] reason why the TTY version returns 'false'. The question here is, why the difference?

Please Wait...