Description: While Diophantine sets
were defined to have a finite number of witness
variables consequtively following the observable variables, this is not
necessary; they can equivalently be taken to use any witness set
. For
instance, in diophin26845 we use this to
take the two input sets to have disjoint witness sets. (Contributed by
Stefan O'Rear, 8-Oct-2014.)