Příkaz ProtinajiciSe

ProtinajiciSe( <Přímka>, <Přímka>, <Přímka> ): Rozhodne, zda se přímky protínají. Pokud jsou přímky rovnoběžné, považuje se za jejich průsečík bod v nekonečnu, a proto tento příkaz v tomto případě vrací pravda.

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

ProtinajiciSe(Primka((1, 2), (3, 4)), Primka((1, 2), (3, 5)), Primka((1, 2), (3, 6))) Výsledek je pravda, protože bod (1,2) leží na všech třech přímkách.