symbolic constants in CAS

[parisse]

Just checked, it works with giac/Xcas. On the Prime, there is an additional limitation for checking sign of expressions (if there are 2 or more variables in an expression, here it's for the sign of a-t) because error handling is more primitive, and this is the reason why you get this message. I hope I have found a way to get the sign also on the Prime.