Difference between revisions of "AreCongruent Command"

Revision as of 14:00, 27 July 2015

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

Example:

AreCongruent[Circle[(0, 0),1],x^2+y^2=1] and AreCongruent[Circle[(1, 1),1],x^2+y^2=1] yield true since the two circles have the same radius.

Note: See also AreCollinear, AreCollinear, AreConcyclic, AreConcurrent, ArePerpendicular, AreParallel commands.

@@ Line 1: / Line 1: @@
 <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical}}
-;AreEqual[ <Object>, <Object> ]
+;AreCongruent[ <Object>, <Object> ]
 :Decides if the objects are equal.
 Normally this command computes the result numerically. This behavior can be changed by using the [[Prove Command|Prove]] command.
 :{{example| 1=<div><code><nowiki>AreCongruent[Circle[(0, 0),1],x^2+y^2=1]</nowiki></code> and <code><nowiki>AreCongruent[Circle[(1, 1),1],x^2+y^2=1]</nowiki></code> yield ''true'' since the two circles have the same radius. </div>}}
 {{Note| See also [[AreEqual Command|AreCollinear]], [[AreCollinear Command|AreCollinear]], [[AreConcyclic Command|AreConcyclic]], [[AreConcurrent Command|AreConcurrent]], [[ArePerpendicular Command|ArePerpendicular]], [[AreParallel Command|AreParallel]] commands.}}