Abstract: It is often convenient to consider the arguments of a switching function to be the components 0 or 1 of a vector. In order to investigate systematically the properties of switching functions ...

Operations on Real.tcannot in general be treated as associative and commutative, because re-ordering operations can affect the degree of precision loss. Therefore, we need to provide special operators ...