New synonyms

[compsystems]

Hello,

One of the characteristics that I like about Xcas, is that they have many ways of doing things, for example it is not rigid, a function can be defined by different forms,

this allows to use Xcas in different contexts

I propose some new synonyms, only for the purpose of relating more explicit sentences, more readable

MUPAD istrue( e^(i*pi) = -1 ) [↵] returns TRUE

Therefore in xCAS
1: evalb( e^(i*pi) = -1 ) [↵] returns true

2: is_true( e^(i*pi) = -1 ) [↵] returns true