Ask Your Question

Revision history [back]

Express domain membership

Hello I am trying to write an expressing showing its membership in ZZ, RR, QQ. e.g In sage "assume(x in ZZ) "gives me error.

If I want to show that the symbol x belongs to ZZ then how should I express it ?

Best wishes