Příkaz JsouTotozne

Normálně tento příkaz vypočítá výsledek numericky. Toto chování lze změnit použitím příkazu Dokazat.

JsouTotozne(Kruznice((0, 0),1),x^2+y^2=1) Výsledek je pravda, protože kružnice mají stejný střed i poloměr.

JsouTotozne(Usecka((1, 2), (3, 4)), Usecka((3, 4), (1, 6))) je rozdílné od Usecka((1, 2), (3, 4)) == Usecka((3, 4), (1, 6)), protože druhý příkaz porovnává jen délky.
Podívejte se také na příkazy ProtinajiciSe, JsouNaKruznici, JsouKolineární, JsouShodne, JsouKolme, JsouRovnobezne, JeTecna.