Programming question and strange == result

[parisse]

By the way, if you do a==b, the current version of Xcas does now compute the autosimplification function on a-b and checks if it's 0 or not. Therefore setting autosimplification to none, minimum or maximum might affect the == test on the Prime.