# isconstant(x) test if x is constant;


isconstant(-C_1):=true;
isconstant(-C_2):=true;
isconstant(-C_3):=true;
isconstant(C_1):=true;
isconstant(C_2):=true;
isconstant(C_3):=true;