return true if V is a decontracted IntegralSet More...
#include <uncontract.h>
return true if V is a decontracted IntegralSet