/*----------------------------------------------------------------------  domains----------------------------------------------------------------------*/dom(x) = ZZ [-3, 3];dom(y) = ZZ [-1, 1];