Příkaz JsouKolme

JsouKolme( <Přímka>, <Přímka> )

Rozhodne, zda jsou přímky kolmé.

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

JsouKolme(Přímka((-1, 0), (0, -1)), Přímka((0, 0),(2,2))) Výsledek je pravda, protože přímky jsou navzájem kolmé.