// if(!EQUIV(low_input[i], that.low_input[i]) ||
// !EQUIV(high_input[i], that.high_input[i]) ||
// !EQUIV(gamma[i], that.gamma[i]) ||
// !EQUIV(low_output[i], that.low_output[i]) ||
// !EQUIV(high_output[i], that.high_output[i])) return 0;
// if(!EQUIV(low_input[i], that.low_input[i]) ||
// !EQUIV(high_input[i], that.high_input[i]) ||
// !EQUIV(gamma[i], that.gamma[i]) ||
// !EQUIV(low_output[i], that.low_output[i]) ||
// !EQUIV(high_output[i], that.high_output[i])) return 0;