/** equality of many variables **/

/*K: equal; Eq  */
/*A: J Gottschalk */
/*S: University of Western Australia */
/*D: February 1985 */

/* This allows Eq to have many arguments such as Eq[a,a,b]. */
Eq[$a,$$b_=Len[{$$b}]>1] :: Ap[And,Map[Eq[$a,$1],{$$b}]]

_XEqual[Loaded] : 1

/*E:
SMP 1.4.0

#I[1]::  Eq[2,2,2]

#O[1]:   1

#I[2]::  Eq[a,a,a]

#O[2]:   Eq[a,a,a]

#I[3]::  <XEqual

#I[4]::  Eq[a,a,a]

#O[4]:   1

#I[5]::  a=a=b

#O[5]:   a = b 
*/
