AreEqual Command

Normally this command computes the result numerically. This behavior can be changed by using the Prove command.

AreEqual(Circle((0, 0),1),x^2+y^2=1) yields true since the two circles have the same center and radius.

AreEqual(Segment((1, 2), (3, 4)), Segment((3, 4), (1, 6))) is different from Segment((1, 2), (3, 4)) == Segment((3, 4), (1, 6)) as the latter compares just the lengths
See also AreCollinear, AreConcyclic, AreConcurrent, AreCongruent, ArePerpendicular, AreParallel, IsTangent commands.