AreEqual コマンド

AreEqual( <オブジェクト>, <オブジェクト> )

オブジェクトが等しいかどうかを判定する.

通常,このコマンドは結果を数値で計算する.この動作は Proveコマンドで変更できる.

AreEqual(Circle((0, 0),1),x^2+y^2=1) 出力: true ,2の円は同じ中心と半径をもつ.