Procedure from library zeroset.lib (see zeroset_lib).
zeroset.lib
SameQ(a, b); a,b=list/intvec
test a == b elementwise, i.e., a[i] = b[i].
int 0 if a != b 1 if a == b